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

Wet
subjectfact 
Wetdocumentation An Attribute which indicates that the associated Object is fully saturated with Water2001-11-30 13:35:34.0
has axiom 
(=>
    (and
       (instance ?WET Wetting)
       (patient ?WET ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?WET))
       (or
          (attribute ?OBJ Wet)
          (attribute ?OBJ Damp))))
2001-11-30 13:35:34.0
has axiom 
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
       (=>
          (part ?PART ?OBJ)
          (exists (?WATER)
             (and
                (instance ?WATER Water)
                (or
                   (overlapsSpatially ?WATER ?PART)
                   (meetsSpatially ?WATER ?PART)))))))
2001-11-30 13:35:34.0
is an instance of SaturationProperty2001-11-30 13:35:34.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next SaturationProperty: Anhydrous    Up: SaturationProperty    Previous SaturationProperty: Dry