SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > SaturationProperty > Dry
Next SaturationPropertyWet    UpSaturationProperty    Previous SaturationPropertyDamp   

Dry comparison table
Subject is an instance of documentation is a kind of have axiom have contraryProperty
SaturationProperty A Class of Attributes that specify, in qualitative terms, the amount of Water in a particular ObjectAttribute
(<=> 
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
 
DrySaturationPropertyAn Attribute which indicates that the associated Object contains a relatively small amount of Water 
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?DRY))
(or
(attribute ?OBJ Anhydrous)
(attribute ?OBJ Dry))))
Damp

Next SaturationPropertyWet    UpSaturationProperty    Previous SaturationPropertyDamp