|
| 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 221-221 | 在空間上重疊 西歐 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | 部分位於 北冰洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | 部分位於 北太平洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | 部分位於 NortheasternPacificOcean and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | 部分位於 南大西洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | 部分位於 南太平洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | 部分位於 南部海洋 and 東半球 |
| 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