(=>     (instance ?T MilitaryFoodTruck)     (capability         (KappaFn ?P             (and                 (instance ?P Transportation)                 (instance ?F                     (FoodForFn Animal))                 (patient ?P ?F))) instrument ?T))	Military.kif 210-218	Wenn Object ist ein fall von MilitaryFoodTruck %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die SymbolicString beschreibt zu tun
(=>     (instance ?T TankCar)     (exists (?TRANS)         (capability             (KappaFn ?TRANS                 (exists (?L ?T)                     (and                         (instance ?L Liquid)                         (instance ?TRANS Transportation)                         (patient ?TRANS ?L)))) instrument ?T)))	Transportation.kif 2236-2246	Wenn Object ist ein fall von TankCar %n{nicht}, dann es gibt ** ObjectRANS um ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** ObjectRANS beschreibt zu tun
(=>     (instance ?T TelevisionReceiver)     (capability TelevisionBroadcasting patient ?T))	Communications.kif 394-396	Wenn Object ist ein fall von TelevisionReceiver %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient TelevisionBroadcasting zu tun
(=>     (instance ?TEAM BaseballTeam)     (capability Baseball agent ?TEAM))	Sports.kif 753-755	Wenn Object ist ein fall von BaseballTeam %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent Baseball zu tun
(=>     (instance ?TEAM SportsTeam)     (exists (?SPORT)         (and             (subclass ?SPORT Sport)             (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7527-7532	Wenn Object ist ein fall von SportsTeam %n{nicht}, dann es gibt ** Process um ** Process ist eine teilkategorie von Sport und ** Object ist faehig %n{nicht}, in der Rolle agent ** ** Process zu tun
(=>     (instance ?VEHICLE AmphibiousVehicle)     (capability LandingWaterLand instrument ?VEHICLE))	MilitaryDevices.kif 2026-2028	Wenn Object ist ein fall von AmphibiousVehicle %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument LandingWaterLand zu tun
(=>     (instance ?VEHICLE LandVehicle)     (capability LandTransportation instrument ?VEHICLE))	Mid-level-ontology.kif 17779-17781	Wenn Object ist ein fall von LandVehicle %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument LandTransportation zu tun
(=>     (instance ?W NuclearWeapon)     (capability RadiatingNuclear instrument ?W))	WMD.kif 136-138	Wenn Object ist ein fall von NuclearWeapon %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument RadiatingNuclear zu tun
(=>     (instance ?W SteeringWheel)     (capability DirectionChange instrument ?W))	Mid-level-ontology.kif 3408-3410	Wenn Object ist ein fall von SteeringWheel %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument DirectionChange zu tun
(=>     (instance ?WEAPON Weapon)     (capability Damaging instrument ?WEAPON))	Merge.kif 16050-16052	Wenn Object ist ein fall von Weapon %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Damaging zu tun
(=>     (instance ?X AudioRecording)     (exists (?EV)         (and             (instance ?EV RadiatingSound)             (represents ?X ?EV)             (capability RadiatingSound patient ?X))))	Mid-level-ontology.kif 14305-14311	Wenn Object ist ein fall von AudioRecording %n{nicht}, dann es gibt Entity um ** Entity ist ein fall von RadiatingSound %n{nicht} und ** Object drueckt ** Entity aus und ** Object ist faehig %n{nicht}, in der Rolle patient RadiatingSound zu tun
(=>     (instance ?X CuttingDevice)     (capability Cutting ?X instrument))	Mid-level-ontology.kif 21997-21999	Wenn CaseRole ist ein fall von CuttingDevice %n{nicht}, dann instrument ist faehig %n{nicht}, in der Rolle ** CaseRole Cutting zu tun
(=>     (instance ?X DeletingData)     (and         (exists (?DATA)             (and                 (instance ?DATA DigitalData)                 (patient ?X ?DATA)))         (not             (exists (?PROC ?CLASS)                 (and                     (instance ?PROC ComputerProcess)                     (instance ?PROC ?CLASS)                     (not                         (instance ?PROC RestoringData))                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?X))                         (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	Wenn Process ist ein fall von DeletingData %n{nicht}, dann es gibt Entity um ** Entity ist ein fall von DigitalData %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und es gibt nicht ** Entity und Class um ** ** Entity ist ein fall von ComputerProcess %n{nicht} und ** ** Entity ist ein fall von ** Class %n{nicht} und ** ** Entity ist ein fall von RestoringData nicht und ** Entity ist faehig %n{nicht}, in der Rolle patient ** Class zu tun haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=>     (instance ?X Key)     (hasPurpose ?X         (exists (?LOCK ?CLOSE ?OPEN)             (and                 (instance ?LOCK Lock)                 (capability                     (KappaFn ?CLOSE                         (and                             (instance ?CLOSE Closing)                             (patient ?CLOSE ?LOCK)                             (holdsDuring                                 (ImmediateFutureFn ?CLOSE)                                 (attribute ?LOCK Locked)))) instrument ?X)                 (capability                     (KappaFn ?OPEN                         (and                             (instance ?OPEN Closing)                             (patient ?OPEN ?LOCK)                             (holdsDuring                                 (ImmediateFutureFn ?OPEN)                                 (not                                     (attribute ?LOCK Locked))))) instrument ?X)))))	Mid-level-ontology.kif 2670-2692	Wenn Physical ist ein fall von Key %n{nicht}, dann ** Physical hat Zweck von es gibt entity, ** entity, and und ** entity um ** entity ist ein fall von Lock %n{nicht} und ** Physical ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** ** entity beschreibt zu tun und ** Physical ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** ** entity beschreibt zu tun %n{nicht}
(=>     (instance ?X MusicText)     (capability MakingMusic patient ?X))	Mid-level-ontology.kif 14423-14425	Wenn Object ist ein fall von MusicText %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient MakingMusic zu tun
(=>     (instance ?X RemoteKeylessSystem)     (exists (?KEY ?LOCK ?CLOSE ?OPEN)         (and             (instance ?KEY Key)             (instance ?KEY RemoteControl)             (member ?KEY ?X)             (instance ?LOCK Lock)             (member ?LOCK ?X)             (capability                 (KappaFn ?CLOSE                     (and                         (instance ?CLOSE Closing)                         (patient ?CLOSE ?LOCK)                         (holdsDuring                             (ImmediateFutureFn ?CLOSE)                             (attribute ?LOCK Locked)))) instrument ?KEY)             (capability                 (KappaFn ?OPEN                     (and                         (instance ?OPEN Closing)                         (patient ?OPEN ?LOCK)                         (holdsDuring                             (ImmediateFutureFn ?OPEN)                             (not                                 (attribute ?LOCK Locked))))) instrument ?KEY))))	Cars.kif 3783-3808	Wenn Collection ist ein fall von RemoteKeylessSystem %n{nicht}, dann es gibt Object, Physical,, , SymbolicString, and und ** SymbolicString um ** Object ist ein fall von Key %n{nicht} und ** Object ist ein fall von RemoteControl %n{nicht} und ** Object ist ein Mitglied von ** Collection %n{nicht} und ** Physical ist ein fall von Lock %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** SymbolicString beschreibt zu tun und ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die ** ** SymbolicString beschreibt zu tun
(=>     (instance ?X RestoringData)     (exists (?DEL ?PROC ?DATA ?CLASS)         (and             (instance ?DEL DeletingData)             (instance ?DATA DigitalData)             (patient ?X ?DATA)             (patient ?DEL ?DATA)             (earlier                 (WhenFn ?DEL)                 (WhenFn ?X))             (instance ?PROC ComputerProcess)             (instance ?PROC ?CLASS)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?X))                 (capability ?CLASS patient ?DATA)))))	QoSontology.kif 135-151	Wenn Process ist ein fall von RestoringData %n{nicht}, dann es gibt ** Process, Entity,, , ** Entity, and und Class um ** ** Process ist ein fall von DeletingData %n{nicht} und ** ** Entity ist ein fall von DigitalData %n{nicht} und ** ** Entity ist ein patient von ** Process %n{nicht} und ** ** Entity ist ein patient von ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht} und ** Entity ist ein fall von ComputerProcess %n{nicht} und ** Entity ist ein fall von ** Class %n{nicht} und ** ** Entity ist faehig %n{nicht}, in der Rolle patient ** Class zu tun haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=>     (instance ?X RetailStore)     (and         (capability Selling agent ?X)         (exists (?P ?EV)             (and                 (instance ?EV Selling)                 (destination ?EV ?P)                 (instance ?P Human)))))	Mid-level-ontology.kif 7780-7788	Wenn Object ist ein fall von RetailStore %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent Selling zu tun und es gibt Entity und Process um ** Process ist ein fall von Selling %n{nicht} und ** Process endet an ** Entity %n{nicht} und ** Entity ist ein fall von Human %n{nicht}
(=>     (instance ?X Towel)     (capability Drying instrument ?X))	Mid-level-ontology.kif 5361-5363	Wenn Object ist ein fall von Towel %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Drying zu tun
(=>     (instance ?X VideoRecording)     (exists (?EV)         (and             (instance ?EV Process)             (represents ?X ?EV)             (capability RadiatingLight patient ?X))))	Mid-level-ontology.kif 14432-14438	Wenn Object ist ein fall von VideoRecording %n{nicht}, dann es gibt Entity um ** Entity ist ein fall von Process %n{nicht} und ** Object drueckt ** Entity aus und ** Object ist faehig %n{nicht}, in der Rolle patient RadiatingLight zu tun
(=>     (instance ?X Wheelchair)     (hasPurpose ?X         (exists (?TRANSPORT ?HUMAN)             (and                 (instance ?HUMAN Human)                 (not                     (capability Walking agent ?HUMAN))                 (instance ?TRANSPORT Transportation)                 (agent ?TRANSPORT ?HUMAN)                 (instrument ?TRANSPORT ?X)))))	Mid-level-ontology.kif 26126-26135	Wenn Physical ist ein fall von Wheelchair %n{nicht}, dann ** Physical hat Zweck von es gibt entity und ** entity um ** ** entity ist ein fall von Human %n{nicht} und ** ** entity ist faehig nicht, in der Rolle agent Walking zu tun und ** entity ist ein fall von Transportation %n{nicht} und ** entity ist der agent von ** ** entity %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=>     (propertyAmenity ?HR VideoCheckOut)     (exists (?VD ?ROOM)         (and             (instance ?VD VideoDisplay)             (capability VideoCheckOut instrument ?VD)             (located ?VD ?ROOM)             (instance ?ROOM ?HR))))	Hotel.kif 2231-2238	Wenn propertyAmenity AutonomousAgent and VideoCheckOut, dann es gibt Object und ** Object um ** Object ist ein fall von VideoDisplay %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle instrument VideoCheckOut zu tun und ** Object befindet sich an %n{nicht} und ** ** Object ist ein fall von ** AutonomousAgent %n{nicht}
(=>     (qualifiedExperiment ?EXPERIMENT ?VISITOR)     (and         (instance ?EXPERIMENT ?CLASS)         (capability ?CLASS experimentalSubject ?VISITOR)))	UXExperimentalTerms.kif 4061-4065	Wenn qualifiedExperiment Experimenting and Human, dann ** Experimenting ist ein fall von ** Process %n{nicht} und ** Human ist faehig %n{nicht}, in der Rolle experimentalSubject ** Process zu tun
(=>     (qualifiedTreatment ?TREATMENT ?VISITOR)     (exists (?PROCESS ?CLASS)         (and             (instance ?PROCESS ?CLASS)             (member ?PROCESS ?TREATMENT)             (capability ?CLASS experiencer ?VISITOR))))	UXExperimentalTerms.kif 4102-4108	Wenn qualifiedTreatment Collection and Human, dann es gibt Physical und ** Process um ** Physical ist ein fall von ** Process %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** Human ist faehig %n{nicht}, in der Rolle experiencer ** ** Process zu tun
(=>     (siteCatalog ?DATABASE ?WEBSITE)     (exists (?PART ?PRODUCTS ?BUYING)         (and             (instance ?PRODUCTS Collection)             (part ?PART ?DATABASE)             (represents ?PART ?PRODUCTS)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?PRODUCTS)                     (and                         (instance ?MEMBER Physical)                         (capability                             (KappaFn ?BUYING                                 (and                                     (instance ?BUYING Buying)                                     (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER)))))))	UXExperimentalTerms.kif 2242-2259	Wenn siteCatalog Database and WebSite, dann es gibt Object, Collection, and und SymbolicString um ** Collection ist ein fall von Collection %n{nicht} und ** Object ist ein teil von ** Database %n{nicht} und ** Object drueckt ** Collection aus und fuer alle ** Object wenn ** ** Object ist ein Mitglied von ** Collection %n{nicht}, dann ** ** Object ist ein fall von Physical %n{nicht} und ** ** Object ist faehig %n{nicht}, in der Rolle patient die kategorie die ** SymbolicString beschreibt 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