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