|
| (domain DivisionFn 2 RealNumber) | Merge.kif 4743-4743 | The number 2 argument of division is an instance of real number |
| (domain DocumentFn 1 Proposition) | Geography.kif 3012-3012 | The number 1 argument of document is an instance of proposition |
| (domain EditionFn 2 PositiveInteger) | Merge.kif 15509-15509 | The number 2 argument of edition is an instance of positive integer |
| (domain ElectionFn 1 AutonomousAgent) | Government.kif 1685-1685 | The number 1 argument of election is an instance of agent |
| (domain ElevationHighPointFn 1 GeographicArea) | Geography.kif 1957-1957 | The number 1 argument of elevation high point is an instance of geographic area |
| (domain ElevationLowPointFn 1 GeographicArea) | Geography.kif 1933-1933 | The number 1 argument of elevation low point is an instance of geographic area |
| (domain EmailDomainPartFn 1 EmailAddress) | ComputingBrands.kif 2057-2057 | The number 1 argument of email domain part fn is an instance of email address |
| (domain EmailLocalPartFn 1 EmailAddress) | ComputingBrands.kif 2052-2052 | The number 1 argument of email local part fn is an instance of email address |
| (domain EndFn 1 TimeInterval) | Merge.kif 8010-8010 | The number 1 argument of end is an instance of time interval |
| (domain EndNodeFn 1 GraphPath) | Merge.kif 5953-5953 | The number 1 argument of end node is an instance of graph path |
| (domain EveningFn 1 Day) | Merge.kif 8934-8934 | The number 1 argument of Evening fn is an instance of day |
| (domain ExclusiveFishingZoneFn 1 GeopoliticalArea) | Geography.kif 1149-1149 | The number 1 argument of exclusive fishing zone is an instance of geopolitical area |
| (domain ExecutiveBranchFn 1 AutonomousAgent) | Government.kif 1321-1321 | The number 1 argument of executive branch is an instance of agent |
| (domain ExponentiationFn 1 RealNumber) | Merge.kif 4819-4819 | The number 1 argument of exponentiation is an instance of real number |
| (domain ExponentiationFn 2 Integer) | Merge.kif 4820-4820 | The number 2 argument of exponentiation is an instance of integer |
| (domain ExtendedFishingZoneFn 1 GeopoliticalArea) | Geography.kif 1181-1181 | The number 1 argument of extended fishing zone is an instance of geopolitical area |
| (domain ExtensionFn 1 Attribute) | Merge.kif 1761-1761 | The number 1 argument of extension is an instance of attribute |
| (domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) | People.kif 394-394 | The number 1 argument of female life expectancy at birth is an instance of geopolitical area |
| (domain FemaleLifeExpectancyAtBirthFn 2 Year) | People.kif 395-395 | The number 2 argument of female life expectancy at birth is an instance of year |
| (domain FirstFn 1 List) | Merge.kif 3226-3226 | The number 1 argument of first is an instance of list |
| (domain FiscalYearFn 1 AutonomousAgent) | Economy.kif 3697-3697 | The number 1 argument of fiscal year is an instance of agent |
| (domain FiscalYearStartingFn 1 AutonomousAgent) | Economy.kif 3723-3723 | The number 1 argument of fiscal year starting is an instance of agent |
| (domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) | Military.kif 887-887 | The number 1 argument of fit for military service male is an instance of geopolitical area |
| (domain FloorFn 1 RealNumber) | Merge.kif 4828-4828 | The number 1 argument of floor is an instance of real number |
| (domain FlowFn 1 FlowRegion) | Geography.kif 4893-4893 | The number 1 argument of flow is an instance of flow region |
| 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