No TPTP formula. May not be expressible in strict first order. | Languages.kif 8978-8978 | 子類 西北伊朗語 and 西方的伊朗語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8985-8985 | 子類 balochi語言 and 西北伊朗語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9073-9073 | 子類 中央伊朗語言 and 西北伊朗語 |
![]() |