No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1909-1909 |
例 灣島克里奧爾語英語 and 西方大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1925-1925 |
例 中美洲北部克里奧爾語 and 西方大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1963-1963 |
例 西南加勒比克里奧爾語英語 and 西方大西洋英語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62759-62759 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62758-62758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62757-62757 |
|