No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2418-2418 |
例 Kituba語言 and 基於kongo的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2432-2432 |
例 munukutuba語言 and 基於kongo的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32773-32773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32772-32772 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32771-32771 |
|