No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2144-2144 |
例 amapa克里奧爾語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2153-2153 |
例 法國圭亞那克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2166-2166 |
例 海地克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2185-2185 |
例 karipuna克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2198-2198 |
例 較小的安的列斯克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2249-2249 |
例 路易斯安那克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2274-2274 |
例 morisyen語言 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2287-2287 |
例 團圓克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2302-2302 |
例 聖米格爾克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2310-2310 |
例 塞塞瓦克里奧爾語法語 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2324-2324 |
例 tayo語言 and 法語克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24932-24932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24931-24931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24930-24930 |
|