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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndoAryanLanguage
IndoAryanLanguage(indo aryan language)Indic, Indo-Aryan, Prakrit

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 Indo aryan language is a subclass of indo iranian language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14569-14569 AssameseLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14575-14575 BengaliLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14576-14576 BihariLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14589-14589 DhivehiLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14598-14598 HindiLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14629-14629 MarathiLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14638-14638 NepaliLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14644-14644 OriyaLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14647-14647 PaliLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14649-14649 SanskritLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14655-14655 SindhiLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14651-14651 SinhaleseLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14669-14669 UrduLanguage is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 8660-8660 Central zone indo aryan language is a subclass of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 8796-8796 Northwestern zone indo aryan language is a subclass of indo aryan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29599-29599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29598-29598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29597-29597


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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