SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > PhysicalState > Liquid
Next PhysicalStateSolid    UpPhysicalState    Previous PhysicalStateGas   

Liquid
subjectfact 
Liquiddocumentation An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape2001-11-30 13:34:36.0
has axiom
(=>
(and
(instance ?ACT Drinking)
(patient ?ACT ?FOOD))
(attribute ?FOOD Liquid))
2001-11-30 13:34:36.0
is an instance of PhysicalState2001-11-30 13:34:36.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next PhysicalStateSolid    UpPhysicalState    Previous PhysicalStateGas