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 19359-19359 Die Zahl 1 Argument von color ist ein fall von Object %n{nicht}
(domain color 2 ColorAttribute) Mid-level-ontology.kif 19360-19360 Die Zahl 2 Argument von color ist ein fall von ColorAttribute %n{nicht}
(instance color BinaryPredicate) Mid-level-ontology.kif 19356-19356 color ist ein fall von BinaryPredicate %n{nicht}
(subrelation color attribute) Mid-level-ontology.kif 19358-19358 color ist eine teilrelation von attribut

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


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

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


(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (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))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2728-2748

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


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))
Mid-level-ontology.kif 19362-19368
(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1093-1095
(=>
    (instance ?OBJ Whiteboard)
    (color ?OBJ White))
Mid-level-ontology.kif 25629-25631


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