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 16507-16507
(externalImage Black "http://upload.wikimedia.org/wikipedia/commons/1/15/ Cat_Russian_Blue_004.jpg") pictureList.kif 1663-1663
(instance Black PrimaryColor) Merge.kif 16506-16506

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


(termFormat ChineseLanguage Black "黑色") domainEnglishFormat.kif 11273-11273
(termFormat ChineseTraditionalLanguage Black "黑色") domainEnglishFormat.kif 11272-11272
(termFormat EnglishLanguage Black "black") domainEnglishFormat.kif 11271-11271

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 2309-2325

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


(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1097-1099
(=>
    (instance ?T Abayah)
    (attribute ?T Black))
ArabicCulture.kif 514-516
(=>
    (instance ?T Khimar)
    (exists (?P)
        (and
            (part ?P ?T)
            (attribute ?P Black))))
ArabicCulture.kif 467-472
(=>
    (instance ?T Niqab)
    (exists (?P)
        (and
            (part ?P ?T)
            (attribute ?P Black))))
ArabicCulture.kif 448-453
(=>
    (instance ?T Oqal)
    (attribute ?T Black))
ArabicCulture.kif 401-403


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