|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | 域 attr, 2 and Attribute |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | 域 AuctionGMBFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 865-865 | 域 可用於兵役男性, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | 域 AverageFn, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | 域 背部, 1 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | 域 開始, 1 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | 域 開始節點, 1 and GraphPath |
| No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | 域 BeliefGroupMemberFn, 1 and 信仰團體 |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | 域 BidCountFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | People.kif 69-69 | 域 每千人分娩, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 70-70 | 域 每千人分娩, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | 域 BodySideFn, 1 and AntiSymmetricPositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | 域 邊界, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 域 邊界, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | 域 BoughtItemsFn, 1 and Collection |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1319-1319 | 域 CPU利用率, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1527-1527 | 域 內閣, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | 域 基數, 1 and 聯盟 SetOrClass and Collection |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | 域 天花板, 1 and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | 域 細胞部分, 1 and Cell |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7639-7639 | 域 圓心, 1 and 圈 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | 域 每個女人出生的孩子, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | 域 每個女人出生的孩子, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8039-8039 | 域 公民, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | 域 ClickThroughRateFn, 1 and Collection |
| 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