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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Egg

 Sigma KEE - WinnebagoLanguage
WinnebagoLanguage(溫尼貝戈語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12864-12865
No TPTP formula. May not be expressible in strict first order. Languages.kif 12863-12863 子類 溫尼貝戈語 and 密西西比河谷語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12868-12868 例 滑稽的語言 and 溫尼貝戈語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63207-63207
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63206-63206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63205-63205


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