|
| (range NanoFn UnitOfMeasure) | Merge.kif 6553-6553 | O contra-dominio de NanoFn e' uma instancia de Unidade de Medida |
| (range NationalAnthemFn Music) | Music.kif 955-955 | O contra-dominio de NationalAnthemFn e' uma instancia de Musica |
| (range NumeratorFn Integer) | Merge.kif 5037-5037 | O contra-dominio de NumeratorFn e' uma instancia de Numero Inteiro |
| (range OuterBoundaryFn Region) | Geography.kif 809-809 | O contra-dominio de OuterBoundaryFn e' uma instancia de Regiao |
| (range PPIFn RealNumber) | UXExperimentalTerms.kif 3088-3088 | O contra-dominio de PPIFn e' uma instancia de Numero Real |
| (range PPSFn RealNumber) | UXExperimentalTerms.kif 3049-3049 | O contra-dominio de PPSFn e' uma instancia de Numero Real |
| (range PastFn TimeInterval) | Merge.kif 8502-8502 | O contra-dominio de PastFn e' uma instancia de Intervalo Temporal |
| (range PathWeightFn RealNumber) | Merge.kif 5973-5973 | O contra-dominio de PathWeightFn e' uma instancia de Numero Real |
| (range PerCapitaFn Quantity) | Mid-level-ontology.kif 8056-8056 | O contra-dominio de PerCapitaFn e' uma instancia de Quantidade |
| (range PerFn FunctionQuantity) | Merge.kif 6633-6633 | O contra-dominio de PerFn e' uma instancia de Funcao de Quantidade |
| (range PhysicalQuantityToNumberFn NumberList) | Weather.kif 1832-1832 | O contra-dominio de PhysicalQuantityToNumberFn e' uma instancia de NumberList |
| (range PicoFn UnitOfMeasure) | Merge.kif 6568-6568 | O contra-dominio de PicoFn e' uma instancia de Unidade de Medida |
| (range PopulationFn Integer) | Mid-level-ontology.kif 31689-31689 | O contra-dominio de PopulationFn e' uma instancia de Numero Inteiro |
| (range PopulationGrowthFn RealNumber) | People.kif 38-38 | O contra-dominio de PopulationGrowthFn e' uma instancia de Numero Real |
| (range PortFacilityFn PortFacility) | Transportation.kif 947-947 | O contra-dominio de PortFacilityFn e' uma instancia de PortFacility |
| (range PredecessorFn Integer) | Merge.kif 5335-5335 | O contra-dominio de PredecessorFn e' uma instancia de Numero Inteiro |
| (range PremisesFn Proposition) | Merge.kif 16902-16902 | O contra-dominio de PremisesFn e' uma instancia de Proposicao |
| (range ProbabilityFn RealNumber) | Merge.kif 2574-2574 | O contra-dominio de ProbabilityFn e' uma instancia de Numero Real |
| (range PropertyFn Set) | Merge.kif 4275-4275 | O contra-dominio de PropertyFn e' uma instancia de Conjunto |
| (range QPViewsFn Collection) | UXExperimentalTerms.kif 4168-4168 | O contra-dominio de QPViewsFn e' uma instancia de Colecao |
| (range QualifiedTreatmentsFn Collection) | UXExperimentalTerms.kif 4233-4233 | O contra-dominio de QualifiedTreatmentsFn e' uma instancia de Colecao |
| (range QualifyingEventsFn Collection) | UXExperimentalTerms.kif 4200-4200 | O contra-dominio de QualifyingEventsFn e' uma instancia de Colecao |
| (range QualifyingPurchasesFn Collection) | UXExperimentalTerms.kif 3035-3035 | O contra-dominio de QualifyingPurchasesFn e' uma instancia de Colecao |
| (range RadiusFn LengthMeasure) | Mid-level-ontology.kif 4958-4958 | O contra-dominio de RadiusFn e' uma instancia de Medida de Comprimento |
| (range RationalNumberFn RationalNumber) | Merge.kif 5055-5055 | O contra-dominio de RationalNumberFn e' uma instancia de Numero Racional |
| 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