|
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 10337-10337 | The number 3 argument of heart rate is an instance of integer |
| (domain identityElement 2 Integer) | Merge.kif 5279-5279 | The number 2 argument of identity element is an instance of integer |
| (domain maxCardinality 2 Integer) | Media.kif 2194-2194 | The number 2 argument of max cardinality is an instance of integer |
| (domain maxCardinality 3 Integer) | Media.kif 2195-2195 | The number 3 argument of max cardinality is an instance of integer |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 477-477 | The number 2 argument of maximum capacity is an instance of integer |
| (domain maxValue 2 Integer) | Merge.kif 18406-18406 | The number 2 argument of max value is an instance of integer |
| (domain memberCount 2 Integer) | Mid-level-ontology.kif 22635-22635 | The number 2 argument of member count is an instance of integer |
| (domain minCardinality 2 Integer) | Media.kif 2157-2157 | The number 2 argument of min cardinality is an instance of integer |
| (domain minCardinality 3 Integer) | Media.kif 2158-2158 | The number 3 argument of min cardinality is an instance of integer |
| (domain minValue 2 Integer) | Merge.kif 18388-18388 | The number 2 argument of min value is an instance of integer |
| (domain molecularRatio 2 Integer) | Cars.kif 1769-1769 | The number 2 argument of molecular ratio is an instance of integer |
| (domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 739-739 | The number 2 argument of monoploid number is an instance of integer |
| (domain multiplicativeFactor 1 Integer) | Merge.kif 4896-4896 | The number 1 argument of multiplicative factor is an instance of integer |
| (domain multiplicativeFactor 2 Integer) | Merge.kif 4897-4897 | The number 2 argument of multiplicative factor is an instance of integer |
| (domain numberAdultOccupant 2 Integer) | Hotel.kif 2862-2862 | The number 2 argument of number of adult occupants is an instance of integer |
| (domain numberChildOccupant 2 Integer) | Hotel.kif 2901-2901 | The number 2 argument of number of child occupants is an instance of integer |
| (domain numberOccupant 2 Integer) | Hotel.kif 2859-2859 | The number 2 argument of number of occupants is an instance of integer |
| (domain numberOfFloors 2 Integer) | Hotel.kif 703-703 | The number 2 argument of number of floors is an instance of integer |
| (domain numberSeniorOccupant 2 Integer) | Hotel.kif 2923-2923 | The number 2 argument of number of senior occupants is an instance of integer |
| (domain restingBreathingRate 2 Integer) | Medicine.kif 335-335 | The number 2 argument of resting breathing rate is an instance of integer |
| (domain restingHeartRate 2 Integer) | Medicine.kif 115-115 | The number 2 argument of baseline heart rate is an instance of integer |
| (domain roomStay 2 Integer) | Hotel.kif 2738-2738 | The number 2 argument of room stay is an instance of integer |
| (domain seatsInOrganizationCount 2 Integer) | Government.kif 2068-2068 | The number 2 argument of seats in organization count is an instance of integer |
| (domain seatsWonInElection 3 Integer) | Government.kif 1905-1905 | The number 3 argument of seats won in election is an instance of integer |
| (domain splitFor 2 Integer) | FinancialOntology.kif 2226-2226 | The number 2 argument of split for is an instance of integer |
| 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