No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6253-6253 |
子類 北部chukotko kamchatkan 語 and chukotko kamchatkan 語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6329-6329 |
子類 南部chukotko kamchatkan 語 and chukotko kamchatkan 語言 |
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 |
|