SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > SaturationProperty
Next AttributeShapeProperty    UpAttribute    Previous AttributePsychologicalProperty   

SaturationProperty
subjectfact 
SaturationPropertydocumentation A Class of Attributes that specify, in qualitative terms, the amount of Water in a particular Object2001-11-30 13:35:13.0
is a kind of Attribute2001-11-30 13:35:13.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
Abstracthas axiom
(<=> 
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
2001-11-30 13:33:32.0

Kinds of SaturationProperty :

Next AttributeShapeProperty    UpAttribute    Previous AttributePsychologicalProperty