No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1565-1565 |
例 薩馬納英語 and 基於大西洋英語的克里奧爾語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1577-1577 |
子類 東大西洋英語克里奧爾語 and 基於大西洋英語的克里奧爾語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1777-1777 |
子類 krio組語言 and 基於大西洋英語的克里奧爾語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1850-1850 |
子類 蘇里南英語為基礎的克里奧爾語 and 基於大西洋英語的克里奧爾語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1903-1903 |
子類 西方大西洋英語克里奧爾語 and 基於大西洋英語的克里奧爾語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8880-8880 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8879-8879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8878-8878 |
|