|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7462-7462 | 範圍 後人 and FamilyGroup |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4950-4950 | 範圍 直徑 and LengthMeasure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 479-479 | 範圍 定向分區域 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4744-4744 | 範圍 部 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1958-1958 | 範圍 海拔高點 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1934-1934 | 範圍 海拔低點 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2058-2058 | 範圍 EmailDomainPartFn and InternetDomain |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | 範圍 EmailLocalPartFn and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8011-8011 | 範圍 結束 and TimePoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5954-5954 | 範圍 結束節點 and GraphNode |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8935-8935 | 範圍 EveningFn and Evening |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1150-1150 | 範圍 專屬捕魚區 and 專屬捕魚區 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | 範圍 行政部門 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4821-4821 | 範圍 冪 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1182-1182 | 範圍 延伸捕魚區 and 延伸捕魚區 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1762-1762 | 範圍 延期 and Class |
| No TPTP formula. May not be expressible in strict first order. | People.kif 396-396 | 範圍 女性出生時的預期壽命 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3227-3227 | 範圍 第一 and Entity |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3726-3726 | 範圍 財政年度開始 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 888-888 | 範圍 適合兵役的男性 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4829-4829 | 範圍 地板 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4894-4894 | 範圍 流 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4926-4926 | 範圍 流動區域 and Region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | 範圍 面前 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8512-8512 | 範圍 未來 and TimeInterval |
| 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