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 8883-8883 | Southeastern iranian language is a subclass of eastern iranian language |