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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HuronLanguage

 Sigma KEE - HuronLanguage
HuronLanguage(休恩语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11238-11239
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8530-8530
No TPTP formula. May not be expressible in strict first order. Languages.kif 11237-11237 休恩语 是 北方的iroquoian语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11242-11242 Wyandot语言 是 休恩语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28965-28965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28964-28964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28963-28963


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