No TPTP formula. May not be expressible in strict first order. | Languages.kif 8871-8871 | Iranian language is a subclass of indo iranian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8877-8877 | Eastern iranian language is a subclass of iranian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8972-8972 | Western iranian language is a subclass of iranian language |