SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > PhysicalState

PhysicalState
subject			fact

PhysicalState	documentation The physical state of an Object. There are three instances of this Class: Solid, Liquid, and Gas
	has axiom (=> (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))))))
	is a kind of Attribute
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure
	is second domain of attribute
	is second domain of contraryProperty
	is second domain of manner
	is second domain of property
	is second domain of subAttribute
	is second domain of successorAttribute
	is second domain of successorAttributeClosure

Kinds of PhysicalState :

• Gas (2 facts) - An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape
• Liquid (3 facts) - An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape
• Solid (3 facts) - An Object has the Attribute of Solid if it has a fixed shape and a fixed volume

Next Attribute: PsychologicalProperty    Up: Attribute    Previous Attribute: NormativeProperty