(define-theory Structuring-Concepts (Metaontology Equality))
(in-theory 'Structuring-Concepts)


(DEFINE-RELATION ACTANTIAL-RELATION (?A ?B)
 "See theory:'actors'. It is the general category 
including concepts such as 'agent', 'patient', 'instrument', 'cause', etc."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION ASSESSMENT-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION ASSESSMENT-RELATION (?A ?B)
 "See theory:'assessment'. It is the general category 
including concepts of 'assessment' or 'judging', such as typicality, conventionality, 
relevance, representation. Such concepts deserve a deeper understanding, however."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION BIOLOGICAL-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION BIOLOGICAL-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION CHEMICAL-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION CHEMICAL-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION CLINICAL-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION DEPENDENCE-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION DEPENDENCE-RELATION (?A ?B))
(DEFINE-RELATION DIRECTION-PROPERTY (?A ?B)
 "See theory:'directions'. It is the general category 
including directional concepts."
 :DEF (SCHEMATIC-PROPERTY ?A ?B))
(DEFINE-RELATION EQUALITY-RELATION (?A ?B)
 "The general category of identity relation and 
specialized equality and difference relation."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION EXTRINSIC-STRUCTURING-RELATION (?A ?B) :AXIOM-DEF
 (THE-ARCHETYPE EXTRINSIC-STRUCTURING-RELATION STRUCTURING-CONCEPT))
(DEFINE-RELATION FEATURE (?A ?B) :IFF-DEF
 (= (INVERSE FEATURE-OF) FEATURE))
(DEFINE-RELATION FEATURE-OF (?A ?B)
 "This is used to link quantity concepts
in Loom 'measure' package to ON9 entities."
 :DEF (AND (QUANTITY ?A) (ENTITY ?B)) :AXIOM-DEF
 (THE-ARCHETYPE FEATURE-OF STRUCTURING-CONCEPT))
(DEFINE-RELATION FORCE-PROPERTY (?A ?B))
(DEFINE-RELATION GENERIC-ASSOCIATION (?A ?B)
 "A placeholder for some specific relation, specially 
useful in preliminary modelling or in some source integration."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION GENERICALLY-ASSOCIATED-WITH (?A ?B)
 "A placeholder for some specific relation, specially 
useful in preliminary modelling or in some source integration."
 :IFF-DEF (GENERIC-ASSOCIATION ?A ?B))
(DEFINE-RELATION GRANULARITY-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION INTENTION-PROPERTY (?A ?B))
(DEFINE-RELATION INVERSE-OF-ACTANTIAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE ACTANTIAL-RELATION) INVERSE-OF-ACTANTIAL-RELATION))
(DEFINE-RELATION INVERSE-OF-ASSESSMENT-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE ASSESSMENT-RELATION) INVERSE-OF-ASSESSMENT-RELATION))
(DEFINE-RELATION INVERSE-OF-BIOLOGICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE BIOLOGICAL-RELATION) INVERSE-OF-BIOLOGICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-CHEMICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE CHEMICAL-RELATION) INVERSE-OF-CHEMICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-CLINICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE CLINICAL-RELATION) INVERSE-OF-CLINICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-DEPENDENCE-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE DEPENDENCE-RELATION) INVERSE-OF-DEPENDENCE-RELATION))
(DEFINE-RELATION INVERSE-OF-EQUALITY-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE EQUALITY-RELATION) INVERSE-OF-EQUALITY-RELATION))
(DEFINE-RELATION INVERSE-OF-EXTRINSIC-STRUCTURING-RELATION (?A ?B)
 :IFF-DEF
 (= (INVERSE EXTRINSIC-STRUCTURING-RELATION)
    INVERSE-OF-EXTRINSIC-STRUCTURING-RELATION))
(DEFINE-RELATION INVERSE-OF-GRANULARITY-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE GRANULARITY-RELATION) INVERSE-OF-GRANULARITY-RELATION))
(DEFINE-RELATION INVERSE-OF-LOCATIVE-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE LOCATIVE-RELATION) INVERSE-OF-LOCATIVE-RELATION))
(DEFINE-RELATION INVERSE-OF-MEREOLOGICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE MEREOLOGICAL-RELATION) INVERSE-OF-MEREOLOGICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-MORPHOLOGICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE MORPHOLOGICAL-RELATION) INVERSE-OF-MORPHOLOGICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-PHYSICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE PHYSICAL-RELATION) INVERSE-OF-PHYSICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-POSITION-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE POSITION-RELATION) INVERSE-OF-POSITION-RELATION))
(DEFINE-RELATION INVERSE-OF-PROBABILITY-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE PROBABILITY-RELATION) INVERSE-OF-PROBABILITY-RELATION))
(DEFINE-RELATION INVERSE-OF-QUANTITATIVE-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE QUANTITATIVE-RELATION) INVERSE-OF-QUANTITATIVE-RELATION))
(DEFINE-RELATION INVERSE-OF-RELATED-POSITION-RELATION (?A ?B))
(DEFINE-RELATION INVERSE-OF-REPRESENTATION-RELATION (?A ?B) :IFF-DEF
 (AND (= (INVERSE REPRESENTATION-RELATION)
         INVERSE-OF-REPRESENTATION-RELATION)
      (ENTITY ?A)
      (ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE INVERSE-OF-REPRESENTATION-RELATION ENTITY)
      (DOMAIN INVERSE-OF-REPRESENTATION-RELATION ENTITY)))
(DEFINE-RELATION INVERSE-OF-SCHEMATIC-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE SCHEMATIC-RELATION) INVERSE-OF-SCHEMATIC-RELATION))
(DEFINE-RELATION INVERSE-OF-SOCIAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE SOCIAL-RELATION) INVERSE-OF-SOCIAL-RELATION))
(DEFINE-RELATION INVERSE-OF-SPATIAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE SPATIAL-RELATION) INVERSE-OF-SPATIAL-RELATION))
(DEFINE-RELATION INVERSE-OF-STRUCTURING-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE STRUCTURING-RELATION) INVERSE-OF-STRUCTURING-RELATION))
(DEFINE-RELATION INVERSE-OF-TEMPORAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE TEMPORAL-RELATION) INVERSE-OF-TEMPORAL-RELATION))
(DEFINE-RELATION INVERSE-OF-TIME-FUNCTION (?A ?B) :IFF-DEF
 (= (INVERSE TIME-FUNCTION) INVERSE-OF-TIME-FUNCTION))
(DEFINE-RELATION INVERSE-OF-TOPO-MORPHOLOGICAL-RELATION (?A ?B)
 :IFF-DEF
 (= (INVERSE TOPO-MORPHOLOGICAL-RELATION)
    INVERSE-OF-TOPO-MORPHOLOGICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-TOPOLOGICAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE TOPOLOGICAL-RELATION) INVERSE-OF-TOPOLOGICAL-RELATION))
(DEFINE-RELATION INVERSE-OF-TYPICALITY-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE TYPICALITY-RELATION) INVERSE-OF-TYPICALITY-RELATION))
(DEFINE-RELATION IS-VALUE-OF (?A ?B) :IFF-DEF
 (= (INVERSE VALUE) IS-VALUE-OF))
(DEFINE-RELATION LAYER (?A ?B)
 "See theory:'layers'. It is the general category 
including concepts of 'layers' or 'strata' in which the continuum of reality can 
be segmented. This is a primary dimension for categorizing objects (see 
theory:'Top-Level')."
 :DEF (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION LOCATIVE-RELATION (?A ?B)
 "See theory:'localization'. It is the category of spatial 
concepts which expresses the notions relative to objects, processes and contexts 
localized at regions, domains, etc. Some results in the literature suggest that such 
notions are not reducible to either mereology or topology (cf. Casati-Varzi96)."
 :DEF (SCHEMATIC-RELATION ?A ?B))
(DEFINE-RELATION LOGICAL-PROPERTY (?A ?B) :DEF
 (AND (ASSESSMENT-PROPERTY ?A ?B) (ABSTRACTION ?A)))
(DEFINE-FUNCTION MEREOLOGICAL-FUNCTION (?A ?B) :-> ?C :DEF
 (STRUCTURING-TERNARY ?A ?B ?C) :AXIOM-DEF
 (AND (ARITY MEREOLOGICAL-FUNCTION 3)
      (FUNCTION MEREOLOGICAL-FUNCTION)))
(DEFINE-RELATION MEREOLOGICAL-PROPERTY (?A ?B) :DEF
 (SCHEMATIC-PROPERTY ?A ?B))
(DEFINE-RELATION MEREOLOGICAL-RELATION (?A ?B)
 "See theories:'mereology' and 'meronymy'. It is the 
category of spatial concepts which expresses notions of 'part' and 'whole'. This is 
a theory including two main approaches: the mereological and the cognitive (in 
linguistics part/whole notions are known as 'meronymic relations'."
 :DEF (SCHEMATIC-RELATION ?A ?B))
(DEFINE-RELATION MORPHOLOGICAL-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION MORPHOLOGICAL-RELATION (?A ?B)
 "See theory:'morphology'. It is the category of 
morphologic notions, such as texture, shape, various spatial abnormalities in anatomy, 
etc."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION PHYSICAL-PROPERTY (?A ?B) :DEF
 (AND (STRUCTURING-PROPERTY ?A ?B) (OBJECT ?A)))
(DEFINE-RELATION PHYSICAL-RELATION (?A ?B)
 "See theory:'physical-concepts'. It is the category 
of physical states and physical categories such as color, density, volume, etc."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION POSITION-RELATION (?A ?B) :DEF
 (AND (LOCATIVE-RELATION ?A ?B) (LOCALIZED-ENTITY ?A) (LOCALIZED-ENTITY ?B)))
(DEFINE-RELATION POSITION-TERNARY (?A ?B ?C) :DEF
 (STRUCTURING-TERNARY ?A ?B ?C))
(DEFINE-RELATION PROBABILITY-RELATION (?A ?B)
 "A generic category which embeds relations for talking 
of something which allows an assessment of probability of an event or situation."
 :DEF (ASSESSMENT-RELATION ?A ?B))
(DEFINE-RELATION QUANTITATIVE-PROPERTY (?A ?B) :DEF
 (SCHEMATIC-PROPERTY ?A ?B))
(DEFINE-RELATION QUANTITATIVE-RELATION (?A ?B)
 "See theory:'quantities'. It is the general category 
including quantitative concepts."
 :DEF (SCHEMATIC-RELATION ?A ?B))
(DEFINE-RELATION RELATED-POSITION-RELATION (?A ?B))
(DEFINE-RELATION REPRESENTATION-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION SCHEMATIC-PROPERTY (?A ?B) :DEF
 (STRUCTURING-PROPERTY ?A ?B))
(DEFINE-RELATION SCHEMATIC-RELATION (?A ?B)
 "The very general category including spatial, temporal, 
quantitative and dynamic concepts. it is called 'schematic' after some models of 
cognition which hypotesize a set of generic schemata which are partly used in any 
sensible conceptualization. Such schemata can be taken as 'forms of the intuition' 
(in a Kantian fashion) as well as 'a-priori forms of perception' (much like gestalt 
psychology proposes)."
 :DEF (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION SOCIAL-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION SPATIAL-RELATION (?A ?B)
 "The very general category including spatial schematic 
concepts in a wide sense: mereology, topology, localization, in both material and 
abstract layers."
 :IFF-DEF
 (AND (OR (MEREOLOGICAL-RELATION ?A ?B)
          (TOPOLOGICAL-RELATION ?A ?B)
          (LOCATIVE-RELATION ?A ?B))
      (SCHEMATIC-RELATION ?A ?B)))
(DEFINE-RELATION STRUCTURING-PROPERTY (?A ?B)
 "This is the top category for the implementation
of properties (unary relations). The design choice has been here to support unary 
relations via binary relations having a boolean on the range. This should provide
enough support to build hierarchies, to talk of generic sets of properties 
('functional' mode), and to have conjunction of properties."
 :DEF (AND (ENTITY ?A) (BOOLEAN ?B)) :AXIOM-DEF
 (THE-ARCHETYPE STRUCTURING-PROPERTY STRUCTURING-CONCEPT))
(DEFINE-RELATION STRUCTURING-RELATION (?A ?B) :DEF
 (AND (ENTITY ?A) (ENTITY ?B)) :AXIOM-DEF
 (THE-ARCHETYPE STRUCTURING-RELATION STRUCTURING-CONCEPT))
(DEFINE-RELATION STRUCTURING-TERNARY (?A ?B ?C) :DEF
 (AND (N-ARY-TUPLE ?A ?B ?C) (ENTITY ?A) (ENTITY ?B) (ENTITY ?C)) :AXIOM-DEF
 (AND (ARITY STRUCTURING-TERNARY 3)
      (THE-ARCHETYPE STRUCTURING-TERNARY STRUCTURING-CONCEPT)))
(DEFINE-RELATION TEMPORAL-RELATION (?A ?B)
 "See theory:'time'. It is the category of temporal 
concepts: notions of (temporal) topology of intervals, (temporal) schemata, (temporal) 
extension."
 :DEF (SCHEMATIC-RELATION ?A ?B))
(DEFINE-RELATION TEMPORAL-SCHEMA (?A ?B) :DEF
 (SCHEMATIC-PROPERTY ?A ?B))
(DEFINE-FUNCTION TIME-FUNCTION (?A) :-> ?B :DEF
 (TEMPORAL-RELATION ?A ?B) :AXIOM-DEF (FUNCTION TIME-FUNCTION))
(DEFINE-RELATION TOPO-MORPHOLOGICAL-PROPERTY (?A ?B) :DEF
 (AND (STRUCTURING-PROPERTY ?A ?B) (LOCALIZED-ENTITY ?A)))
(DEFINE-RELATION TOPO-MORPHOLOGICAL-RELATION (?A ?B) :DEF
 (STRUCTURING-RELATION ?A ?B))
(DEFINE-RELATION TOPOLOGICAL-PROPERTY (?A ?B) :DEF
 (SCHEMATIC-PROPERTY ?A ?B))
(DEFINE-RELATION TOPOLOGICAL-RELATION (?A ?B)
 "See theory:'topology'. It is the category of spatial 
concepts which expresses notions of 'connection'. This is a theory including two main 
approaches: the (classical) topological and the cognitive: that's why we consider this 
theory including (with a non-technical term): 'toponymic relations'."
 :DEF
 (AND (SCHEMATIC-RELATION ?A ?B) (LOCALIZED-ENTITY ?A) (LOCALIZED-ENTITY ?B)))
(DEFINE-RELATION TYPICALITY-PROPERTY (?A ?B) :DEF
 (ASSESSMENT-PROPERTY ?A ?B))
(DEFINE-RELATION TYPICALITY-RELATION (?A ?B) :DEF
 (ASSESSMENT-RELATION ?A ?B))
(DEFINE-FUNCTION VALUE (?A) :-> ?B :AXIOM-DEF (FUNCTION VALUE))