(=>
(and
(instance ?LANG AnimalLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(and
(instance ?AGENT Animal)
(not
(instance ?AGENT 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 |
(=>
(and
(instance ?LANG ComputerLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(instance ?AGENT 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 |
(=>
(and
(instance ?LANG HumanLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(instance ?AGENT 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 |
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?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 |
(=>
(and
(instance ?SI
(ImpairmentFn ?S))
(instrument ?SI ?A))
(exists (?A2)
(and
(not
(equal ?A2 ?A))
(capability ?S instrument ?A2)
(not
(capability ?S instrument ?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 |
(=>
(and
(instance ?C Covering)
(patient ?C ?P)
(instrument ?C ?I))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(covers ?I ?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 |
(=>
(and
(instance ?TRANSPORT Vehicle)
(instance ?MOVE Translocation)
(instrument ?MOVE ?TRANSPORT)
(origin ?MOVE ?FROM))
(holdsDuring
(BeginFn
(WhenFn ?MOVE))
(located ?TRANSPORT ?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 |
(=>
(and
(instance ?TRANSPORT Vehicle)
(instance ?MOVE Translocation)
(instrument ?MOVE ?TRANSPORT)
(destination ?MOVE ?TO))
(holdsDuring
(BeginFn
(WhenFn ?MOVE))
(located ?TRANSPORT ?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 |
(=>
(and
(instance ?G Gun)
(instance ?B GunBarrel)
(part ?B ?G)
(instance ?S Shooting)
(instrument ?S ?G)
(patient ?S ?P)
(instance ?P Projectile))
(exists (?SUB)
(and
(subProcess ?SUB ?S)
(path ?SUB ?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 |
(=>
(and
(instance ?S Shooting)
(instrument ?S ?G)
(instance ?G Gun))
(exists (?C ?I ?B)
(and
(instance ?C GunChamber)
(part ?C ?G)
(instance ?I Inserting)
(instance ?B BulletCartridge)
(destination ?I ?C)
(objectTransferred ?I ?B)
(before
(EndFn
(WhenFn ?I))
(BeginFn
(WhenFn ?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 |
(=>
(and
(instance ?S Shooting)
(instance ?G Gun)
(instrument ?S ?G))
(exists (?E ?GB ?B ?C ?M)
(and
(subProcess ?E ?S)
(instance ?E Exiting)
(eventLocated ?E ?GB)
(instance ?GB GunBarrel)
(part ?GB ?G)
(objectTransferred ?E ?B)
(instance ?B Bullet)
(origin ?B ?C)
(instance ?C BulletCartridge)
(located ?C ?GB)
(path ?E ?GB)
(entrance ?M ?GB)
(instance ?M 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 |
(=>
(and
(instance ?DEV ElectricDevice)
(instance ?EV Process)
(instrument ?EV ?DEV))
(exists (?R)
(and
(instance ?R Electricity)
(resource ?EV ?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 |
(=>
(and
(instance ?D AnimalPoweredDevice)
(instrument ?P ?D))
(exists (?A)
(and
(instance ?A Animal)
(instrument ?P ?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 |
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?C)
(instance ?C Clock))
(instance ?Q 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 |
(=>
(and
(instance ?MEASURE Measuring)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?THERMOMETER)
(instance ?THERMOMETER Thermometer))
(instance ?QUANTITY 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 |
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?T)
(instance ?T Thermometer))
(instance ?Q 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 |
(=>
(and
(instance ?CRAFT WaterVehicle)
(instance ?EVENT Transportation)
(instrument ?EVENT ?CRAFT))
(exists (?WATER)
(and
(instance ?WATER WaterArea)
(eventLocated ?EVENT ?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 |
(=>
(and
(instance ?A Anchor)
(instance ?ATTACH Attaching)
(instrument ?ATTACH ?A)
(patient ?ATTACH ?S))
(instance ?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 |
(=>
(and
(instance ?S Sweeping)
(instrument ?S ?B))
(instance ?B 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 |
(=>
(and
(instance ?R RecreationOrExercise)
(instrument ?R ?RM)
(instance ?RM RowingMachine)
(experiencer ?R ?H)
(instance ?ROW Rowing)
(subProcess ?RMOT ?R)
(subclass ?C BodyMotion)
(instance ?RMOT ?C))
(exists (?ROWMOT)
(and
(instance ?ROWMOT ?C)
(subProcess ?ROWMOT ?R)
(agent ?ROWMOT ?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 |
(=>
(and
(instance ?M Muscle)
(instance ?BM BodyMotion)
(instrument ?BM ?M)
(instance ?BM IntentionalProcess))
(instance ?M 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 |
(=>
(and
(antagonistMuscles ?A ?B)
(instance ?F Flexion)
(instrument ?F ?AC)
(moves ?F ?BC)
(instance ?AC ?A)
(instance ?BC ?B)
(part ?AC ?H)
(part ?BC ?H)
(instance ?H Animal))
(capability Extension instrument ?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 |
(=>
(and
(antagonistMuscles ?A ?B)
(instance ?E Extension)
(instrument ?E ?AC)
(moves ?E ?BC)
(instance ?AC ?A)
(instance ?BC ?B)
(part ?AC ?H)
(part ?BC ?H)
(instance ?H Animal))
(capability Flexion instrument ?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 |
(=>
(and
(instance ?ARTERY Artery)
(instance ?TRANSFER Transfer)
(patient ?TRANSFER ?BLOOD)
(instrument ?TRANSFER ?ARTERY)
(instance ?BLOOD Blood))
(exists (?HEART)
(and
(instance ?HEART Heart)
(origin ?TRANSFER ?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 |
(=>
(and
(instance ?V Vein)
(instance ?T Transfer)
(patient ?T ?B)
(instrument ?T ?V)
(instance ?B Blood))
(exists (?H)
(and
(instance ?H Heart)
(destination ?T ?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 |
