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 |
在空間上重疊 非洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3551-3551 |
在空間上重疊 亞洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 188-188 |
在空間上重疊 中非 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 192-192 |
在空間上重疊 東非 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 243-243 |
在空間上重疊 東南美洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 247-247 |
在空間上重疊 北美洲南部 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3557-3557 |
在空間上重疊 大洋洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3534-3534 |
在空間上重疊 南美洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 270-270 |
在空間上重疊 東南亞 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 266-266 |
在空間上重疊 南亞 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3618-3618 |
在空間上重疊 熱帶 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 204-204 |
在空間上重疊 西非 and 南半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 254-254 |
在空間上重疊 西南美洲 and 南半球 |
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 |
|