No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2144-2144 |
Amapa克里奥尔语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2153-2153 |
法国圭亚那克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2166-2166 |
海地克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2185-2185 |
Karipuna克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2198-2198 |
较小的安的列斯克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2249-2249 |
路易斯安那克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2274-2274 |
Morisyen语言 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2287-2287 |
团圆克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2302-2302 |
圣米格尔克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2310-2310 |
塞塞瓦克里奥尔语法语 是 法语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2324-2324 |
Tayo语言 是 法语克里奥尔语 的 instance |
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 |
|