(define-theory Layers (Structuring-Concepts Dependence))
(in-theory 'Layers)


(DEFINE-RELATION COARSER-GRANULARITY (?A ?B) :IFF-DEF
 (= (INVERSE FINER-GRANULARITY) COARSER-GRANULARITY))
(DEFINE-RELATION FINER-GRANULARITY (?A ?B) :DEF
 (GRANULARITY-RELATION ?A ?B))
(DEFINE-RELATION SAME-GRANULARITY (?A ?B) :IFF-DEF
 (AND (OR (AND (_CELLULAR ?A TRUE) (_CELLULAR ?B TRUE))
          (AND (_MACROSCOPIC ?A TRUE) (_MACROSCOPIC ?B TRUE))
          (AND (_HOMEOSTATIC ?A TRUE) (_HOMEOSTATIC ?B TRUE))
          (AND (_MOLECULAR ?A TRUE) (_MOLECULAR ?B TRUE))
          (AND (_SUBATOMIC ?A TRUE) (_SUBATOMIC ?B TRUE))
          (AND (_ATOMIC ?A TRUE) (_ATOMIC ?B TRUE))
          (AND (_MOLAR ?A TRUE) (_MOLAR ?B TRUE)))
      (GRANULARITY-RELATION ?A ?B)))
(DEFINE-FUNCTION THE-FINER-GRANULARITY (?A ?B) :-> ?C :DEF
 (AND (NOT (AND (=> (FINER-GRANULARITY ?A ?B) (IDENTITY ?C ?A))
                (=> (FINER-GRANULARITY ?B ?A) (IDENTITY ?C ?B))))
      (STRUCTURING-TERNARY ?A ?B ?C))
 :CONSTRAINTS (AND (ENTITY ?A) (ENTITY ?B)) :AXIOM-DEF
 (AND (FUNCTION THE-FINER-GRANULARITY)
      (ARITY THE-FINER-GRANULARITY 3))
 :AXIOM-CONSTRAINTS (RANGE THE-FINER-GRANULARITY ENTITY))
(DEFINE-RELATION _ABSTRACT (?A ?B)
 "One of the five Hartmann's layers (or 'strata'): 
depending on _social."
 :DEF (LAYER ?A ?B) :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON _ABSTRACT _PSYCHOLOGIC))
(DEFINE-RELATION _ANIMATE (?A ?B) :DEF (_BIOLOGIC ?A ?B))
(DEFINE-RELATION _ATOMIC (?A ?B)
 "A granularity for objects with features not
focalized only at ensembles of subatomic particles; depends on subatomic."
 :DEF (_MATERIAL ?A ?B) :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON _ATOMIC _SUBATOMIC))
(DEFINE-RELATION _BIOLOGIC (?A ?B)
 "One of the five Hartmann's layers (or 'strata'): 
less basic than _material
and depending on it (see theory: objects)."
 :DEF (LAYER ?A ?B) :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON _BIOLOGIC _MATERIAL))
(DEFINE-RELATION _CELLULAR (?A ?B)
 "A granularity for biologic objects with features 
focalized at the minimal organic constituents of organisms -to refine-."
 :DEF (_BIOLOGIC ?A ?B))
(DEFINE-RELATION _HOMEOSTATIC (?A ?B)
 "A granularity for self-regulating biologic objects: 
organisms, plants."
 :DEF (_BIOLOGIC ?A ?B))
(DEFINE-RELATION _MACROSCOPIC (?A ?B)
 "A granularity for biologic objects with features 
focalized at main, most evident constituents of organisms."
 :DEF (_BIOLOGIC ?A ?B))
(DEFINE-RELATION _MATERIAL (?A ?B)
 "One of the five Hartmann's layers (or 'strata'): 
the most basic one."
 :DEF (LAYER ?A ?B))
(DEFINE-RELATION _MOLAR (?A ?B)
 "A granularity for objects with features not 
focalized only at ensembles of molecules."
 :DEF (_MATERIAL ?A ?B))
(DEFINE-RELATION _MOLECULAR (?A ?B)
 "A granularity for objects with features not
focalized only at ensembles of atoms."
 :DEF (_MATERIAL ?A ?B))
(DEFINE-RELATION _PSYCHOLOGIC (?A ?B)
 "One of the five Hartmann's layers (or 'strata'): 
depending on _biologic."
 :DEF (LAYER ?A ?B) :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON _PSYCHOLOGIC _BIOLOGIC))
(DEFINE-RELATION _SOCIAL (?A ?B)
 "One of the five Hartmann's layers (or 'strata'): 
depending on _biologic."
 :DEF (LAYER ?A ?B) :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON _SOCIAL _BIOLOGIC))
(DEFINE-RELATION _SUBATOMIC (?A ?B)
 "A granularity for objects with features 
focalized only at ensembles of subatomic particles."
 :DEF (_MATERIAL ?A ?B))