Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - instrument
instrument

appearance as argument number 1
-------------------------


s__subrelation(s__instrument,s__patient)

 Merge.kif 2576-2576 instrument is a subrelation of patient
s__instance(s__instrument,s__CaseRole)

 Merge.kif 2577-2577 instrument is an instance of case role
s__instance(s__instrument,s__PartialValuedRelation)

 Merge.kif 2578-2578 instrument is an instance of partial valued relation
s__domain(s__instrument,n__1,s__Process)

 Merge.kif 2579-2579 The number 1 argument of instrument is an instance of process
s__domain(s__instrument,n__2,s__Object)

 Merge.kif 2580-2580 The number 2 argument of instrument is an instance of object
s__documentation(s__instrument, s__EnglishLanguage, "(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT_ For example, the key is an instrument in the following proposition: The key opened the door_ Note that instrument and resource cannot be satisfied by the same ordered pair_") Merge.kif 2582-2586 The number 2 argument of instrument is an instance of object

appearance as argument number 2
-------------------------


s__disjointRelation(s__resource,s__instrument)

 Merge.kif 2622-2622 resource and instrument are disjoint
s__disjointRelation(s__result,s__instrument)

 Merge.kif 2623-2623 result and instrument are disjoint
s__subrelation(s__reagent,s__instrument)

 Mid-level-ontology.kif 10172-10172 reagent is a subrelation of instrument
s__subrelation(s__conveyance,s__instrument)

 Mid-level-ontology.kif 25850-25850 conveyance is a subrelation of instrument
s__subrelation(s__computerRunning,s__instrument)

 QoSontology.kif 194-194 computer running is a subrelation of instrument
s__subrelation(s__standardInputDevice,s__instrument)

 QoSontology.kif 594-594 standard input device is a subrelation of instrument
s__subrelation(s__standardOutputDevice,s__instrument)

 QoSontology.kif 608-608 standard output device is a subrelation of instrument
s__subrelation(s__standardErrorDevice,s__instrument)

 QoSontology.kif 625-625 standard error device is a subrelation of instrument
s__subrelation(s__eCommerceSite,s__instrument)

 UXExperimentalTerms.kif 1710-1710 e_commerce site is a subrelation of instrument
s__subrelation(s__serviceInstrument,s__instrument)

 TravelPolicies.kif 768-768 serviceInstrument is a subrelation of instrument
s__termFormat(s__EnglishLanguage, s__instrument, "instrument") domainEnglishFormat.kif 30261-30261 serviceInstrument is a subrelation of instrument
s__termFormat(s__ChineseTraditionalLanguage, s__instrument, "儀器") domainEnglishFormat.kif 30262-30262 serviceInstrument is a subrelation of instrument
s__termFormat(s__ChineseLanguage, s__instrument, "仪器") domainEnglishFormat.kif 30263-30263 serviceInstrument is a subrelation of instrument
s__format(s__EnglishLanguage, s__instrument, "%2 is %n an instrument for %1") english_format.kif 136-136 serviceInstrument is a subrelation of instrument

antecedent
-------------------------


! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__AnimalLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   (s__instance(V__AGENT,s__Animal) &
     ~(s__instance(V__AGENT,s__Human)))))
)

 Merge.kif 1509-1516 If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human
! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__ComputerLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   s__instance(V__AGENT,s__Machine)))
)

 Merge.kif 1528-1533 If X is an instance of computer language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of machine
! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__HumanLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   s__instance(V__AGENT,s__Human)))
)

 Merge.kif 1542-1547 If X is an instance of human language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of human
! [V__AGENT : $i,V__INST : $i,V__OBJ : $i,V__POKE : $i] : (((s__instance(V__POKE, s__Poking) & s__agent(V__POKE, V__AGENT) & s__patient(V__POKE, V__OBJ) & s__instrument(V__POKE, V__INST)) => s__holdsDuring(s__WhenFn(V__POKE), s__connects(V__INST, V__AGENT, V__OBJ)))) Merge.kif 12621-12627 If X is an instance of poking, Y is an agent of X, Z is a patient of X, and W is an instrument for X, then W connects Y and Z holds during the time of existence of X
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__PhysiologicProcess) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__Object))
     =>
     ((s__instance(V__SI,s__ImpairmentFn(V__S))
     &
     s__instrument(V__SI,V__A))
=>
(? [V__A2] :
   ((s__instance(V__A2,s__Object) &
       (~((V__A2 = V__A))
         &
         s__capability(V__S,s__instrument,V__A2)
       &
       ~(s__capability(V__S,s__instrument,V__A))))))))
)

 Merge.kif 13784-13794 If X is an instance of impairment in Y and Z is an instrument for X, then there exists W such that equal W, Z, W is capable of doing Y as a instrument, and Z is not capable of doing Y as a instrument
! [V__C : $i,V__I : $i,V__P : $i] : (((s__instance(V__C, s__Covering) & s__patient(V__C, V__P) & s__instrument(V__C, V__I)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__covers(V__I, V__P)))) Merge.kif 16234-16242 If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X
! [V__FROM : $i,V__MOVE : $i,V__TRANSPORT : $i] : (((s__instance(V__TRANSPORT, s__Vehicle) & s__instance(V__MOVE, s__Translocation) & s__instrument(V__MOVE, V__TRANSPORT) & s__origin(V__MOVE, V__FROM)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__MOVE)), s__located(V__TRANSPORT, V__FROM)))) Merge.kif 16337-16343 If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y
! [V__MOVE : $i,V__TO : $i,V__TRANSPORT : $i] : (((s__instance(V__TRANSPORT, s__Vehicle) & s__instance(V__MOVE, s__Translocation) & s__instrument(V__MOVE, V__TRANSPORT) & s__destination(V__MOVE, V__TO)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__MOVE)), s__located(V__TRANSPORT, V__TO)))) Merge.kif 16345-16351 If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y
! [V__G,V__B,V__S,V__P] :
(((s__instance(V__G,s__Gun) &
       s__instance(V__B,s__GunBarrel) &
       s__part(V__B,V__G)
     &
     s__instance(V__S,s__Shooting) &
     s__instrument(V__S,V__G)
   &
   s__patient(V__S,V__P)
&
s__instance(V__P,s__Projectile))
=>
(? [V__SUB] :
((s__instance(V__SUB,s__Motion) &
     (s__subProcess(V__SUB,V__S)
     &
     s__path(V__SUB,V__B))))))
)

 Mid-level-ontology.kif 1336-1348 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs
! [V__S,V__G] :
(((s__instance(V__S,s__Shooting) &
       s__instrument(V__S,V__G)
     &
     s__instance(V__G,s__Gun))
   =>
   (? [V__C,V__I,V__B] :
     ((s__instance(V__C,s__GunChamber) &
         s__part(V__C,V__G)
       &
       s__instance(V__I,s__Inserting) &
       s__instance(V__B,s__BulletCartridge) &
       s__destination(V__I,V__C)
     &
     s__objectTransferred(V__I,V__B)
   &
   s__before(s__EndFn(s__WhenFn(V__I))
,s__BeginFn(s__WhenFn(V__S)))))))
)

 Mid-level-ontology.kif 1372-1387 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of gun, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of gun chamber (3) Z is a part of Y (4) W is an instance of inserting (5) V is an instance of bullet cartridge (6) W ends up at Z (7) the object transferred in W is V (8) the end of the time of existence of W happens before the beginning of the time of existence of X
! [V__S,V__G] :
(((s__instance(V__S,s__Shooting) &
       s__instance(V__G,s__Gun) &
       s__instrument(V__S,V__G))
   =>
   (? [V__E,V__GB,V__B,V__C,V__M] :
     ((s__subProcess(V__E,V__S)
       &
       s__instance(V__E,s__Exiting) &
       s__eventLocated(V__E,V__GB)
     &
     s__instance(V__GB,s__GunBarrel) &
     s__part(V__GB,V__G)
   &
   s__objectTransferred(V__E,V__B)
&
s__instance(V__B,s__Bullet) &
s__origin(V__B,V__C)
&
s__instance(V__C,s__BulletCartridge) &
s__located(V__C,V__GB)
&
s__path(V__E,V__GB)
&
s__entrance(V__M,V__GB)
&
s__instance(V__M,s__GunMuzzle)))))
)

 Mid-level-ontology.kif 1397-1416 If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle
! [V__DEV,V__EV] :
(((s__instance(V__DEV,s__ElectricDevice) &
       s__instance(V__EV,s__Process) &
       s__instrument(V__EV,V__DEV))
   =>
   (? [V__R] :
     ((s__instance(V__R,s__Electricity) &
         s__resource(V__EV,V__R)))))
)

 Mid-level-ontology.kif 3145-3153 If X is an instance of electric device, Y is an instance of process, and X is an instrument for Y, then there exists Z such that Z is an instance of electricity and Z is a resource for Y
! [V__P,V__D] :
((s__instance(V__P,s__Process) =>
     ((s__instance(V__D,s__AnimalPoweredDevice) &
         s__instrument(V__P,V__D))
     =>
     (? [V__A] :
       ((s__instance(V__A,s__Animal) &
           s__instrument(V__P,V__A))))))
)

 Mid-level-ontology.kif 3366-3373 If X is an instance of animal powered device and X is an instrument for Y, then there exists Z such that Z is an instance of animal and Z is an instrument for Y
! [V__M,V__Q,V__C] :
(((s__instance(V__M,s__Measuring) &
       s__result(V__M,V__Q)
     &
     s__instrument(V__M,V__C)
   &
   s__instance(V__C,s__Clock))
=>
s__instance(V__Q,s__TimeMeasure))
)

 Mid-level-ontology.kif 3513-3519 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of clock, then Y is an instance of time measure
! [V__MEASURE,V__QUANTITY,V__THERMOMETER] :
(((s__instance(V__MEASURE,s__Measuring) &
       s__result(V__MEASURE,V__QUANTITY)
     &
     s__instrument(V__MEASURE,V__THERMOMETER)
   &
   s__instance(V__THERMOMETER,s__Thermometer))
=>
s__instance(V__QUANTITY,s__TemperatureMeasure))
)

 Mid-level-ontology.kif 3537-3543 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure
! [V__M,V__Q,V__T] :
(((s__instance(V__M,s__Measuring) &
       s__result(V__M,V__Q)
     &
     s__instrument(V__M,V__T)
   &
   s__instance(V__T,s__Thermometer))
=>
s__instance(V__Q,s__TemperatureMeasure))
)

 Mid-level-ontology.kif 3549-3555 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure
! [V__CRAFT,V__EVENT] :
(((s__instance(V__CRAFT,s__WaterVehicle) &
       s__instance(V__EVENT,s__Transportation) &
       s__instrument(V__EVENT,V__CRAFT))
   =>
   (? [V__WATER] :
     ((s__instance(V__WATER,s__WaterArea) &
         s__eventLocated(V__EVENT,V__WATER)))))
)

 Mid-level-ontology.kif 4125-4133 If X is an instance of water vehicle, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Z is an instance of water area and Y is located at Z
! [V__A,V__ATTACH,V__S] :
(((s__instance(V__A,s__Anchor) &
       s__instance(V__ATTACH,s__Attaching) &
       s__instrument(V__ATTACH,V__A)
     &
     s__patient(V__ATTACH,V__S))
=>
s__instance(V__S,s__WaterVehicle))
)

 Mid-level-ontology.kif 4888-4894 If X is an instance of anchor, Y is an instance of attaching, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of water vehicle
! [V__B,V__S] :
((s__instance(V__B,s__Object) =>
     ((s__instance(V__S,s__Sweeping) &
         s__instrument(V__S,V__B))
     =>
     s__instance(V__B,s__Broom)))
)

 Mid-level-ontology.kif 6687-6691 If X is an instance of sweeping and Y is an instrument for X, then Y is an instance of broom
! [V__H,V__RMOT,V__C,V__R,V__RM,V__ROW] :
(((s__instance(V__H,s__AutonomousAgent) &
       s__instance(V__RMOT,s__Process) &
       s__instance(V__C,s__Class))
     =>
     ((s__instance(V__R,s__RecreationOrExercise) &
         s__instrument(V__R,V__RM)
       &
       s__instance(V__RM,s__RowingMachine) &
       s__experiencer(V__R,V__H)
     &
     s__instance(V__ROW,s__Rowing) &
     s__subProcess(V__RMOT,V__R)
   &
   s__subclass(V__C,s__BodyMotion) &
   s__instance(V__RMOT,V__C))
=>
(? [V__ROWMOT] :
((s__instance(V__ROWMOT,s__Process) &
     (s__instance(V__ROWMOT,V__C)
     &
     s__subProcess(V__ROWMOT,V__R)
   &
   s__agent(V__ROWMOT,V__H)))))))
)

 Mid-level-ontology.kif 9564-9578 If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T
! [V__M,V__BM] :
(((s__instance(V__M,s__Muscle) &
       s__instance(V__BM,s__BodyMotion) &
       s__instrument(V__BM,V__M)
     &
     s__instance(V__BM,s__IntentionalProcess))
   =>
   s__instance(V__M,s__VoluntaryMuscle))
)

 Mid-level-ontology.kif 11857-11863 If X is an instance of muscle, Y is an instance of body motion, X is an instrument for Y, and Y is an instance of intentional process, then X is an instance of voluntary muscle
! [V__A,V__B,V__AC,V__BC,V__F,V__H] :
(((s__instance(V__A,s__Class) &
       s__subclass(V__A,s__Muscle) &
       s__instance(V__B,s__Class) &
       s__subclass(V__B,s__Muscle) &
       s__instance(V__AC,s__Object) &
       s__instance(V__BC,s__Object))
     =>
     ((s__antagonistMuscles(V__A,V__B)
       &
       s__instance(V__F,s__Flexion) &
       s__instrument(V__F,V__AC)
     &
     s__moves(V__F,V__BC)
   &
   s__instance(V__AC,V__A)
&
s__instance(V__BC,V__B)
&
s__part(V__AC,V__H)
&
s__part(V__BC,V__H)
&
s__instance(V__H,s__Animal))
=>
s__capability(s__Extension,s__instrument,V__BC)))
)

 Mid-level-ontology.kif 12125-12136 If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument
! [V__A,V__B,V__AC,V__BC,V__E,V__H] :
(((s__instance(V__A,s__Class) &
       s__subclass(V__A,s__Muscle) &
       s__instance(V__B,s__Class) &
       s__subclass(V__B,s__Muscle) &
       s__instance(V__AC,s__Object) &
       s__instance(V__BC,s__Object))
     =>
     ((s__antagonistMuscles(V__A,V__B)
       &
       s__instance(V__E,s__Extension) &
       s__instrument(V__E,V__AC)
     &
     s__moves(V__E,V__BC)
   &
   s__instance(V__AC,V__A)
&
s__instance(V__BC,V__B)
&
s__part(V__AC,V__H)
&
s__part(V__BC,V__H)
&
s__instance(V__H,s__Animal))
=>
s__capability(s__Flexion,s__instrument,V__BC)))
)

 Mid-level-ontology.kif 12138-12149 If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument
! [V__ARTERY,V__TRANSFER,V__BLOOD] :
(((s__instance(V__ARTERY,s__Artery) &
       s__instance(V__TRANSFER,s__Transfer) &
       s__patient(V__TRANSFER,V__BLOOD)
     &
     s__instrument(V__TRANSFER,V__ARTERY)
   &
   s__instance(V__BLOOD,s__Blood))
=>
(? [V__HEART] :
   ((s__instance(V__HEART,s__Heart) &
       s__origin(V__TRANSFER,V__HEART)))))
)

 Mid-level-ontology.kif 12598-12608 If X is an instance of artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y originates at W
! [V__V,V__T,V__B] :
(((s__instance(V__V,s__Vein) &
       s__instance(V__T,s__Transfer) &
       s__patient(V__T,V__B)
     &
     s__instrument(V__T,V__V)
   &
   s__instance(V__B,s__Blood))
=>
(? [V__H] :
   ((s__instance(V__H,s__Heart) &
       s__destination(V__T,V__H)))))
)

 Mid-level-ontology.kif 12615-12625 If X is an instance of vein, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y ends up at W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


! [V__SURF,V__C] :
((s__instance(V__SURF,s__Object) =>
     (s__instance(V__C,s__Crater) =>
       (? [V__HOST,V__EVENT,V__METEOR,V__BOMB] :
         ((s__instance(V__HOST,s__SelfConnectedObject) &
             (s__hole(V__C,V__HOST)
             &
             s__superficialPart(V__SURF,s__HoleHostFn(V__C))
         &
         ((s__instance(V__EVENT,s__Impacting) &
             s__instrument(V__EVENT,V__METEOR)
           &
           s__instance(V__METEOR,s__Meteorite))
         |
         (s__instance(V__EVENT,s__Explosion) &
           s__instrument(V__EVENT,V__BOMB)
         &
         s__instance(V__BOMB,s__Bomb))
       |
       s__instance(V__EVENT,s__VolcanicEruption))
     &
     s__result(V__EVENT,V__C)))))))
)

 Merge.kif 1059-1075 If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z
! [V__OBJ,V__AGENT] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     (s__uses(V__OBJ,V__AGENT)
     =>
     (? [V__PROC] :
       ((s__instance(V__PROC,s__Process) &
           (s__agent(V__PROC,V__AGENT)
           &
           s__instrument(V__PROC,V__OBJ)))))))
)

 Merge.kif 4788-4793 If X uses Y, then there exists Z such that X is an agent of Z and Y is an instrument for Z
! [V__POISON] :
((s__instance(V__POISON,s__Poisoning) =>
     (? [V__SUBSTANCE] :
       ((s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
           s__instrument(V__POISON,V__SUBSTANCE)))))
)

 Merge.kif 10717-10722 If X is an instance of poisoning, then there exists Y such that Y is an instance of biologically active substance and Y is an instrument for X
! [V__CARRY] :
((s__instance(V__CARRY,s__Carrying) =>
     (? [V__ANIMAL] :
       ((s__instance(V__ANIMAL,s__Animal) &
           s__instrument(V__CARRY,V__ANIMAL)))))
)

 Merge.kif 11647-11652 If X is an instance of carrying, then there exists Y such that Y is an instance of animal and Y is an instrument for X
! [V__TRANS] :
((s__instance(V__TRANS,s__Transportation) =>
     (? [V__DEVICE] :
       ((s__instance(V__DEVICE,s__TransportationDevice) &
           s__instrument(V__TRANS,V__DEVICE)))))
)

 Merge.kif 11876-11881 If X is an instance of transportation, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__PhysiologicProcess) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__Object))
     =>
     ((s__instance(V__SI,s__ImpairmentFn(V__S))
     &
     s__instrument(V__SI,V__A))
=>
(? [V__A2] :
   ((s__instance(V__A2,s__Object) &
       (~((V__A2 = V__A))
         &
         s__capability(V__S,s__instrument,V__A2)
       &
       ~(s__capability(V__S,s__instrument,V__A))))))))
)

 Merge.kif 13784-13794 If X is an instance of impairment in Y and Z is an instrument for X, then there exists W such that equal W, Z, W is capable of doing Y as a instrument, and Z is not capable of doing Y as a instrument
! [V__M] :
((s__instance(V__M,s__MakingInstrumentalMusic) =>
     (? [V__I] :
       ((s__instance(V__I,s__MusicalInstrument) &
           s__instrument(V__M,V__I)))))
)

 Merge.kif 14018-14023 If X is an instance of instrumental music, then there exists Y such that Y is an instance of musical instrument and Y is an instrument for X
! [V__HORMONE] :
((s__instance(V__HORMONE,s__Hormone) =>
     (? [V__PROCESS,V__GLAND] :
       ((s__instance(V__PROCESS,s__Process) &
           (s__instance(V__GLAND,s__Gland) &
             s__instrument(V__PROCESS,V__GLAND)
           &
           s__result(V__PROCESS,V__HORMONE))))))
)

 Merge.kif 15157-15163 If X is an instance of hormone, then there exist Y, Z such that Z is an instance of gland, Z is an instrument for Y, and X is a result of Y
! [V__DEVICE] :
((s__instance(V__DEVICE,s__Device) =>
     (? [V__PROC] :
       ((s__subclass(V__PROC,s__Process) &
           s__capability(V__PROC,s__instrument,V__DEVICE)))))
)

 Merge.kif 16287-16290 If X is an instance of device, then there exists Y such that X is capable of doing Y as a instrument
! [V__DEVICE : $i] : ((s__instance(V__DEVICE, s__Device) => ( ? [V__PROC:$i] : (s__hasPurpose(V__DEVICE, ( ? [V__INST:$i] : ((s__instance(V__INST, V__PROC) & s__instrument(V__INST, V__DEVICE))))))))) Merge.kif 16292-16299 If X is an instance of device, then there exists Y such that X has the purpose there exists Z such that Z is an instance of Y and X is an instrument for Z
! [V__INSTRUMENT] :
((s__instance(V__INSTRUMENT,s__MusicalInstrument) =>
     s__capability(s__MakingMusic,s__instrument,V__INSTRUMENT))
)

 Merge.kif 16314-16316 If X is an instance of musical instrument, then X is capable of doing making music as a instrument
! [V__DEVICE] :
((s__instance(V__DEVICE,s__TransportationDevice) =>
     s__capability(s__Transportation,s__instrument,V__DEVICE))
)

 Merge.kif 16323-16325 If X is an instance of transportation device, then X is capable of doing transportation as a instrument
! [V__DEVICE : $i] : ((s__instance(V__DEVICE, s__MeasuringDevice) => s__hasPurpose(V__DEVICE, ( ? [V__MEASURE:$i] : ((s__instance(V__MEASURE, s__Measuring) & s__instrument(V__MEASURE, V__DEVICE))))))) Merge.kif 16357-16363 If X is an instance of measuring device, then X has the purpose there exists Y such that Y is an instance of measuring and X is an instrument for Y
! [V__DEVICE] :
((s__instance(V__DEVICE,s__AttachingDevice) =>
     (? [V__ATTACH] :
       ((s__instance(V__ATTACH,s__Attaching) &
           s__instrument(V__ATTACH,V__DEVICE)))))
)

 Merge.kif 16369-16374 If X is an instance of attaching device, then there exists Y such that Y is an instance of attaching and X is an instrument for Y
! [V__WEAPON] :
((s__instance(V__WEAPON,s__Weapon) =>
     s__capability(s__Damaging,s__instrument,V__WEAPON))
)

 Merge.kif 16381-16383 If X is an instance of weapon, then X is capable of doing damaging as a instrument
! [V__WEAPON : $i] : ((s__instance(V__WEAPON, s__Weapon) => s__hasPurpose(V__WEAPON, ( ? [V__D:$i, V__PATIENT:$i] : ((s__instance(V__D, s__Damaging) & s__instrument(V__D, V__WEAPON) & s__patient(V__D, V__PATIENT))))))) Merge.kif 16385-16392 If X is an instance of weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, and Z is a patient of Y
! [V__MACHINE] :
((s__instance(V__MACHINE,s__Machine) =>
     (! [V__PROC] :
       ((s__instance(V__PROC,s__Process) =>
           (s__instrument(V__PROC,V__MACHINE)
           =>
           (? [V__RESOURCE,V__RESULT] :
             ((s__instance(V__RESOURCE,s__Object) &
                 (s__resource(V__PROC,V__RESOURCE)
                 &
                 s__result(V__PROC,V__RESULT))))))))))
)

 Merge.kif 16403-16411 If X is an instance of machine, then For all Process Y: if X is an instrument for Y, then there exist Z, W such that Z is a resource for Y, and W is a result of Y
! [V__VOCAL] :
((s__instance(V__VOCAL,s__Vocalizing) =>
     (? [V__CORD,V__ORGANISM] :
       ((s__instance(V__CORD,s__VocalCords) &
           s__instrument(V__VOCAL,V__CORD)
         &
         s__part(V__CORD,V__ORGANISM)
       &
       s__instance(V__ORGANISM,s__Organism)))))
)

 Mid-level-ontology.kif 778-785 If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism
! [V__SHELL : $i] : ((s__instance(V__SHELL, s__ShotShell) => s__hasPurpose(V__SHELL, ( ? [V__S:$i, V__G:$i] : ((s__instance(V__S, s__Shooting) & s__instrument(V__S, V__G) & s__instance(V__G, s__Shotgun) & s__patient(V__S, V__SHELL))))))) Mid-level-ontology.kif 1129-1137 If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y
! [V__L] :
((s__instance(V__L,s__ProjectileLauncher) =>
     s__capability(s__Shooting,s__instrument,V__L))
)

 Mid-level-ontology.kif 1197-1199 If X is an instance of projectile launcher, then X is capable of doing shooting as a instrument
! [V__S] :
((s__instance(V__S,s__Shooting) =>
     (? [V__P,V__L] :
       ((s__instance(V__P,s__Projectile) &
           s__patient(V__S,V__P)
         &
         s__instance(V__L,s__ProjectileLauncher) &
         s__instrument(V__S,V__L)))))
)

 Mid-level-ontology.kif 1201-1208 If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of projectile launcher, and Z is an instrument for X
! [V__S] :
((s__instance(V__S,s__Spear) =>
     s__capability(s__Poking,s__instrument,V__S))
)

 Mid-level-ontology.kif 1216-1218 If X is an instance of spear, then X is capable of doing poking as a instrument
! [V__S] :
((s__instance(V__S,s__Spear) =>
     s__capability(s__Throwing,s__instrument,V__S))
)

 Mid-level-ontology.kif 1220-1222 If X is an instance of spear, then X is capable of doing throwing as a instrument
! [V__S : $i] : ((s__instance(V__S, s__Spear) => s__hasPurpose(V__S, ( ? [V__P:$i, V__A:$i] : ((s__instance(V__A, s__CognitiveAgent) & (s__instance(V__P, s__Poking) | s__instance(V__P, s__Hunting) | s__instance(V__P, s__Attacking)) & s__instrument(V__P, V__S) & s__agent(V__P, V__A))))))) Mid-level-ontology.kif 1235-1246 If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y
! [V__GUN] :
((s__instance(V__GUN,s__Gun) =>
     s__capability(s__Shooting,s__instrument,V__GUN))
)

 Mid-level-ontology.kif 1266-1268 If X is an instance of gun, then X is capable of doing shooting as a instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


! [V__T : $i] : (s__hasPurpose(s__IBookstore, ( ? [V__D:$i] : ((s__instance(V__D, s__DownloadingOverNetwork) & s__instrument(V__D, s__IBookstore) & s__instance(V__T, s__Text) & s__objectTransferred(V__D, V__T)))))) ComputingBrands.kif 3216-3222 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners