|
| (domain moves 2 Object) | Merge.kif 10980-10980 | |
| (domain objectGeographicCoordinates 1 Object) | Geography.kif 324-324 | |
| (domain objectTransferred 2 Object) | Merge.kif 11333-11333 | |
| (domain observedAtTimeInPlace 1 Object) | Justice.kif 31-31 | |
| (domain observedAtTimeInPlace 4 Object) | Justice.kif 34-34 | |
| (domain older 1 Object) | Mid-level-ontology.kif 402-402 | |
| (domain older 2 Object) | Mid-level-ontology.kif 403-403 | |
| (domain operator 1 Object) | Mid-level-ontology.kif 22766-22766 | |
| (domain orbits 1 Object) | Geography.kif 3373-3373 | |
| (domain orientation 1 Object) | Merge.kif 16912-16912 | |
| (domain orientation 2 Object) | Merge.kif 16913-16913 | |
| (domain origin 2 Object) | Merge.kif 2483-2483 | |
| (domain overlapsPartially 1 Object) | Merge.kif 9621-9621 | |
| (domain overlapsPartially 2 Object) | Merge.kif 9622-9622 | |
| (domain part 1 Object) | Merge.kif 917-917 | |
| (domain part 2 Object) | Merge.kif 918-918 | |
| (domain partiallyFills 1 Object) | Merge.kif 9977-9977 | |
| (domain partlyLocated 2 Object) | Merge.kif 4046-4046 | |
| (domain path 2 Object) | Merge.kif 11076-11076 | |
| (domain phMeasure 1 Object) | Mid-level-ontology.kif 9865-9865 | |
| (domain physicalEnd 1 Object) | Merge.kif 17934-17934 | |
| (domain physicalEnd 2 Object) | Merge.kif 17935-17935 | |
| (domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 23237-23237 | |
| 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