No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1651-1651 |
巴扬语言 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1662-1662 |
圭亚那克里奥尔语英语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1682-1682 |
背风加勒比克里奥尔语英语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1712-1712 |
Tobagonian 克里奥尔语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1723-1723 |
特立尼达克里奥尔语英语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1732-1732 |
维尔京群岛克里奥尔语英语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1750-1750 |
迎风加勒比克里奥尔语英语 是 基于东南大西洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54104-54104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54103-54103 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54102-54102 |
|