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

Solid 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))))))
SolidPhysicalStateAn 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 PhysicalState: Gas    Up: PhysicalState    Previous PhysicalState: Liquid