(=>     (instance ?PD PaintingDevice)     (capability Painting instrument ?PD))	Mid-level-ontology.kif 3258-3260	Wenn Object ist ein fall von PaintingDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Painting zu tun
(=>     (instance ?PKU PeacekeepingUnit)     (capability         (KappaFn ?P             (and                 (instance ?P Process)                 (instance ?V ViolentContest)                 (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	Wenn Object ist ein fall von PeacekeepingUnit %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent die kategorie die SymbolicString beschreibt zu tun
(=>     (instance ?PLACE RestaurantBuilding)     (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 7292-7294	Wenn Object ist ein fall von RestaurantBuilding %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle eventLocated Cooking zu tun
(=>     (instance ?POCKET Pocket)     (capability Keeping instrument ?POCKET))	Mid-level-ontology.kif 5426-5428	Wenn Object ist ein fall von Pocket %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Keeping zu tun
(=>     (instance ?POWDER Fallout)     (capability RadiatingNuclear instrument ?POWDER))	Mid-level-ontology.kif 8961-8963	Wenn Object ist ein fall von Fallout %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument RadiatingNuclear zu tun
(=>     (instance ?PROJECTILE Projectile)     (capability Shooting patient ?PROJECTILE))	Mid-level-ontology.kif 1117-1119	Wenn Object ist ein fall von Projectile %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Shooting zu tun
(=>     (instance ?R Ramp)     (capability MotionDownward path ?R))	Mid-level-ontology.kif 2370-2372	Wenn Object ist ein fall von Ramp %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle path MotionDownward zu tun
(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2366-2368	Wenn Object ist ein fall von Ramp %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle path MotionUpward zu tun
(=>     (instance ?R Rotor)     (capability Rotating instrument ?R))	engineering.kif 783-785	Wenn Object ist ein fall von Rotor %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Rotating zu tun
(=>     (instance ?RADAR Radar)     (capability RadiatingElectromagnetic agent ?RADAR))	Mid-level-ontology.kif 2594-2596	Wenn Object ist ein fall von Radar %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent RadiatingElectromagnetic zu tun
(=>     (instance ?RADIO RadioReceiver)     (capability RadioBroadcasting patient ?RADIO))	Mid-level-ontology.kif 15801-15803	Wenn Object ist ein fall von RadioReceiver %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient RadioBroadcasting zu tun
(=>     (instance ?RB NonRechargeableBattery)     (not         (capability Charging destination ?RB)))	Cars.kif 2452-2455	Wenn Object ist ein fall von NonRechargeableBattery %n{nicht}, dann ** Object ist faehig nicht, in der Rolle bestimmungsort Charging zu tun
(=>     (instance ?RB RechargeableBattery)     (capability Charging destination ?RB))	Cars.kif 2443-2445	Wenn Object ist ein fall von RechargeableBattery %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle bestimmungsort Charging zu tun
(=>     (instance ?S ExplosiveSubstance)     (capability Explosion instrument ?S))	Mid-level-ontology.kif 17864-17866	Wenn Object ist ein fall von ExplosiveSubstance %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Explosion zu tun
(=>     (instance ?S Saliva)     (capability Drooling patient ?S))	Mid-level-ontology.kif 6578-6580	Wenn Object ist ein fall von Saliva %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Drooling zu tun
(=>     (instance ?S Sewing)     (capability Clothing patient ?S))	Mid-level-ontology.kif 5622-5624	Wenn Object ist ein fall von Sewing %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Clothing zu tun
(=>     (instance ?S Sewing)     (capability Fabric patient ?S))	Mid-level-ontology.kif 5618-5620	Wenn Object ist ein fall von Sewing %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Fabric zu tun
(=>     (instance ?S Soil)     (capability Salination patient ?S))	Geography.kif 2911-2913	Wenn Object ist ein fall von Soil %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Salination zu tun
(=>     (instance ?S Stairway)     (and         (capability MotionUpward instrument ?S)         (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 15066-15070	Wenn Object ist ein fall von Stairway %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 ?S Stomach)     (capability Digesting instrument ?S))	Mid-level-ontology.kif 12028-12030	Wenn Object ist ein fall von Stomach %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Digesting zu tun
(=>     (instance ?S Water)     (capability Salination patient ?S))	Geography.kif 2907-2909	Wenn Object ist ein fall von Water %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Salination zu tun
(=>     (instance ?SADDLE Saddle)     (exists (?RIDE)         (capability             (KappaFn ?RIDE                 (exists (?HUMAN ?HORSE)                     (and                         (instance ?RIDE Carrying)                         (patient ?RIDE ?HUMAN)                         (instance ?HUMAN Human)                         (agent ?RIDE ?HORSE)                         (instance ?HORSE Horse)))) instrument ?SADDLE)))	Mid-level-ontology.kif 4326-4337	Wenn Object ist ein fall von Saddle %n{nicht}, dann es gibt SymbolicString um ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** SymbolicString beschreibt zu tun
(=>     (instance ?SONAR Sonar)     (capability RadiatingSound agent ?SONAR))	Mid-level-ontology.kif 2626-2628	Wenn Object ist ein fall von Sonar %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent RadiatingSound zu tun
(=>     (instance ?SPEAKER SpeakerDevice)     (capability RadiatingSound instrument ?SPEAKER))	ComputerInput.kif 480-482	Wenn Object ist ein fall von SpeakerDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument RadiatingSound zu tun
(=>     (instance ?STEPS Steps)     (and         (capability MotionUpward instrument ?STEPS)         (capability MotionDownward instrument ?STEPS)))	Mid-level-ontology.kif 15090-15094	Wenn Object ist ein fall von Steps %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
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