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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Red

Sigma KEE - Red
Red

appearance as argument number 1
-------------------------


(documentation Red ChineseLanguage "这是红色的 Attribute。") chinese_format.kif 3949-3949
(documentation Red EnglishLanguage "The Attribute of redness.") Merge.kif 17670-17670
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/a/a7/Stop_sign_MUTCD.svg") pictureList.kif 2329-2329
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/e/e3/Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") pictureList.kif 1949-1949
(instance Red PrimaryColor) Merge.kif 17669-17669

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


(termFormat ChineseLanguage Red "红色") domainEnglishFormat.kif 49046-49046
(termFormat ChineseTraditionalLanguage Red "紅色") domainEnglishFormat.kif 49045-49045
(termFormat EnglishLanguage Red "red") domainEnglishFormat.kif 49044-49044

antecedent
-------------------------


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1843-1849

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


(=>
    (instance ?T Shimagh)
    (and
        (attribute ?T White)
        (attribute ?T Red)))
ArabicCulture.kif 393-397


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