No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1768-1768 |
例 特克斯和凱科斯克里奧爾語英語 and 東大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1584-1584 |
子類 東北大西洋英語克里奧爾語 and 東大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1645-1645 |
子類 基於東南大西洋英語的克里奧爾語 and 東大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20850-20850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20849-20849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20848-20848 |
|