SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > SaturationProperty
Next Attribute: ShapeProperty    Up: Attribute    Previous Attribute: PsychologicalProperty   

SaturationProperty comparison table
Subject documentation have axiom have contraryProperty
AnhydrousAn 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)))))
 
DampAn Attribute which indicates that the associated Object contains a relatively large amount of Water
(=>
    (and
       (instance ?WET Wetting)
       (patient ?WET ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?WET))
       (or
          (attribute ?OBJ Wet)
          (attribute ?OBJ Damp))))
 
DryAn 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
WetAn 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 Attribute: ShapeProperty    Up: Attribute    Previous Attribute: PsychologicalProperty