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