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

Wet 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)))))
WetSaturationPropertyAn Attribute which indicates that the associated Object is fully saturated with Water 
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
       (=>
          (part ?PART ?OBJ)
          (exists (?WATER)
             (and
                (instance ?WATER Water)
                (or
                   (overlapsSpatially ?WATER ?PART)
                   (meetsSpatially ?WATER ?PART)))))))

Next SaturationProperty: Anhydrous    Up: SaturationProperty    Previous SaturationProperty: Dry