No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6253-6253 |
北部chukotko kamchatkan 语 是 chukotko kamchatkan 语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6329-6329 |
南部chukotko kamchatkan 语 是 chukotko kamchatkan 语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14784-14784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14783-14783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14782-14782 |
|