|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | Western africa and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | Western europe and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | Arctic ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | North pacific ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | Northeastern Pacific ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | South atlantic ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | South pacific ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | Southern ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20904-20904 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20903-20903 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20902-20902 |
|
|
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