|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 596-596 | 例 南沙群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 313-313 | 例 斯瓦爾巴 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 655-655 | 例 托克勞 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 425-425 | 例 特克斯和凱科斯群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 656-656 | 例 甦醒島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 657-657 | 例 瓦利斯和富圖納群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 238-238 | 例 西方銀行 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6170-6170 | 範圍 海岸線 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | 子類 耕地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8207-8207 | 子類 營地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8091-8091 | 子類 公墓 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | 子類 City and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8218-8218 | 子類 城市街區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14181-14181 | 子類 Continent and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | 子類 縣 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8135-8135 | 子類 耕地面積 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | 子類 沙漠 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8991-8991 | 子類 領域 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | 子類 森林 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | 子類 草原 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | 子類 灌溉土地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | 子類 Island and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | 子類 地峽 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | 子類 叢林 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | 子類 陸地過境通道 and LandArea |
| 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