| 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 8666-8666 | Bhil language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8672-8672 | Dom language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8678-8678 | Gujarati group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8685-8685 | Khandesi language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8691-8691 | Panjabi group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8697-8697 | Rajasthani group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8704-8704 | Romani group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8710-8710 | Western hindi group language is a subclass of central zone indo aryan language |
|
|