No TPTP formula. May not be expressible in strict first order. | Languages.kif 8647-8647 | Indo iranian language is a subclass of indo european language |
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 8871-8871 | Iranian language is a subclass of indo iranian language |