SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > SaturationProperty > Dry
Next SaturationPropertyWet    UpSaturationProperty    Previous SaturationPropertyDamp   

Dry
subjectfact 
Drydocumentation An Attribute which indicates that the associated Object contains a relatively small amount of Water2001-11-30 13:34:06.0
has axiom
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?DRY))
(or
(attribute ?OBJ Anhydrous)
(attribute ?OBJ Dry))))
2001-11-30 13:34:06.0
has contraryProperty Damp2001-11-30 13:34:06.0
is an instance of SaturationProperty2001-11-30 13:34:06.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 SaturationPropertyWet    UpSaturationProperty    Previous SaturationPropertyDamp