| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3539-3539 |
南极洲 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 239-239 |
中南美洲 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4558-4558 |
南大西洋 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4617-4617 |
南太平洋 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 199-199 |
非洲南部 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4655-4655 |
南部海洋 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 250-250 |
南美洲南部 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3524-3524 |
非洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3551-3551 |
亚洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 188-188 |
中非 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 192-192 |
东非 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 243-243 |
东南美洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 247-247 |
北美洲南部 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3557-3557 |
大洋洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3534-3534 |
南美洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 270-270 |
东南亚 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 266-266 |
南亚 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3618-3618 |
热带 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 204-204 |
西非 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 254-254 |
西南美洲 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54216-54216 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54215-54215 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54214-54214 |
|
SouthernHemisphere