|
| (domain connects 1 Object) | Merge.kif 9551-9551 | The number 1 argument of connects is an instance of object |
| (domain connects 2 Object) | Merge.kif 9552-9552 | The number 2 argument of connects is an instance of object |
| (domain connects 3 Object) | Merge.kif 9553-9553 | The number 3 argument of connects is an instance of object |
| (domain contains 2 Object) | Merge.kif 1020-1020 | The number 2 argument of contains is an instance of object |
| (domain contestObject 2 Object) | Dining.kif 880-880 | The number 2 argument of contest object is an instance of object |
| (domain contestParticipantRepresentation 3 Object) | Music.kif 1107-1107 | The number 3 argument of contest representation is an instance of object |
| (domain contrastRatio 1 Object) | ComputingBrands.kif 3724-3724 | The number 1 argument of contrast ratio is an instance of object |
| (domain controlled 2 Object) | Mid-level-ontology.kif 23428-23428 | The number 2 argument of controlled is an instance of object |
| (domain copy 1 Object) | Merge.kif 3847-3847 | The number 1 argument of copy is an instance of object |
| (domain copy 2 Object) | Merge.kif 3848-3848 | The number 2 argument of copy is an instance of object |
| (domain covers 1 Object) | Mid-level-ontology.kif 29732-29732 | The number 1 argument of covers is an instance of object |
| (domain covers 2 Object) | Mid-level-ontology.kif 29733-29733 | The number 2 argument of covers is an instance of object |
| (domain dateUsed 1 Object) | Mid-level-ontology.kif 993-993 | The number 1 argument of date used is an instance of object |
| (domain deathplace 2 Object) | Mid-level-ontology.kif 24297-24297 | The number 2 argument of deathplace is an instance of object |
| (domain describes 2 Object) | Mid-level-ontology.kif 16147-16147 | The number 2 argument of describes is an instance of object |
| (domain detainedAtTimeInPlace 3 Object) | Justice.kif 19-19 | The number 3 argument of detained at time in place is an instance of object |
| (domain deviceState 1 Object) | Mid-level-ontology.kif 1878-1878 | The number 1 argument of device state is an instance of object |
| (domain diameter 1 Object) | Merge.kif 7681-7681 | The number 1 argument of diameter is an instance of object |
| (domain discovers 2 Object) | Mid-level-ontology.kif 2600-2600 | The number 2 argument of discovers is an instance of object |
| (domain dislikes 2 Object) | Mid-level-ontology.kif 7425-7425 | The number 2 argument of dislikes is an instance of object |
| (domain earthAltitude 1 Object) | Geography.kif 2778-2778 | The number 1 argument of earth altitude is an instance of object |
| (domain elevation 1 Object) | Geography.kif 1891-1891 | The number 1 argument of elevation is an instance of object |
| (domain equipmentCount 1 Object) | Mid-level-ontology.kif 24308-24308 | The number 1 argument of equipment count is an instance of object |
| (domain eventPartlyLocated 2 Object) | Merge.kif 4097-4097 | The number 2 argument of event partly located is an instance of object |
| (domain experimentalControl 2 Object) | Mid-level-ontology.kif 15722-15722 | The number 2 argument of experimental control is an instance of object |
| 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