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 20937-20937 Le nombre 1 argument de color est une instance de objet
(domain color 2 ColorAttribute) Mid-level-ontology.kif 20938-20938 Le nombre 2 argument de color est une instance de attribut de couleur
(instance color BinaryPredicate) Mid-level-ontology.kif 20934-20934 color est une instance de pr�dicat binaire
(subrelation color attribute) Mid-level-ontology.kif 20936-20936 color est une sous-relation de attribute

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


(format ChineseLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3034-3034
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ") domainEnglishFormat.kif 3033-3033
(format EnglishLanguage color "%1 is the color %2") domainEnglishFormat.kif 3032-3032
(termFormat EnglishLanguage color "color") domainEnglishFormat.kif 65824-65824

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 2710-2730

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


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))
Mid-level-ontology.kif 20940-20946
(=>
    (and
        (instance ?L Laser)
        (instance ?R RadiatingVisibleLight)
        (instrument ?R ?L)
        (patient ?R ?X)
        (instance ?X Region))
    (color ?X Monochromatic))
engineering.kif 1050-1057
(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1093-1095
(=>
    (instance ?OBJ Whiteboard)
    (color ?OBJ White))
Mid-level-ontology.kif 27274-27276


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