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語言 and LanguageFamily

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11302-11302 例 susquehannock語言 and iroquoian語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11129-11129 子類 北方的iroquoian語言 and iroquoian語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11277-11277 子類 南方的易洛魁語言 and iroquoian語言
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