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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IroquoianLanguage

 Sigma KEE - IroquoianLanguage
IroquoianLanguage(iroquoian语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11123-11125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8550-8550
No TPTP formula. May not be expressible in strict first order. Languages.kif 11122-11122 Iroquoian语言 是 LanguageFamily 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11302-11302 Susquehannock语言 是 iroquoian语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 11129-11129 北方的iroquoian语言 是 iroquoian语言 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 11277-11277 南方的易洛魁语言 是 iroquoian语言 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31087-31087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31086-31086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31085-31085


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