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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Red

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3949-3949
No TPTP formula. May not be expressible in strict first order. Merge.kif 17670-17670
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2329-2329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1949-1949
No TPTP formula. May not be expressible in strict first order. Merge.kif 17669-17669 Red is an instance of primary color

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49046-49046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49045-49045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49044-49044

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1843-1849

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


No TPTP formula. May not be expressible in strict first order. 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