|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3329-3329 | 域 ClickThroughRateFn, 2 and HypertextLink |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5477-5477 | 域 補充, 1 and SetOrClass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 674-674 | 域 憲法, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1048-1048 | 域 ContestFn, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2841-2841 | 域 ConversionRateFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | 域 餘弦, 1 and PlaneAngleMeasure |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 283-283 | 域 貨幣, 1 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6071-6071 | 域 切集, 1 and Graph |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | 域 基準, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | 域 天, 1 and PositiveInteger |
| No TPTP formula. May not be expressible in strict first order. | People.kif 102-102 | 域 每千人死亡, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 103-103 | 域 每千人死亡, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 228-228 | 域 每千名活產嬰兒死亡人數, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 229-229 | 域 每千名活產嬰兒死亡人數, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30630-30630 | 域 DemonymFn, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4810-4810 | 域 分母, 1 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6645-6645 | 域 密度, 1 and MassMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6646-6646 | 域 密度, 2 and VolumeMeasure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18323-18323 | 域 DepartmentOfFn, 1 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18394-18394 | 域 DepartmentOfPreventingFn, 1 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7461-7461 | 域 後人, 1 and Human |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4949-4949 | 域 直徑, 1 and 圈 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | 域 定向分區域, 1 and DirectionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | 域 定向分區域, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4742-4742 | 域 部, 1 and RealNumber |
| 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