Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - color
color

appearance as argument number 1
-------------------------


(domain color 1 Object) Mid-level-ontology.kif 17171-17171
(domain color 2 ColorAttribute) Mid-level-ontology.kif 17172-17172
(instance color BinaryPredicate) Mid-level-ontology.kif 17168-17168
(subrelation color attribute) Mid-level-ontology.kif 17170-17170

appearance as argument number 2
-------------------------


(format ChineseLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3043-3043
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3042-3042
(format EnglishLanguage color "%1 is the color %2") domainEnglishFormat.kif 3041-3041

antecedent
-------------------------


(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (and
        (distance ?A ?B ?D2)
        (greaterThan ?Distance ?D2)))
Weather.kif 2309-2325

consequent
-------------------------


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))
Mid-level-ontology.kif 17174-17180
(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1097-1099
(=>
    (instance ?OBJ Whiteboard)
    (color ?OBJ White))
Mid-level-ontology.kif 23590-23592


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners