|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2949-2949 | 範圍 GMBFn and CurrencyMeasure |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2992-2992 | 範圍 GMVFn and CurrencyMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5499-5499 | 範圍 一般化交叉口 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5488-5488 | 範圍 一般化聯盟 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 336-336 | 範圍 地理中心 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6497-6497 | 範圍 千兆 and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16735-16735 | 範圍 政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4847-4847 | 範圍 最大公約數 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9950-9950 | 範圍 洞主持人 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10091-10091 | 範圍 洞皮 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4909-4909 | 範圍 想像的部分 and ImaginaryNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16308-16308 | 範圍 直系親屬 and FamilyGroup |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8551-8551 | 範圍 眼前的未來 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8520-8520 | 範圍 不久的過去 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18241-18241 | 範圍 ImpairedBodyPartFn and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2001-2001 | 範圍 InfectionFn and 傳染病 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12409-12409 | 範圍 InflammationFn and Inflammation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5923-5923 | 範圍 初始節點 and GraphNode |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1313-1313 | 範圍 初步資料 and 過程狀態 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 399-399 | 範圍 InjuryCausedFn and Injury |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 797-797 | 範圍 內部邊界 and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4924-4924 | 範圍 整數平方根 and NonnegativeInteger |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5457-5457 | 範圍 路口 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2139-2139 | 範圍 司法 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2140-2140 | 範圍 司法 and 司法組織 |
| 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