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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Red
Red(red)
blood-red, carmine, cerise, cherry, cherry-red, crimson, flushed, red, red-faced, red-rimmed, reddened, reddish, redly, redness, ruby, ruby-red, ruddy, sanguine, scarlet

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


(documentation Red ChineseLanguage "这是红色的 Attribute。") chinese_format.kif 3949-3949
(documentation Red EnglishLanguage "The Attribute of redness.") Merge.kif 16419-16419
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/a/a7/Stop_sign_MUTCD.svg") pictureList.kif 2330-2330
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/e/e3/Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") pictureList.kif 1950-1950
(instance Red PrimaryColor) Merge.kif 16418-16418 Red is an instance of primary color

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


(termFormat ChineseLanguage Red "红色") domainEnglishFormat.kif 48944-48944
(termFormat ChineseTraditionalLanguage Red "紅色") domainEnglishFormat.kif 48943-48943
(termFormat EnglishLanguage Red "red") domainEnglishFormat.kif 48942-48942

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners