|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4925-4925 | 域 流動區域, 1 and 液體運動 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | 域 面前, 1 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8533-8533 | 域 未來, 1 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2947-2947 | 域 GMBFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2990-2990 | 域 GMVFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3158-3158 | 域 GPIFn, 1 and 試驗 |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3160-3160 | 域 GPIFn, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3125-3125 | 域 GPSFn, 1 and 試驗 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 335-335 | 域 地理中心, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | 域 GeographicPartTypeFn, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6496-6496 | 域 千兆, 1 and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16734-16734 | 域 政府, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6054-6054 | 域 圖形路徑, 1 and GraphNode |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6055-6055 | 域 圖形路徑, 2 and GraphNode |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4848-4848 | 域 最大公約數, 1 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9949-9949 | 域 洞主持人, 1 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10090-10090 | 域 洞皮, 1 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8635-8635 | 域 小時, 1 and NonnegativeInteger |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4908-4908 | 域 想像的部分, 1 and ComplexNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16307-16307 | 域 直系親屬, 1 and Human |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8550-8550 | 域 眼前的未來, 1 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8519-8519 | 域 不久的過去, 1 and TimePosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12408-12408 | 域 InflammationFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5922-5922 | 域 初始節點, 1 and GraphArc |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1312-1312 | 域 初步資料, 1 and ComputerProgram |
| 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