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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndoAryanLanguage

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 14577-14577 Assamese language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14583-14583 Bengali language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14584-14584 Bihari language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14611-14611 Dhivehi language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14620-14620 Hindi language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14651-14651 Marathi language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14660-14660 Nepali language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14666-14666 Oriya language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14669-14669 Pali language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14671-14671 Sanskrit language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14677-14677 Sindhi language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14673-14673 Sinhalese language is an instance of indo aryan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14691-14691 Urdu language 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 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