| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 152-152 |
安哥拉 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 154-154 |
Bassas da 印度 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 155-155 |
博茨瓦纳 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 157-157 |
布维岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 158-158 |
科摩罗 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 160-160 |
欧罗巴岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 161-161 |
Glorioso岛屿 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 162-162 |
听过岛屿和麦当劳群岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 163-163 |
胡安德诺瓦岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 164-164 |
莱索托 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 166-166 |
马达加斯加 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 168-168 |
马拉维 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 170-170 |
毛里求斯 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 172-172 |
马约特 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 173-173 |
莫桑比克 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 175-175 |
纳米比亚 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 177-177 |
团圆 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 179-179 |
南非 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 181-181 |
斯威士兰 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 183-183 |
特罗姆林岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 184-184 |
赞比亚 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 186-186 |
津巴布韦 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 111-111 |
非洲南部 的名 是 "Southern Africa" |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54144-54144 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54143-54143 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
SouthernAfrica