|
| (range KappaFn Class) | Merge.kif 5584-5584 | O contra-dominio de KappaFn e' uma instancia de Classe |
| (range KiloFn UnitOfMeasure) | Merge.kif 6469-6469 | O contra-dominio de KiloFn e' uma instancia de Unidade de Medida |
| (range LastFn Entity) | Merge.kif 3207-3207 | O contra-dominio de LastFn e' uma instancia de Entidade |
| (range LatitudeFn Region) | Geography.kif 410-410 | O contra-dominio de LatitudeFn e' uma instancia de Regiao |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4932-4932 | O contra-dominio de LeastCommonMultipleFn e' uma instancia de Numero Inteiro |
| (range LegislatureFn LegislativeOrganization) | Government.kif 2037-2037 | O contra-dominio de LegislatureFn e' uma instancia de LegislativeOrganization |
| (range LifeExpectancyAtBirthFn RealNumber) | People.kif 299-299 | O contra-dominio de LifeExpectancyAtBirthFn e' uma instancia de Numero Real |
| (range LiftFn RealNumber) | UXExperimentalTerms.kif 4555-4555 | O contra-dominio de LiftFn e' uma instancia de Numero Real |
| (range LineFn Object) | ComputingBrands.kif 2626-2626 | O contra-dominio de LineFn e' uma instancia de Objeto |
| (range ListConcatenateFn List) | Merge.kif 3074-3074 | O contra-dominio de ListConcatenateFn e' uma instancia de Lista |
| (range ListFn List) | Merge.kif 2935-2935 | O contra-dominio de ListFn e' uma instancia de Lista |
| (range ListLengthFn NonnegativeInteger) | Merge.kif 3015-3015 | O contra-dominio de ListLengthFn e' uma instancia de Numero Inteiro nao-negativo |
| (range ListOrderFn Entity) | Merge.kif 2979-2979 | O contra-dominio de ListOrderFn e' uma instancia de Entidade |
| (range ListSumFn RealNumber) | Merge.kif 3241-3241 | O contra-dominio de ListSumFn e' uma instancia de Numero Real |
| (range LogFn RealNumber) | Merge.kif 4977-4977 | O contra-dominio de LogFn e' uma instancia de Numero Real |
| (range LongitudeFn GeographicArea) | Geography.kif 448-448 | O contra-dominio de LongitudeFn e' uma instancia de Area Geografica |
| (range LyricalComponentFn LyricalContent) | Music.kif 918-918 | O contra-dominio de LyricalComponentFn e' uma instancia de LyricalContent |
| (range MaleLifeExpectancyAtBirthFn RealNumber) | People.kif 348-348 | O contra-dominio de MaleLifeExpectancyAtBirthFn e' uma instancia de Numero Real |
| (range MaleToFemaleRatioFn RealNumber) | People.kif 193-193 | O contra-dominio de MaleToFemaleRatioFn e' uma instancia de Numero Real |
| (range MaritimeClaimsTerritorialSeaFn PerimeterArea) | Geography.kif 782-782 | O contra-dominio de MaritimeClaimsTerritorialSeaFn e' uma instancia de PerimeterArea |
| (range MaritimeContiguousZoneFn MaritimeContiguousZone) | Geography.kif 1044-1044 | O contra-dominio de MaritimeContiguousZoneFn e' uma instancia de MaritimeContiguousZone |
| (range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) | Geography.kif 1118-1118 | O contra-dominio de MaritimeExclusiveEconomicZoneFn e' uma instancia de MaritimeExclusiveEconomicZone |
| (range MaritimeShelfAreaFn MaritimeShelfArea) | Geography.kif 1086-1086 | O contra-dominio de MaritimeShelfAreaFn e' uma instancia de MaritimeShelfArea |
| (range MaxFn Number) | Merge.kif 4989-4989 | O contra-dominio de MaxFn e' uma instancia de Numero |
| (range MaxValueFn Number) | Weather.kif 1679-1679 | O contra-dominio de MaxValueFn e' uma instancia de Numero |
| 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