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 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 Black è un' istanza di ColorePirmario

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