| 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 |
|
|
|