|
| (domain physicalEnd 1 Object) | Merge.kif 17956-17956 | The number 1 argument of physical end is an instance of object |
| (domain physicalEnd 2 Object) | Merge.kif 17957-17957 | The number 2 argument of physical end is an instance of object |
| (domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 23236-23236 | The number 1 argument of plays role in event is an instance of object |
| (domain playsRoleInEventOfType 1 Object) | Mid-level-ontology.kif 23269-23269 | The number 1 argument of plays role in event of type is an instance of object |
| (domain playsRoleInEventOfType 5 Object) | Mid-level-ontology.kif 23273-23273 | The number 5 argument of plays role in event of type is an instance of object |
| (domain policyLocationCoverage 2 Object) | Hotel.kif 2482-2482 | The number 2 argument of policy location coverage is an instance of object |
| (domain possesses 2 Object) | Merge.kif 4246-4246 | The number 2 argument of possesses is an instance of object |
| (domain prohibitedItem 1 Object) | UXExperimentalTerms.kif 392-392 | The number 1 argument of prohibited item is an instance of object |
| (domain properlyFills 1 Object) | Merge.kif 1002-1002 | The number 1 argument of properly fills is an instance of object |
| (domain radius 1 Object) | Merge.kif 7659-7659 | The number 1 argument of radius is an instance of object |
| (domain relativeAngle 1 Object) | Merge.kif 17896-17896 | The number 1 argument of relative angle is an instance of object |
| (domain relativeAngle 2 Object) | Merge.kif 17897-17897 | The number 2 argument of relative angle is an instance of object |
| (domain relativeBearing 1 Object) | Geography.kif 3828-3828 | The number 1 argument of relative bearing is an instance of object |
| (domain relativeBearing 2 Object) | Geography.kif 3829-3829 | The number 2 argument of relative bearing is an instance of object |
| (domain relativeHumidity 1 Object) | Weather.kif 1019-1019 | The number 1 argument of relative humidity is an instance of object |
| (domain rents 3 Object) | Mid-level-ontology.kif 29986-29986 | The number 3 argument of rents is an instance of object |
| (domain resource 2 Object) | Merge.kif 2512-2512 | The number 2 argument of resource is an instance of object |
| (domain resourceExhausted 2 Object) | Merge.kif 2531-2531 | The number 2 argument of resource exhausted is an instance of object |
| (domain smaller 1 Object) | Merge.kif 7795-7795 | The number 1 argument of smaller is an instance of object |
| (domain smaller 2 Object) | Merge.kif 7796-7796 | The number 2 argument of smaller is an instance of object |
| (domain sphereRadius 1 Object) | Mid-level-ontology.kif 13442-13442 | The number 1 argument of sphere radius is an instance of object |
| (domain superficialPart 1 Object) | Merge.kif 9677-9677 | The number 1 argument of superficial part is an instance of object |
| (domain superficialPart 2 Object) | Merge.kif 9678-9678 | The number 2 argument of superficial part 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