|
| 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 3558-3558 | 在空間上重疊 大洋洲 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | 在空間上重疊 大洋洲 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 3559-3559 | 在空間上重疊 大洋洲 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | 在空間上重疊 南美洲 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 269-269 | 在空間上重疊 東南亞 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 265-265 | 在空間上重疊 南亞 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 228-228 | 在空間上重疊 西南歐 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 3619-3619 | 在空間上重疊 熱帶 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | 在空間上重疊 熱帶 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 3620-3620 | 在空間上重疊 熱帶 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | 在空間上重疊 西非 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | 在空間上重疊 西非 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 202-202 | 在空間上重疊 西非 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | 在空間上重疊 西歐 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 253-253 | 在空間上重疊 西南美洲 and 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | 在空間上重疊 西南美洲 and 南半球 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners