No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6612-6612 |
例 amarakaeri語言 and 哈拉克貝特語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6624-6624 |
例 huachipaeri語言 and 哈拉克貝特語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27396-27396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27395-27395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27394-27394 |
|