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

Formal Language: 



KB Term:  Term intersection
English Word: 

  color

 Sigma KEE - color
color

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


(domain color 1 Object) Mid-level-ontology.kif 19386-19386 Il numero 1 argomenti di color è un istanza di Oggetto
(domain color 2 ColorAttribute) Mid-level-ontology.kif 19387-19387 Il numero 2 argomenti di color è un istanza di AttributoDiColore
(instance color BinaryPredicate) Mid-level-ontology.kif 19383-19383 color è un' istanza di PredicatoBinario
(subrelation color attribute) Mid-level-ontology.kif 19385-19385 color è una sottorelazione di attribute

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 65797-65797

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 2711-2731

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


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))		 Mid-level-ontology.kif 19389-19395
(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))		 Media.kif 1093-1095
(=>
    (instance ?OBJ Whiteboard)
    (color ?OBJ White))		 Mid-level-ontology.kif 25662-25664


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

Show without tree


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