No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8065-8065 |
例 巴伐利亞語言 and 巴伐利亞奧地利語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8103-8103 |
例 cimbrian語言 and 巴伐利亞奧地利語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8127-8127 |
例 hutterite德語 and 巴伐利亞奧地利語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8156-8156 |
例 mocheno語言 and 巴伐利亞奧地利語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10236-10236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10235-10235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10234-10234 |
|