|
| No TPTP formula. May not be expressible in strict first order. | People.kif 71-71 | 範圍 每千人分娩 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 690-690 | 範圍 邊界 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2880-2880 | 範圍 BoughtItemsFn and NonnegativeInteger |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1320-1320 | 範圍 CPU利用率 and ConstantQuantity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1528-1528 | 範圍 內閣 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | 範圍 基數 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4784-4784 | 範圍 天花板 and Integer |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1170-1170 | 範圍 細胞部分 and 細胞部分 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7640-7640 | 範圍 圓心 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | 範圍 每個女人出生的孩子 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8040-8040 | 範圍 公民 and 一群人 |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3331-3331 | 範圍 ClickThroughRateFn and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5478-5478 | 範圍 補充 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1049-1049 | 範圍 ContestFn and Contest |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2843-2843 | 範圍 ConversionRateFn and Quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4802-4802 | 範圍 餘弦 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 284-284 | 範圍 貨幣 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4858-4858 | 範圍 基準 and LengthMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18240-18240 | 範圍 DeadOrMissingBodyPartFn and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | People.kif 104-104 | 範圍 每千人死亡 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | People.kif 230-230 | 範圍 每千名活產嬰兒死亡人數 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4811-4811 | 範圍 分母 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6647-6647 | 範圍 密度 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18325-18325 | 範圍 DepartmentOfFn and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18397-18397 | 範圍 DepartmentOfPreventingFn and Organization |
| 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