No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6132-6132 |
子類 新加坡語 and chapacura wanham 語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6159-6159 |
子類 馬德拉語 and chapacura wanham 語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14148-14148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14147-14147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14146-14146 |
|