|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4743-4743 | 域 部, 2 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3012-3012 | 域 文獻, 1 and Proposition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15531-15531 | 域 版, 2 and PositiveInteger |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1685-1685 | 域 選舉, 1 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | 域 海拔高點, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | 域 海拔低點, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2057-2057 | 域 EmailDomainPartFn, 1 and EmailAddress |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2052-2052 | 域 EmailLocalPartFn, 1 and EmailAddress |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8032-8032 | 域 結束, 1 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5953-5953 | 域 結束節點, 1 and GraphPath |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8956-8956 | 域 EveningFn, 1 and Day |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1149-1149 | 域 專屬捕魚區, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | 域 行政部門, 1 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4819-4819 | 域 冪, 1 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4820-4820 | 域 冪, 2 and Integer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1181-1181 | 域 延伸捕魚區, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | 域 延期, 1 and Attribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 394-394 | 域 女性出生時的預期壽命, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 395-395 | 域 女性出生時的預期壽命, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | 域 第一, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3697-3697 | 域 財政年度, 1 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3723-3723 | 域 財政年度開始, 1 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 887-887 | 域 適合兵役的男性, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4828-4828 | 域 地板, 1 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4893-4893 | 域 流, 1 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