|
| (domain BackFn 1 SelfConnectedObject) | Merge.kif 855-855 | The number 1 argument of back is an instance of self connected object |
| (domain BeginFn 1 TimeInterval) | Merge.kif 7535-7535 | The number 1 argument of begin is an instance of time interval |
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5587-5587 | The number 1 argument of begin node is an instance of graph path |
| (domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 675-675 | The number 1 argument of BeliefGroupMemberFn is an instance of belief group |
| (domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 3115-3115 | The number 1 argument of bid count is an instance of collection |
| (domain BirthsPerThousandFn 1 GeopoliticalArea) | People.kif 91-91 | The number 1 argument of births per thousand is an instance of geopolitical area |
| (domain BirthsPerThousandFn 2 Year) | People.kif 92-92 | The number 2 argument of births per thousand is an instance of year |
| (domain BorderFn 1 GeographicArea) | Geography.kif 687-687 | The number 1 argument of border is an instance of geographic area |
| (domain BorderFn 2 GeographicArea) | Geography.kif 688-688 | The number 2 argument of border is an instance of geographic area |
| (domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 3082-3082 | The number 1 argument of bought items is an instance of collection |
| (domain CPUUtilizationFn 1 ComputerProgram) | QoSontology.kif 1324-1324 | The number 1 argument of CPU utilization is an instance of computer program |
| (domain CabinetFn 1 GeopoliticalArea) | Government.kif 1481-1481 | The number 1 argument of cabinet is an instance of geopolitical area |
| (domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5178-5178 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4552-4552 | The number 1 argument of ceiling is an instance of real number |
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 583-583 | The number 1 argument of cell part is an instance of cell |
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7206-7206 | The number 1 argument of center of circle is an instance of circle |
| (domain ChildrenBornPerWomanFn 1 GeopoliticalArea) | People.kif 447-447 | The number 1 argument of children born per woman is an instance of geopolitical area |
| (domain ChildrenBornPerWomanFn 2 Year) | People.kif 448-448 | The number 2 argument of children born per woman is an instance of year |
| (domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 7782-7782 | The number 1 argument of citizenry is an instance of geopolitical area |
| (domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3530-3530 | The number 1 argument of click-through rate is an instance of collection |
| (domain ClickThroughRateFn 2 HypertextLink) | UXExperimentalTerms.kif 3532-3532 | The number 2 argument of click-through rate is an instance of hyperlink |
| (domain ComplementFn 1 SetOrClass) | Merge.kif 5147-5147 | The number 1 argument of complement is an instance of set or class |
| (domain ConstitutionFn 1 GeopoliticalArea) | Government.kif 661-661 | The number 1 argument of constitution is an instance of geopolitical area |
| (domain ContestFn 2 TimePoint) | Music.kif 1040-1040 | The number 2 argument of contest function is an instance of time point |
| (domain ConversionRateFn 1 Collection) | UXExperimentalTerms.kif 3046-3046 | The number 1 argument of conversion 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners