|
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 10337-10337 | O argumento numero 3 de heartRate e' uma instancia de Numero Inteiro |
| (domain identityElement 2 Integer) | Merge.kif 5279-5279 | O argumento numero 2 de identityElement e' uma instancia de Numero Inteiro |
| (domain maxCardinality 2 Integer) | Media.kif 2194-2194 | O argumento numero 2 de maxCardinality e' uma instancia de Numero Inteiro |
| (domain maxCardinality 3 Integer) | Media.kif 2195-2195 | O argumento numero 3 de maxCardinality e' uma instancia de Numero Inteiro |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 477-477 | O argumento numero 2 de maxRoomCapacity e' uma instancia de Numero Inteiro |
| (domain maxValue 2 Integer) | Merge.kif 18406-18406 | O argumento numero 2 de maxValue e' uma instancia de Numero Inteiro |
| (domain memberCount 2 Integer) | Mid-level-ontology.kif 22635-22635 | O argumento numero 2 de memberCount e' uma instancia de Numero Inteiro |
| (domain minCardinality 2 Integer) | Media.kif 2157-2157 | O argumento numero 2 de minCardinality e' uma instancia de Numero Inteiro |
| (domain minCardinality 3 Integer) | Media.kif 2158-2158 | O argumento numero 3 de minCardinality e' uma instancia de Numero Inteiro |
| (domain minValue 2 Integer) | Merge.kif 18388-18388 | O argumento numero 2 de minValue e' uma instancia de Numero Inteiro |
| (domain molecularRatio 2 Integer) | Cars.kif 1769-1769 | O argumento numero 2 de molecularRatio e' uma instancia de Numero Inteiro |
| (domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 739-739 | O argumento numero 2 de monoploidNumber e' uma instancia de Numero Inteiro |
| (domain multiplicativeFactor 1 Integer) | Merge.kif 4896-4896 | O argumento numero 1 de multiplicativeFactor e' uma instancia de Numero Inteiro |
| (domain multiplicativeFactor 2 Integer) | Merge.kif 4897-4897 | O argumento numero 2 de multiplicativeFactor e' uma instancia de Numero Inteiro |
| (domain numberAdultOccupant 2 Integer) | Hotel.kif 2862-2862 | O argumento numero 2 de numberAdultOccupant e' uma instancia de Numero Inteiro |
| (domain numberChildOccupant 2 Integer) | Hotel.kif 2901-2901 | O argumento numero 2 de numberChildOccupant e' uma instancia de Numero Inteiro |
| (domain numberOccupant 2 Integer) | Hotel.kif 2859-2859 | O argumento numero 2 de numberOccupant e' uma instancia de Numero Inteiro |
| (domain numberOfFloors 2 Integer) | Hotel.kif 703-703 | O argumento numero 2 de numberOfFloors e' uma instancia de Numero Inteiro |
| (domain numberSeniorOccupant 2 Integer) | Hotel.kif 2923-2923 | O argumento numero 2 de numberSeniorOccupant e' uma instancia de Numero Inteiro |
| (domain restingBreathingRate 2 Integer) | Medicine.kif 335-335 | O argumento numero 2 de restingBreathingRate e' uma instancia de Numero Inteiro |
| (domain restingHeartRate 2 Integer) | Medicine.kif 115-115 | O argumento numero 2 de restingHeartRate e' uma instancia de Numero Inteiro |
| (domain roomStay 2 Integer) | Hotel.kif 2738-2738 | O argumento numero 2 de roomStay e' uma instancia de Numero Inteiro |
| (domain seatsInOrganizationCount 2 Integer) | Government.kif 2068-2068 | O argumento numero 2 de seatsInOrganizationCount e' uma instancia de Numero Inteiro |
| (domain seatsWonInElection 3 Integer) | Government.kif 1905-1905 | O argumento numero 3 de seatsWonInElection e' uma instancia de Numero Inteiro |
| (domain splitFor 2 Integer) | FinancialOntology.kif 2226-2226 | O argumento numero 2 de splitFor e' uma instancia de Numero Inteiro |
| 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