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

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


(termFormat ChineseLanguage Black "黑色") domainEnglishFormat.kif 11259-11259
(termFormat ChineseTraditionalLanguage Black "黑色") domainEnglishFormat.kif 11258-11258
(termFormat EnglishLanguage Black "black") domainEnglishFormat.kif 11257-11257

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


(=>
    (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