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 17141-17141 The number 1 argument of color is an instance of object
(domain color 2 ColorAttribute) Mid-level-ontology.kif 17142-17142 The number 2 argument of color is an instance of color attribute
(instance color BinaryPredicate) Mid-level-ontology.kif 17138-17138 color is an instance of binary predicate
(subrelation color attribute) Mid-level-ontology.kif 17140-17140 color is a subrelation of attribute

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


(format ChineseLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3039-3039
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3038-3038
(format EnglishLanguage color "%1 is the color %2") domainEnglishFormat.kif 3037-3037

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 1234-1250

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


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))
Mid-level-ontology.kif 17144-17150
(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1097-1099
(=>
    (instance ?OBJ Whiteboard)
    (color ?OBJ White))
Mid-level-ontology.kif 23559-23561


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners