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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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


        (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)
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2728-2748


    (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)
            (part ?P ?T)
            (attribute ?P Black))))
ArabicCulture.kif 482-487
    (instance ?T Niqab)
    (exists (?P)
            (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