No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12380-12380 |
例 chickasaw 語 and 西方的muskogean語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12361-12361 |
例 choctaw語言 and 西方的muskogean語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62825-62825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62824-62824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62823-62823 |
|