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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChagataiLanguage

 Sigma KEE - ChagataiLanguage
ChagataiLanguage(chagatai language)
Chagatai, Eastern_Turki, Jagatai, Jaghatai

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5133-5135
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9932-9932
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10604-10604
No TPTP formula. May not be expressible in strict first order. Languages.kif 5132-5132 Chagatai language is an instance of eastern turkic language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14010-14010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14009-14009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14008-14008


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