|
| (domain surfaceWindDirection 1 Object) | Weather.kif 168-168 | The number 1 argument of surface wind direction is an instance of object |
| (domain surfaceWindSpeed 1 Object) | Weather.kif 133-133 | The number 1 argument of surface wind speed is an instance of object |
| (domain surfaceWindVelocity 1 Object) | Weather.kif 104-104 | The number 1 argument of surface wind velocity is an instance of object |
| (domain targetInAttack 2 Object) | Mid-level-ontology.kif 6790-6790 | The number 2 argument of target in attack is an instance of object |
| (domain tonicity 1 Object) | Medicine.kif 1122-1122 | The number 1 argument of tonicity is an instance of object |
| (domain tonicity 2 Object) | Medicine.kif 1123-1123 | The number 2 argument of tonicity is an instance of object |
| (domain trafficableForTrafficType 1 Object) | Transportation.kif 2604-2604 | The number 1 argument of trafficable for traffic type is an instance of object |
| (domain transported 2 Object) | Mid-level-ontology.kif 22858-22858 | The number 2 argument of transported is an instance of object |
| (domain traverses 1 Object) | Merge.kif 4184-4184 | The number 1 argument of traverses is an instance of object |
| (domain traverses 2 Object) | Merge.kif 4185-4185 | The number 2 argument of traverses is an instance of object |
| (domain unpaidItem 1 Object) | UXExperimentalTerms.kif 445-445 | The number 1 argument of unpaid item is an instance of object |
| (domain uses 1 Object) | Merge.kif 4668-4668 | The number 1 argument of uses is an instance of object |
| (domain viewType 1 Object) | Hotel.kif 951-951 | The number 1 argument of view type is an instance of object |
| (domain windRelativePosition 1 Object) | Weather.kif 291-291 | The number 1 argument of wind relative position is an instance of object |
| (domain yearBuilt 1 Object) | Hotel.kif 722-722 | The number 1 argument of year built is an instance of object |
| (domainSubclass AttrFn 1 Object) | Merge.kif 1777-1777 | The number 1 argument of attr is a subclass of object |
| (domainSubclass ReceivingAnObjectFn 1 Object) | Media.kif 186-186 | The number 1 argument of receiving an object fn is a subclass of object |
| (domainSubclass ShortageFn 1 Object) | Geography.kif 2887-2887 | The number 1 argument of shortage is a subclass of object |
| (domainSubclass agriculturalProductType 2 Object) | Economy.kif 2232-2232 | The number 2 argument of agricultural product type is a subclass of object |
| (domainSubclass agriculturalProductTypeByRank 2 Object) | Economy.kif 2242-2242 | The number 2 argument of agricultural product type by rank is a subclass of object |
| (domainSubclass allRoomsPhysicalAmenity 2 Object) | Hotel.kif 169-169 | The number 2 argument of physical amenity in all rooms is a subclass of object |
| (domainSubclass cargoType 2 Object) | Transportation.kif 1037-1037 | The number 2 argument of cargo type is a subclass of object |
| (domainSubclass corkageFee 2 Object) | Dining.kif 120-120 | The number 2 argument of corkage fee is a subclass of object |
| (domainSubclass defaultMaximumHeight 1 Object) | Mid-level-ontology.kif 13359-13359 | The number 1 argument of default maximum height is a subclass of object |
| (domainSubclass defaultMaximumLength 1 Object) | Mid-level-ontology.kif 13425-13425 | The number 1 argument of default maximum length is a subclass 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