No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6612-6612 |
Amarakaeri语言 是 哈拉克贝特语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6624-6624 |
Huachipaeri语言 是 哈拉克贝特语 的 instance |
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 |
|