| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 233-233 |
加勒比地區 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 238-238 |
中南美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 241-241 |
東南美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 236-236 |
中美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 207-207 |
中東地區 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3529-3529 |
北美 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4546-4546 |
北大西洋 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 245-245 |
北美洲南部 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1667-1667 |
西北通道 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3535-3535 |
南美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 249-249 |
南美洲南部 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 252-252 |
西南美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3541-3541 |
在空間上重疊 南極洲 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3583-3583 |
在空間上重疊 北極地區 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3546-3546 |
在空間上重疊 歐洲 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 195-195 |
在空間上重疊 北非 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3559-3559 |
在空間上重疊 大洋洲 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 229-229 |
在空間上重疊 西南歐 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3620-3620 |
在空間上重疊 熱帶 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 202-202 |
在空間上重疊 西非 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 222-222 |
在空間上重疊 西歐 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4641-4641 |
部分位於 北冰洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4579-4579 |
部分位於 北太平洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4605-4605 |
部分位於 NorthwesternPacificOcean and 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4559-4559 |
部分位於 南大西洋 and 西半球 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
WesternHemisphere