(=>     (instance ?CRAFT WaterVehicle)     (capability WaterTransportation instrument ?CRAFT))	Mid-level-ontology.kif 17751-17753	Wenn Object ist ein fall von WaterVehicle %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument WaterTransportation zu tun
(=>     (instance ?DEVICE CommunicationDevice)     (capability Communication instrument ?DEVICE))	Mid-level-ontology.kif 2946-2948	Wenn Object ist ein fall von CommunicationDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Communication zu tun
(=>     (instance ?DEVICE Device)     (exists (?PROC)         (capability ?PROC instrument ?DEVICE)))	Merge.kif 15965-15968	Wenn Object ist ein fall von Device %n{nicht}, dann es gibt ** Process um ** Object ist faehig %n{nicht}, in der Rolle instrument ** Process zu tun
(=>     (instance ?DEVICE FileDevice)     (capability SurfaceChange instrument ?DEVICE))	Mid-level-ontology.kif 2538-2540	Wenn Object ist ein fall von FileDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument SurfaceChange zu tun
(=>     (instance ?DEVICE Holder)     (capability Keeping instrument ?DEVICE))	Mid-level-ontology.kif 4318-4320	Wenn Object ist ein fall von Holder %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Keeping zu tun
(=>     (instance ?DEVICE TransportationDevice)     (capability Transportation instrument ?DEVICE))	Merge.kif 15992-15994	Wenn Object ist ein fall von TransportationDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Transportation zu tun
(=>     (instance ?E Elevator)     (and         (capability MotionUpward instrument ?E)         (capability MotionDownward instrument ?E)))	Mid-level-ontology.kif 15441-15445	Wenn Object ist ein fall von Elevator %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument MotionUpward zu tun und ** Object ist faehig %n{nicht}, in der Rolle instrument MotionDownward zu tun
(=>     (instance ?E Exhaust)     (modalAttribute         (capability Seeing patient ?E) Possibility))	Cars.kif 1161-1165	Wenn Entity ist ein fall von Exhaust %n{nicht}, dann die Aussage ** Entity ist faehig %n{nicht}, in der Rolle patient Seeing zu tun hat die modale Kraft von Possibility
(=>     (instance ?E Exhaust)     (modalAttribute         (not             (capability Seeing patient ?E)) Possibility))	Cars.kif 1167-1172	Wenn Entity ist ein fall von Exhaust %n{nicht}, dann die Aussage ** Entity ist faehig nicht, in der Rolle patient Seeing zu tun hat die modale Kraft von Possibility
(=>     (instance ?E Eyelid)     (capability Covering instrument ?E))	Mid-level-ontology.kif 12158-12160	Wenn Object ist ein fall von Eyelid %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Covering zu tun
(=>     (instance ?EAR Ear)     (capability Hearing instrument ?EAR))	Mid-level-ontology.kif 12143-12145	Wenn Object ist ein fall von Ear %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Hearing zu tun
(=>     (instance ?EXPLOSION Explosion)     (capability Damaging instrument ?EXPLOSION))	Mid-level-ontology.kif 15842-15844	Wenn Object ist ein fall von Explosion %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Damaging zu tun
(=>     (instance ?EYE Eye)     (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 12109-12111	Wenn Object ist ein fall von Eye %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Seeing zu tun
(=>     (instance ?F Furniture)     (capability Translocation moves ?F))	Mid-level-ontology.kif 3706-3708	Wenn Object ist ein fall von Furniture %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle moves Translocation zu tun
(=>     (instance ?F LightBulb)     (capability RadiatingLight instrument ?F))	Cars.kif 5095-5097	Wenn Object ist ein fall von LightBulb %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument RadiatingLight zu tun
(=>     (instance ?F LightFixture)     (capability RadiatingLight instrument ?F))	Mid-level-ontology.kif 3018-3020	Wenn Object ist ein fall von LightFixture %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument RadiatingLight zu tun
(=>     (instance ?F Plant)     (capability Farming patient ?F))	Mid-level-ontology.kif 20515-20517	Wenn Object ist ein fall von Plant %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Farming zu tun
(=>     (instance ?FE FireExtinguisher)     (exists (?PERSON)         (and             (instance ?PERSON Human)             (capability Carrying instrument ?PERSON))))	Mid-level-ontology.kif 25489-25494	Wenn Entity ist ein fall von FireExtinguisher %n{nicht}, dann es gibt Object um ** Object ist ein fall von Human %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle instrument Carrying zu tun
(=>     (instance ?GLM GroundLaunchMissile)     (not         (capability TakingOff patient ?GLM)))	MilitaryDevices.kif 963-966	Wenn Object ist ein fall von GroundLaunchMissile %n{nicht}, dann ** Object ist faehig nicht, in der Rolle patient TakingOff zu tun
(=>     (instance ?GUN Gun)     (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1165-1167	Wenn Object ist ein fall von Gun %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Shooting zu tun
(=>     (instance ?H HoistingDevice)     (capability MotionDownward instrument ?H))	Mid-level-ontology.kif 2489-2491	Wenn Object ist ein fall von HoistingDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument MotionDownward zu tun
(=>     (instance ?H HoistingDevice)     (capability MotionUpward instrument ?H))	Mid-level-ontology.kif 2485-2487	Wenn Object ist ein fall von HoistingDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument MotionUpward zu tun
(=>     (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 15275-15283	Wenn Physical ist ein fall von Hinge %n{nicht}, dann ** Physical hat Zweck von es gibt entity und ** entity um ** Physical schleisst ** entity und ** ** entity an und ** entity ist faehig %n{nicht}, in der Rolle patient Rotating zu tun oder ** ** entity ist faehig %n{nicht}, in der Rolle patient Rotating zu tun %n{nicht}
(=>     (instance ?HT HandTool)     (capability Carrying objectTransferred ?HT))	Cars.kif 4484-4486	Wenn Object ist ein fall von HandTool %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle objectTransferred Carrying zu tun
(=>     (instance ?I Intestine)     (capability Digesting instrument ?I))	Mid-level-ontology.kif 12037-12039	Wenn Object ist ein fall von Intestine %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Digesting zu tun
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