SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > PhysicalState
Next Attribute: PsychologicalProperty    Up: Attribute    Previous Attribute: NormativeProperty   

PhysicalState comparison table
Subject documentation have axiom
GasAn Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape
(=>
    (and
       (instance ?STATE PhysicalState)
       (part ?PART ?OBJ)
       (holdsDuring ?TIME (attribute ?OBJ ?STATE)))
    (not
       (exists (?OTHERSTATE)
          (and
             (instance ?OTHERSTATE PhysicalState)
             (holdsDuring ?TIME (attribute ?PART ?OTHERSTATE))
             (not (equal ?STATE ?OTHERSTATE))))))
LiquidAn Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape
(=>
    (and
       (instance ?ACT Drinking)
       (patient ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
SolidAn Object has the Attribute of Solid if it has a fixed shape and a fixed volume
(=>
    (and
       (instance ?ACT Eating)
       (patient ?ACT ?FOOD))
    (attribute ?FOOD Solid))

Next Attribute: PsychologicalProperty    Up: Attribute    Previous Attribute: NormativeProperty