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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Black

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

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


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

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


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