|
| (range DescendantsFn FamilyGroup) | Mid-level-ontology.kif 7462-7462 | O contra-dominio de DescendantsFn e' uma instancia de Grupo Familiar |
| (range DiameterFn LengthMeasure) | Mid-level-ontology.kif 4950-4950 | O contra-dominio de DiameterFn e' uma instancia de Medida de Comprimento |
| (range DirectionalSubregionFn GeographicArea) | Geography.kif 479-479 | O contra-dominio de DirectionalSubregionFn e' uma instancia de Area Geografica |
| (range DivisionFn RealNumber) | Merge.kif 4744-4744 | O contra-dominio de DivisionFn e' uma instancia de Numero Real |
| (range ElevationHighPointFn GeographicArea) | Geography.kif 1958-1958 | O contra-dominio de ElevationHighPointFn e' uma instancia de Area Geografica |
| (range ElevationLowPointFn GeographicArea) | Geography.kif 1934-1934 | O contra-dominio de ElevationLowPointFn e' uma instancia de Area Geografica |
| (range EmailDomainPartFn InternetDomain) | ComputingBrands.kif 2058-2058 | O contra-dominio de EmailDomainPartFn e' uma instancia de InternetDomain |
| (range EmailLocalPartFn SymbolicString) | ComputingBrands.kif 2053-2053 | O contra-dominio de EmailLocalPartFn e' uma instancia de Sequencia Simbolica |
| (range EndFn TimePoint) | Merge.kif 8011-8011 | O contra-dominio de EndFn e' uma instancia de Ponto no tempo |
| (range EndNodeFn GraphNode) | Merge.kif 5954-5954 | O contra-dominio de EndNodeFn e' uma instancia de No' do Grafo |
| (range EveningFn Evening) | Merge.kif 8935-8935 | O contra-dominio de EveningFn e' uma instancia de Evening |
| (range ExclusiveFishingZoneFn ExclusiveFishingZone) | Geography.kif 1150-1150 | O contra-dominio de ExclusiveFishingZoneFn e' uma instancia de ExclusiveFishingZone |
| (range ExecutiveBranchFn Organization) | Government.kif 1322-1322 | O contra-dominio de ExecutiveBranchFn e' uma instancia de Organizacao |
| (range ExponentiationFn RealNumber) | Merge.kif 4821-4821 | O contra-dominio de ExponentiationFn e' uma instancia de Numero Real |
| (range ExtendedFishingZoneFn ExtendedFishingZone) | Geography.kif 1182-1182 | O contra-dominio de ExtendedFishingZoneFn e' uma instancia de ExtendedFishingZone |
| (range ExtensionFn Class) | Merge.kif 1762-1762 | O contra-dominio de ExtensionFn e' uma instancia de Classe |
| (range FemaleLifeExpectancyAtBirthFn RealNumber) | People.kif 396-396 | O contra-dominio de FemaleLifeExpectancyAtBirthFn e' uma instancia de Numero Real |
| (range FirstFn Entity) | Merge.kif 3227-3227 | O contra-dominio de FirstFn e' uma instancia de Entidade |
| (range FiscalYearStartingFn TimeInterval) | Economy.kif 3726-3726 | O contra-dominio de FiscalYearStartingFn e' uma instancia de Intervalo Temporal |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 888-888 | O contra-dominio de FitForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro |
| (range FloorFn Integer) | Merge.kif 4829-4829 | O contra-dominio de FloorFn e' uma instancia de Numero Inteiro |
| (range FlowFn Motion) | Geography.kif 4894-4894 | O contra-dominio de FlowFn e' uma instancia de Movimento |
| (range FlowRegionFn Region) | Geography.kif 4926-4926 | O contra-dominio de FlowRegionFn e' uma instancia de Regiao |
| (range FrontFn SelfConnectedObject) | Merge.kif 879-879 | O contra-dominio de FrontFn e' uma instancia de Objeto auto-conectado |
| (range FutureFn TimeInterval) | Merge.kif 8512-8512 | O contra-dominio de FutureFn e' uma instancia de Intervalo Temporal |
| 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