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 伊朗語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30961-30961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30960-30960 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30959-30959 |
|