No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5437-5437 |
例 aka bo語言 and 北方偉大的佛羅倫薩語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5444-5444 |
例 aka cari 語言 and 北方偉大的佛羅倫薩語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5459-5459 |
例 aka jeru 語言 and 北方偉大的佛羅倫薩語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5452-5452 |
例 aka kora 語言 and 北方偉大的佛羅倫薩語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41093-41093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41092-41092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41091-41091 |
|