No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3525-3525 |
非洲 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3552-3552 |
亞洲 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 186-186 |
中非 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 256-256 |
中亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 212-212 |
歐洲中部 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 190-190 |
東非 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 259-259 |
東亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 209-209 |
東歐洲 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 206-206 |
中東地區 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 262-262 |
北亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 215-215 |
北歐 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1676-1676 |
北海航線 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 268-268 |
東南亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 225-225 |
東南歐 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 198-198 |
非洲南部 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 264-264 |
南亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 218-218 |
南歐 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 272-272 |
西南亞 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3540-3540 |
在空間上重疊 南極洲 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3582-3582 |
在空間上重疊 北極地區 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3545-3545 |
在空間上重疊 歐洲 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 194-194 |
在空間上重疊 北非 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3558-3558 |
在空間上重疊 大洋洲 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 228-228 |
在空間上重疊 西南歐 and 東半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3619-3619 |
在空間上重疊 熱帶 and 東半球 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |