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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndoAryanLanguage

 Sigma KEE - IndoAryanLanguage
IndoAryanLanguage(印度雅利安语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8655-8656
No TPTP formula. May not be expressible in strict first order. Languages.kif 8654-8654 印度雅利安语 是 印度伊朗语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14577-14577 AssameseLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14583-14583 BengaliLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14584-14584 BihariLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14611-14611 DhivehiLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14620-14620 HindiLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14651-14651 MarathiLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14660-14660 NepaliLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14666-14666 OriyaLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14669-14669 PaliLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14671-14671 SanskritLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14677-14677 SindhiLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14673-14673 SinhaleseLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14691-14691 UrduLanguage 是 印度雅利安语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 8660-8660 中区印度雅利安语 是 印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 8796-8796 西北区印度雅利安语 是 印度雅利安语 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29671-29671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29670-29670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29669-29669


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