| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1577-1577 | 东大西洋英语克里奥尔语 是 基于大西洋英语的克里奥尔语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1584-1584 | 东北大西洋英语克里奥尔语 是 东大西洋英语克里奥尔语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1645-1645 | 基于东南大西洋英语的克里奥尔语 是 东大西洋英语克里奥尔语 的 subclass |
|
|