No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6138-6138 |
例 艾琳語 and 新加坡語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6149-6149 |
例 卡比西語 and 新加坡語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26904-26904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26903-26903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26902-26902 |
|