No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9079-9079 |
例 ashtiani語言 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9087-9087 |
例 達里語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9099-9099 |
例 加齊語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9105-9105 |
例 khunsari語言 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9111-9111 |
例 納坦茲語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9117-9117 |
例 納伊尼語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9138-9138 |
例 parsi dari 語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9123-9123 |
例 parsi語言 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9149-9149 |
例 西萬迪語 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9155-9155 |
例 soi語言 and 中央伊朗語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9161-9161 |
例 vafsi語言 and 中央伊朗語言 |
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 |
|