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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Grasshopper

Sigma KEE - SoutheasternSlavicLanguage
SoutheasternSlavicLanguage(东南的斯拉夫语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10800-10801
No TPTP formula. May not be expressible in strict first order. Languages.kif 10799-10799 东南的斯拉夫语南斯拉夫语subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10804-10804 保加利亚语言东南的斯拉夫语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 10836-10836 马其顿语东南的斯拉夫语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 10861-10861 老教堂斯拉夫语言东南的斯拉夫语instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54134-54134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54133-54133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54132-54132


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