|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 246-246 | 北美洲南部 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | 大洋洲 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | 南美洲 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | 东南亚 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 265-265 | 南亚 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | 热带 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | 西非 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | 西南美洲 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4591-4591 | NortheasternPacificOcean 是 partlyLocated 在 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4604-4604 | NorthwesternPacificOcean 是 partlyLocated 在 北半球 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41097-41097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41096-41096 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41095-41095 |
|
|
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