SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > SaturationProperty > Anhydrous

Anhydrous
subject			fact

Anhydrous	documentation An Attribute which indicates that the associated Object does not contain any Water
	has axiom (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))
	has axiom (=> (attribute ?OBJ Anhydrous) (not (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?OBJ)))))
	is an instance of SaturationProperty
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 SaturationProperty: Damp    Up: SaturationProperty    Previous SaturationProperty: Wet