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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralZoneIndoAryanLanguage

 Sigma KEE - CentralZoneIndoAryanLanguage
CentralZoneIndoAryanLanguage(中區印度雅利安語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8661-8662
No TPTP formula. May not be expressible in strict first order. Languages.kif 8660-8660 子類 中區印度雅利安語 and 印度雅利安語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8717-8717 例 dangaura tharu 語 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8751-8751 例 kathoriya tharu 語 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8763-8763 例 parya語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8786-8786 例 索哈語 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8666-8666 子類 bhil語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8672-8672 子類 dom語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8678-8678 子類 古吉拉特團體語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8685-8685 子類 khandesi語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8691-8691 子類 旁遮普語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8697-8697 子類 拉賈斯坦集團的語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8704-8704 子類 羅馬群體語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8710-8710 子類 西印度群島語言 and 中區印度雅利安語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13908-13908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13907-13907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13906-13906


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