|
| (domain AttrFn 2 Attribute) | Merge.kif 1778-1778 | The number 2 argument of attr is an instance of attribute |
| (domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | The number 1 argument of gross merchandise bought in auctions is an instance of collection |
| (domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea) | Military.kif 865-865 | The number 1 argument of available for military service male is an instance of geopolitical area |
| (domain AverageFn 1 List) | Merge.kif 3271-3271 | The number 1 argument of average function is an instance of list |
| (domain BackFn 1 SelfConnectedObject) | Merge.kif 898-898 | The number 1 argument of back is an instance of self connected object |
| (domain BeginFn 1 TimeInterval) | Merge.kif 7982-7982 | The number 1 argument of begin is an instance of time interval |
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5942-5942 | The number 1 argument of begin node is an instance of graph path |
| (domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 673-673 | The number 1 argument of Belief group member fn is an instance of belief group |
| (domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | The number 1 argument of bid count is an instance of collection |
| (domain BirthsPerThousandFn 1 GeopoliticalArea) | People.kif 69-69 | The number 1 argument of births per thousand is an instance of geopolitical area |
| (domain BirthsPerThousandFn 2 Year) | People.kif 70-70 | The number 2 argument of births per thousand is an instance of year |
| (domain BodySideFn 1 AntiSymmetricPositionalAttribute) | Merge.kif 14971-14971 | The number 1 argument of Body side fn is an instance of anti-symmetric positional attribute |
| (domain BorderFn 1 GeographicArea) | Geography.kif 688-688 | The number 1 argument of border is an instance of geographic area |
| (domain BorderFn 2 GeographicArea) | Geography.kif 689-689 | The number 2 argument of border is an instance of geographic area |
| (domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | The number 1 argument of bought items is an instance of collection |
| (domain CPUUtilizationFn 1 ComputerProgram) | QoSontology.kif 1319-1319 | The number 1 argument of CPU utilization is an instance of computer program |
| (domain CabinetFn 1 GeopoliticalArea) | Government.kif 1527-1527 | The number 1 argument of cabinet is an instance of geopolitical area |
| (domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4783-4783 | The number 1 argument of ceiling is an instance of real number |
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1168-1168 | The number 1 argument of cell part is an instance of cell |
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7639-7639 | The number 1 argument of center of circle is an instance of circle |
| (domain ChildrenBornPerWomanFn 1 GeopoliticalArea) | People.kif 441-441 | The number 1 argument of children born per woman is an instance of geopolitical area |
| (domain ChildrenBornPerWomanFn 2 Year) | People.kif 442-442 | The number 2 argument of children born per woman is an instance of year |
| (domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8039-8039 | The number 1 argument of citizenry is an instance of geopolitical area |
| (domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | The number 1 argument of click-through rate is an instance of 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