No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9079-9079 |
Ashtiani语言 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9087-9087 |
达里语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9099-9099 |
加齐语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9105-9105 |
Khunsari语言 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9111-9111 |
纳坦兹语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9117-9117 |
纳伊尼语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9138-9138 |
Parsi dari 语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9123-9123 |
Parsi语言 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9149-9149 |
西万迪语 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9155-9155 |
Soi语言 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9161-9161 |
Vafsi语言 是 中央伊朗语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13866-13866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13865-13865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13864-13864 |
|