No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8877-8877 |
东伊朗语 是 伊朗语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8972-8972 |
西方的伊朗语言 是 伊朗语 的 subclass |
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 |
|