(define-theory Physical-Concepts (Top-Level))
(in-theory 'Physical-Concepts)


(DEFINE-FUNCTION ATOMIC-MASS-VALUE (?A) :-> ?B :DEF (VALUE ?A ?B)
 :AXIOM-DEF (FUNCTION ATOMIC-MASS-VALUE) :AXIOM-CONSTRAINTS
 (AND (RANGE ATOMIC-MASS-VALUE NUMBER)
      (DOMAIN ATOMIC-MASS-VALUE SUBSTANCE)))
(DEFINE-RELATION IS-ATOMIC-MASS-VALUE-OF (?A ?B) :IFF-DEF
 (= (INVERSE ATOMIC-MASS-VALUE) IS-ATOMIC-MASS-VALUE-OF))
(DEFINE-RELATION NEGATIVE-CHARGE (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION NEUTRAL-CHARGE (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION PHYSICAL-CATEGORY (?A ?B) :IFF-DEF
 (= (INVERSE PHYSICAL-CATEGORY-OF) PHYSICAL-CATEGORY))
(DEFINE-RELATION PHYSICAL-CATEGORY-OF (?A ?B)
 "This and its subs should be compliant with
Gruber's units of measure ontologies (dimensions, vectors, etc.).
Consider also the possibility of raising the generic properties to the
status of second-order concepts (in the fashion of the famous middle-age 
'universals' and giving actual colors, consistencies, values, etc. as instances.
Probably, at least some special domains, such as colors and consistencies, need
that status). The values of such functions can be numeric-value as well as
instances (given colors) or variables ranging within color sorts (?x:RED).
The current representation choice is, for instance, having 'color' as a 
function, single colors as properties, and the 'reified-color' concept as 
range of color relation. This choice is good at talking directly of colors
by properties, like natural language does, while the function with a
specialized range is good at talking of truehe color' of some object."
 :DEF (EXTRINSIC-STRUCTURING-RELATION ?A ?B) :AXIOM-CONSTRAINTS
 (DOMAIN PHYSICAL-CATEGORY-OF MATERIAL-OBJECT))
(DEFINE-RELATION POSITIVE-CHARGE (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _ATOMIC-CHAIN (?A ?B) :DEF
 (AND (FORALL ?Y (=> (ELEMENT ?A ?Y) (ATOM ?Y)))
      (PHYSICAL-PROPERTY ?A ?B)
      (_ATOMIC ?A ?B)
      (_CHAIN ?A ?B)
      (_SELF-CONNECTED ?A ?B)))
(DEFINE-RELATION _BRANCHED-CHAIN (?A ?B) :DEF
 (AND (EXISTS ?Y (AND (SIDE-CHAIN-SUBUNIT ?B) (HAS-ATTACHED ?A ?B)))
      (_ATOMIC-CHAIN ?A ?B)
      (_OPEN ?A ?B)
      (ATOMIC-UNIT ?A)))
(DEFINE-RELATION _COLD (?A ?B) :DEF (_TEMPERATURE-PROPERTY ?A ?B))
(DEFINE-RELATION _COLORED (?A ?B) :DEF (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _CONCENTRATION-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _CONSISTENCY-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _CONSTANT (?A ?B) :DEF (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _CONSTANT-TEMPERATURE (?A ?B) :IFF-DEF
 (AND (_TEMPERATURE-PROPERTY ?A ?B) (_CONSTANT ?A ?B)))
(DEFINE-RELATION _DENSITY-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _ELASTIC (?A ?B) :DEF
 (AND (NOT (_RIGID ?A ?B)) (_CONSISTENCY-PROPERTY ?A ?B)))
(DEFINE-RELATION _FUSED-RING (?A ?B) :DEF (_RING ?A ?B))
(DEFINE-RELATION _GASEOUS (?A ?B) :DEF
 (AND (_PHYSICAL-STATE ?A ?B) (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _LIQUID (?A ?B) :DEF
 (AND (_PHYSICAL-STATE ?A ?B) (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _PHYSICAL-STATE (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _PLASTIC (?A ?B) :DEF
 (AND (_PHYSICAL-STATE ?A ?B) (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _POLYCYCLIC (?A ?B) :DEF
 (AND (EXISTS ?Y
       (AND (ATOMIC-UNIT ?B)
            (_PAIR ?B TRUE)
            (_ATOMIC-CHAIN ?B TRUE)
            (COMPONENT ?A ?B)))
      (PHYSICAL-PROPERTY ?A ?B)
      (CHEMICAL ?A)))
(DEFINE-RELATION _RIGID (?A ?B) :DEF (_CONSISTENCY-PROPERTY ?A ?B))
(DEFINE-RELATION _RING (?A ?B) :DEF
 (AND (_ATOMIC-CHAIN ?A ?B) (_CLOSED ?A ?B)))
(DEFINE-RELATION _SIDE-CHAIN (?A ?B) :DEF
 (AND (EXISTS ?Y
       (AND (ATOMIC-UNIT ?B)
            (_ATOMIC-CHAIN ?B TRUE)
            (HAS-ATTACHED ?B ?A)
            (LARGER ?B ?A)))
      (_ATOMIC-CHAIN ?A ?B)
      (_OPEN ?A ?B)
      (ATOMIC-UNIT ?A)))
(DEFINE-RELATION _SIZE-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _SMOOTH (?A ?B) :DEF (_CONSISTENCY-PROPERTY ?A ?B))
(DEFINE-RELATION _SOLID (?A ?B) :DEF
 (AND (_PHYSICAL-STATE ?A ?B) (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _TEMPERATURE-PROPERTY (?A ?B) :DEF
 (AND (PHYSICAL-PROPERTY ?A ?B) (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _THICKNESS-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _VOLUME-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _WEIGHT-PROPERTY (?A ?B) :DEF
 (PHYSICAL-PROPERTY ?A ?B))
(DEFINE-CLASS *GAS (?SELF)
:IFF-DEF
 (AND (SUBSTANCE ?SELF) (VALUE-CARDINALITY ?SELF _GASEOUS 1))
 :AXIOM-DEF (THE-ARCHETYPE *GAS REIFIED-PROPERTY))
(DEFINE-CLASS *LIQUID (?SELF)
:IFF-DEF
 (AND (SUBSTANCE ?SELF) (VALUE-CARDINALITY ?SELF _LIQUID 1))
 :AXIOM-DEF (THE-ARCHETYPE *LIQUID REIFIED-PROPERTY))
(DEFINE-CLASS *SOLID (?SELF)
:IFF-DEF
 (AND (SUBSTANCE ?SELF) (VALUE-CARDINALITY ?SELF _SOLID 1))
 :AXIOM-DEF (THE-ARCHETYPE *SOLID REIFIED-PROPERTY))
(DEFINE-CLASS ATOM (?SELF)
 :DEF
 (AND (SUBMOLECULAR-OBJECT ?SELF)
      (VALUE-CARDINALITY ?SELF _ATOMIC 1)
      (VALUE-CARDINALITY ?SELF _ATOM 1))
 :CONSTRAINTS (EXISTS (?A) (AND (ELEMENT ?SELF ?A) (PARTICLE ?A))))
(DEFINE-CLASS ATOMIC-UNIT (?SELF)
:DEF
 (AND (SUBMOLECULAR-OBJECT ?SELF)
      (VALUE-CARDINALITY ?SELF _ATOMIC 1)
      (EXISTS (?A) (AND (ELEMENT ?SELF ?A) (ATOM ?A)))))
(DEFINE-CLASS BOND (?SELF)
:DEF
 (AND (RADICAL ?SELF)
      (EXISTS (?A) (AND (INTERCONNECTS ?SELF ?A) (CHEMICAL ?A)))))
(DEFINE-CLASS BRANCHED-CHAIN-SUBUNIT (?SELF)
:IFF-DEF
 (AND (ATOMIC-UNIT ?SELF)
      (VALUE-CARDINALITY ?SELF _BRANCHED-CHAIN 1)))
(DEFINE-CLASS COVALENT-BOND (?SELF)
:DEF
 (AND (BOND ?SELF)
      (EXISTS (?A)
              (AND (COMPONENT ?SELF ?A)
                   (AND (ELECTRON ?A)
                        (CARDINALITY (SETOFALL ?B (_PAIR ?A ?B)) 1))))))
(DEFINE-CLASS ELECTRON (?SELF)
:DEF
 (AND (PARTICLE ?SELF)
      (EXISTS (?A) (AND (PRIME-COMPONENT-OF ?SELF ?A) (ATOM ?A)))))
(DEFINE-CLASS IONIC-BOND (?SELF)
:DEF
 (AND (BOND ?SELF)
      (VALUE-CARDINALITY ?SELF COMPONENT 1)
      (VALUE-CARDINALITY ?SELF COMPONENT 1)))
(DEFINE-CLASS MOLECULE (?SELF)
:DEF
 (AND (MATERIAL-OBJECT ?SELF)
      (VALUE-CARDINALITY ?SELF _MOLECULAR 1)
      (MINIMUM-SLOT-CARDINALITY ?SELF ELEMENT 2)
      (EXISTS (?A) (AND (PRIME-COMPONENT-OF ?SELF ?A) (CHEMICAL ?A)))))
(DEFINE-CLASS PARTICLE (?SELF)
:DEF
 (AND (SUBMOLECULAR-OBJECT ?SELF)
      (VALUE-CARDINALITY ?SELF _SUBATOMIC 1)))
(DEFINE-CLASS RADICAL (?SELF)
:DEF
 (AND (SUBMOLECULAR-OBJECT ?SELF)
      (VALUE-CARDINALITY ?SELF _ATOMIC 1)
      (VALUE-CARDINALITY ?SELF _COLLECTION 1)
      (EXISTS (?A) (AND (ELEMENT ?SELF ?A) (ATOM ?A)))
      (EXISTS (?B) (AND (COMPONENT-OF ?SELF ?B) (CHEMICAL ?B)))))
(DEFINE-CLASS SIDE-CHAIN-SUBUNIT (?SELF)
:IFF-DEF
 (AND (ATOMIC-UNIT ?SELF) (VALUE-CARDINALITY ?SELF _SIDE-CHAIN 1)))
(DEFINE-CLASS SUBMOLECULAR-OBJECT (?SELF)
:DEF
 (MATERIAL-OBJECT ?SELF) :CONSTRAINTS
 (EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (PHYSICS ?A))))
(DEFINE-CLASS TEMPERATURE (?SELF)
:DEF (THING ?SELF))