|
| (domain AssignmentFn 1 Function) | Merge.kif 779-779 | The number 1 argument of assignment is an instance of function |
| (domain AssignmentFn 2 Entity) | Merge.kif 780-780 | The number 2 argument of assignment is an instance of entity |
| (domain AttrFn 2 Attribute) | Merge.kif 1773-1773 | 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 933-933 | The number 1 argument of available for military service male is an instance of geopolitical area |
| (domain AverageFn 1 List) | Merge.kif 3269-3269 | The number 1 argument of average function is an instance of list |
| (domain BackFn 1 SelfConnectedObject) | Merge.kif 891-891 | The number 1 argument of back is an instance of self connected object |
| (domain BeginFn 1 TimeInterval) | Merge.kif 8052-8052 | The number 1 argument of begin is an instance of time interval |
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5952-5952 | 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 15109-15109 | The number 1 argument of Body side fn is an instance of anti_symmetric positional attribute |
| (domain BorderFn 1 GeographicArea) | Geography.kif 683-683 | The number 1 argument of border is an instance of geographic area |
| (domain BorderFn 2 GeographicArea) | Geography.kif 684-684 | 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 1428-1428 | The number 1 argument of CPU utilization is an instance of computer program |
| (domain CabinetFn 1 GeopoliticalArea) | Government.kif 1489-1489 | The number 1 argument of cabinet is an instance of geopolitical area |
| (domain CardinalityFn 1 SetOrClass) | Merge.kif 5518-5518 | The number 1 argument of cardinality is an instance of set or class |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4796-4796 | The number 1 argument of ceiling is an instance of real number |
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1176-1176 | The number 1 argument of cell part is an instance of cell |
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7693-7693 | The number 1 argument of center of circle is an instance of circle |
| (domain CenterOfPlanetFn 1 AstronomicalBody) | Mid-level-ontology.kif 27452-27452 | The number 1 argument of level plane is an instance of astronomical body |
| (domain ChildrenBornPerWomanFn 1 GeopoliticalArea) | People.kif 441-441 | The number 1 argument of children born per woman is an instance of geopolitical area |
| 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