No TPTP formula. May not be expressible in strict first order. | Languages.kif 8871-8871 | 子類 伊朗語 and 印度伊朗語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8877-8877 | 子類 東伊朗語 and 伊朗語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8972-8972 | 子類 西方的伊朗語言 and 伊朗語 |
![]() |