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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Black
Black

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


(documentation Black ChineseLanguage "这是黑色的 Attribute。") chinese_format.kif 3953-3953
(documentation Black EnglishLanguage "The Attribute of being black in color.") Merge.kif 17865-17865
(externalImage Black "http://upload.wikimedia.org/wikipedia/commons/1/15/ Cat_Russian_Blue_004.jpg") pictureList.kif 1661-1661
(instance Black PrimaryColor) Merge.kif 17864-17864

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


(termFormat ChineseLanguage Black "黑色") domainEnglishFormat.kif 11270-11270
(termFormat ChineseTraditionalLanguage Black "黑色") domainEnglishFormat.kif 11269-11269
(termFormat EnglishLanguage Black "black") domainEnglishFormat.kif 11268-11268

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 3557-3577

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


(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1093-1095
(=>
    (instance ?T Abayah)
    (attribute ?T Black))
ArabicCulture.kif 529-531
(=>
    (instance ?T Khimar)
    (exists (?P)
        (and
            (part ?P ?T)
            (attribute ?P Black))))
ArabicCulture.kif 482-487
(=>
    (instance ?T Niqab)
    (exists (?P)
        (and
            (part ?P ?T)
            (attribute ?P Black))))
ArabicCulture.kif 463-468
(=>
    (instance ?T Oqal)
    (attribute ?T Black))
ArabicCulture.kif 416-418


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