SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > SaturationProperty > Dry
Next SaturationProperty: Wet    Up: SaturationProperty    Previous SaturationProperty: Damp   

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 SaturationProperty: Wet    Up: SaturationProperty    Previous SaturationProperty: Damp