| 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 |
南极洲 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3583-3583 |
北极地区 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3546-3546 |
欧洲 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 195-195 |
北非 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3559-3559 |
大洋洲 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 229-229 |
西南欧 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3620-3620 |
热带 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 202-202 |
西非 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 222-222 |
西欧 和 西半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4641-4641 |
北冰洋 是 partlyLocated 在 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4579-4579 |
北太平洋 是 partlyLocated 在 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4605-4605 |
NorthwesternPacificOcean 是 partlyLocated 在 西半球 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4559-4559 |
南大西洋 是 partlyLocated 在 西半球 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
WesternHemisphere