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 中区印度雅利安语 是 印度雅利安语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8717-8717 Dangaura tharu 语 是 中区印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 8751-8751 Kathoriya tharu 语 是 中区印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 8763-8763 Parya语言 是 中区印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 8786-8786 索哈语 是 中区印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 8666-8666 Bhil语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8672-8672 Dom语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8678-8678 古吉拉特团体语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8685-8685 Khandesi语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8691-8691 旁遮普语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8697-8697 拉贾斯坦集团的语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8704-8704 罗马群体语言 是 中区印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8710-8710 西印度群岛语言 是 中区印度雅利安语 的 subclass
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