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

Anhydrous comparison table
Subject is an instance of documentation is a kind of have axiom
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)))))
AnhydrousSaturationPropertyAn Attribute which indicates that the associated Object does not contain any Water 
(=>
    (attribute ?OBJ Anhydrous)
    (not
       (exists (?WATER)
          (and
             (instance ?WATER Water)
             (part ?WATER ?OBJ)))))

Next SaturationProperty: Damp    Up: SaturationProperty    Previous SaturationProperty: Wet