Relation SAME-GRANULARITY

Arity: 2

Subrelation-Of: Granularity-relation

Axioms:

(<=> (Same-Granularity ?A ?B)
     (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)))

• Defined in theory: Layers
• Source code: Layers.lisp