|
| (=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 17752-17754 | |
| (=> (instance ?DEVICE CommunicationDevice) (capability Communication instrument ?DEVICE)) |
Mid-level-ontology.kif 2946-2948 | |
| (=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE))) |
Merge.kif 15943-15946 | |
| (=> (instance ?DEVICE FileDevice) (capability SurfaceChange instrument ?DEVICE)) |
Mid-level-ontology.kif 2538-2540 | |
| (=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4318-4320 | |
| (=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE)) |
Merge.kif 15970-15972 | |
| (=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 15442-15446 | |
| (=> (instance ?E Exhaust) (modalAttribute (capability Seeing patient ?E) Possibility)) |
Cars.kif 1161-1165 | |
| (=> (instance ?E Exhaust) (modalAttribute (not (capability Seeing patient ?E)) Possibility)) |
Cars.kif 1167-1172 | |
| (=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 12159-12161 | |
| (=> (instance ?EAR Ear) (capability Hearing instrument ?EAR)) |
Mid-level-ontology.kif 12144-12146 | |
| (=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION)) |
Mid-level-ontology.kif 15843-15845 | |
| (=> (instance ?EYE Eye) (capability Seeing instrument ?EYE)) |
Mid-level-ontology.kif 12110-12112 | |
| (=> (instance ?F Furniture) (capability Translocation moves ?F)) |
Mid-level-ontology.kif 3706-3708 | |
| (=> (instance ?F LightBulb) (capability RadiatingLight instrument ?F)) |
Cars.kif 5087-5089 | |
| (=> (instance ?F LightFixture) (capability RadiatingLight instrument ?F)) |
Mid-level-ontology.kif 3018-3020 | |
| (=> (instance ?F Plant) (capability Farming patient ?F)) |
Mid-level-ontology.kif 20516-20518 | |
| (=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 25490-25495 | |
| (=> (instance ?GLM GroundLaunchMissile) (not (capability TakingOff patient ?GLM))) |
MilitaryDevices.kif 963-966 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1165-1167 | |
| (=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2489-2491 | |
| (=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2485-2487 | |
| (=> (instance ?HINGE Hinge) (hasPurpose ?HINGE (exists (?OBJ1 ?OBJ2) (and (connects ?HINGE ?OBJ1 ?OBJ2) (or (capability Rotating patient ?OBJ1) (capability Rotating patient ?OBJ2)))))) |
Mid-level-ontology.kif 15276-15284 | |
| (=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4476-4478 | |
| (=> (instance ?I Intestine) (capability Digesting instrument ?I)) |
Mid-level-ontology.kif 12038-12040 | |
| 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