SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > TasteProperty > Sweet
Next TastePropertyBitter    UpTasteProperty

Sweet
subjectfact 
Sweetdocumentation The Attribute of Objects that are sweet-tasting2001-11-30 13:35:23.0
has contraryProperty Bitter2001-11-30 13:35:23.0
is an instance of TasteProperty2001-11-30 13:35:23.0
TastePropertyhas axiom
(=>
(instance ?OBJ Food)
(exists (?ATTR)
(and
(instance ?ATTR TasteProperty)
(attribute ?OBJ ?ATTR))))
2001-11-30 13:35:24.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 TastePropertyBitter    UpTasteProperty