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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoutheasternSlavicLanguage

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 子類 東南的斯拉夫語 and 南斯拉夫語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10804-10804 保加利亞語言 and 東南的斯拉夫語
No TPTP formula. May not be expressible in strict first order. Languages.kif 10836-10836 馬其頓語 and 東南的斯拉夫語
No TPTP formula. May not be expressible in strict first order. Languages.kif 10861-10861 老教堂斯拉夫語言 and 東南的斯拉夫語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54132-54132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54131-54131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54130-54130


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