No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14055-14055 |
例 博拉語言 and 博蘭語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14073-14073 |
例 muinane語言 and 博蘭語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11645-11645 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11644-11644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11643-11643 |
|