No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4639-4639 |
北冰洋 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3581-3581 |
北極地區 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 232-232 |
加勒比地區 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 257-257 |
中亞 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 213-213 |
歐洲中部 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 260-260 |
東亞 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 210-210 |
東歐洲 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3544-3544 |
歐洲 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 235-235 |
中美洲 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3528-3528 |
北美 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4545-4545 |
北大西洋 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4577-4577 |
北太平洋 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 196-196 |
北非 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 180-180 |
北亞 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 216-216 |
北歐 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 226-226 |
東南歐 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 219-219 |
南歐 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 273-273 |
西南亞 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 230-230 |
西南歐 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 223-223 |
西歐 是 北半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3523-3523 |
在空間上重疊 非洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3550-3550 |
在空間上重疊 亞洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 187-187 |
在空間上重疊 中非 and 北半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 191-191 |
在空間上重疊 東非 and 北半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 242-242 |
在空間上重疊 東南美洲 and 北半球 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |