|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 872-872 | 範圍 面前 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8625-8625 | 範圍 未來 and TimeInterval |
| 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 5524-5524 | 範圍 一般化交叉口 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5513-5513 | 範圍 一般化聯盟 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 473-473 | 範圍 地理中心 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6522-6522 | 範圍 千兆 and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16888-16888 | 範圍 政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4875-4875 | 範圍 最大公約數 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1027-1027 | 範圍 GrossNationalProductFn and CurrencyMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10066-10066 | 範圍 洞主持人 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10209-10209 | 範圍 洞皮 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4937-4937 | 範圍 想像的部分 and ImaginaryNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16461-16461 | 範圍 直系親屬 and FamilyGroup |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8642-8642 | 範圍 眼前的未來 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8611 | 範圍 不久的過去 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18406-18406 | 範圍 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 13741-13741 | 範圍 InflammationFn and Inflammation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5948-5948 | 範圍 初始節點 and GraphNode |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1422-1422 | 範圍 初步資料 and 過程狀態 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 388-388 | 範圍 InjuryCausedFn and Injury |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 929-929 | 範圍 內部邊界 and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4952-4952 | 範圍 整數平方根 and NonnegativeInteger |
| 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