|
| (domain moves 2 Object) | Merge.kif 10980-10980 | The number 2 argument of moves is an instance of object |
| (domain objectGeographicCoordinates 1 Object) | Geography.kif 324-324 | The number 1 argument of object geographic coordinates is an instance of object |
| (domain objectTransferred 2 Object) | Merge.kif 11333-11333 | The number 2 argument of object transferred is an instance of object |
| (domain observedAtTimeInPlace 1 Object) | Justice.kif 31-31 | The number 1 argument of observed at time in place is an instance of object |
| (domain observedAtTimeInPlace 4 Object) | Justice.kif 34-34 | The number 4 argument of observed at time in place is an instance of object |
| (domain older 1 Object) | Mid-level-ontology.kif 402-402 | The number 1 argument of older is an instance of object |
| (domain older 2 Object) | Mid-level-ontology.kif 403-403 | The number 2 argument of older is an instance of object |
| (domain operator 1 Object) | Mid-level-ontology.kif 22766-22766 | The number 1 argument of operator is an instance of object |
| (domain orbits 1 Object) | Geography.kif 3373-3373 | The number 1 argument of orbits is an instance of object |
| (domain orientation 1 Object) | Merge.kif 16912-16912 | The number 1 argument of orientation is an instance of object |
| (domain orientation 2 Object) | Merge.kif 16913-16913 | The number 2 argument of orientation is an instance of object |
| (domain origin 2 Object) | Merge.kif 2483-2483 | The number 2 argument of origin is an instance of object |
| (domain overlapsPartially 1 Object) | Merge.kif 9621-9621 | The number 1 argument of overlap partially is an instance of object |
| (domain overlapsPartially 2 Object) | Merge.kif 9622-9622 | The number 2 argument of overlap partially is an instance of object |
| (domain part 1 Object) | Merge.kif 917-917 | The number 1 argument of part is an instance of object |
| (domain part 2 Object) | Merge.kif 918-918 | The number 2 argument of part is an instance of object |
| (domain partiallyFills 1 Object) | Merge.kif 9977-9977 | The number 1 argument of partially fills is an instance of object |
| (domain partlyLocated 2 Object) | Merge.kif 4046-4046 | The number 2 argument of partly located is an instance of object |
| (domain path 2 Object) | Merge.kif 11076-11076 | The number 2 argument of path is an instance of object |
| (domain phMeasure 1 Object) | Mid-level-ontology.kif 9865-9865 | The number 1 argument of pH measure is an instance of object |
| (domain physicalEnd 1 Object) | Merge.kif 17934-17934 | The number 1 argument of physical end is an instance of object |
| (domain physicalEnd 2 Object) | Merge.kif 17935-17935 | The number 2 argument of physical end is an instance of object |
| (domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 23237-23237 | The number 1 argument of plays role in event 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