SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > PhysicalState > Gas

Gas
subject			fact

Gas	documentation An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape
	is an instance of PhysicalState
PhysicalState	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))))))
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

Next PhysicalState: Liquid    Up: PhysicalState    Previous PhysicalState: Solid