SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > PhysicalState > Liquid
Next PhysicalState: Solid    Up: PhysicalState    Previous PhysicalState: Gas   

Liquid comparison table
Subject is an instance of documentation is a kind of have axiom
PhysicalState The physical state of an Object. There are three instances of this Class: Solid, Liquid, and GasAttribute
(=>
    (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))))))
LiquidPhysicalStateAn 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))

Next PhysicalState: Solid    Up: PhysicalState    Previous PhysicalState: Gas