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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Purple

 Sigma KEE - Purple
Purple(purple)
lavender, lilac, lilac-colored, purple, purplish, violet

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19421-19422
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1942-1942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2324-2324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1221-1221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19420-19420 Purple is an instance of secondary color

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48194-48194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48193-48193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48192-48192


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