   Nutrient
|
|
Sigma KEE - eventLocated
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(eventLocated ?PROCESS ?OBJ)
(forall (?SUB)
(=>
(subProcess ?SUB ?PROCESS)
(eventLocated ?SUB ?OBJ)))) |
Merge.kif 4235-4240 |
If X is located at Y, then For all Process Z: if Z is a subprocess of X, then Z is located at Y |
(=>
(and
(prevents ?X ?P)
(equal
(WhenFn ?X) ?T)
(eventLocated ?X ?L))
(not
(holdsDuring ?T
(exists (?Y)
(and
(instance ?Y ?P)
(eventLocated ?Y ?L)))))) |
Merge.kif 4489-4499 |
If X prevents the occurrence of Y, equal the time of existence of X and Z, and X is located at W, then there doesn't exist V such that V is an instance of Y and V is located at W doesn't hold during Z |
(=>
(and
(instance ?AS ArtSchool)
(instance ?P EducationalProcess)
(eventLocated ?P ?AS))
(exists (?M ?ART)
(and
(instance ?M Making)
(patient ?M ?ART)
(instance ?ART ArtWork)
(refers ?P ?M)))) |
Mid-level-ontology.kif 18380-18390 |
If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z |
(=>
(and
(instance ?F Flooding)
(eventLocated ?F ?P))
(exists (?L1 ?L2 ?U)
(and
(instance ?U UnitOfLength)
(holdsDuring
(BeginFn
(WhenFn ?F))
(waterDepth ?P
(MeasureFn ?L1 ?U)))
(holdsDuring
(EndFn
(WhenFn ?F))
(waterDepth ?P
(MeasureFn ?L2 ?U)))
(greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 19505-19520 |
If X is an instance of flooding and X is located at Y, then there exist Z, W and V such that V is an instance of unit of length and Z V(s) is a water depth of Y holds during the beginning of the time of existence of X and W V(s) is a water depth of Y holds during the end of the time of existence of X and W is greater than Z |
(=>
(and
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)
(instance ?EVENT ?CLASS)
(subclass ?CLASS Process)
(time ?EVENT ?TIME)
(eventLocated ?EVENT ?PLACE))
(playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE)) |
Mid-level-ontology.kif 25578-25585 |
If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
(=>
(and
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)
(instance ?EVENT ?TYPE)
(subclass ?TYPE Process)
(time ?EVENT ?TIME)
(eventLocated ?EVENT ?PLACE))
(playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE)) |
Mid-level-ontology.kif 25607-25614 |
If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
(=>
(and
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)
(time ?EVENT ?TIME)
(eventLocated ?EVENT ?PLACE))
(locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 25630-25635 |
If X plays role in event Y for Z, Z exists during W, and Z is located at V, then X located at time W for V |
(=>
(and
(instance ?PROC Process)
(eventLocated ?PROC ?LOC)
(subProcess ?SUB ?PROC))
(eventLocated ?SUB ?LOC)) |
Mid-level-ontology.kif 25824-25829 |
If X is an instance of process, X is located at Y, and Z is a subprocess of X, then Z is located at Y |
(=>
(and
(instance ?F FourStrokeIntake)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(exists (?FV ?M)
(and
(instance ?M GasMotion)
(instance ?FV FuelVapor)
(subProcess ?M ?F)
(destination ?M ?I)
(patient ?M ?FV)))) |
Cars.kif 124-137 |
If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V |
(=>
(and
(instance ?F FourStrokeCompression)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(holdsDuring
(EndFn
(WhenFn ?F))
(attribute ?I Pressurized))) |
Cars.kif 144-153 |
If X is an instance of four stroke compression, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then pressurized is an attribute of Z holds during the end of the time of existence of X |
(=>
(and
(instance ?F FourStrokeCombustion)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(exists (?CO)
(and
(instance ?CO Combustion)
(subProcess ?CO ?F)))) |
Cars.kif 160-170 |
If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X |
(=>
(and
(instance ?F FourStrokeExhaust)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(exists (?E ?M)
(and
(instance ?M GasMotion)
(instance ?E Exhaust)
(subProcess ?M ?F)
(origin ?M ?I)
(patient ?M ?E)))) |
Cars.kif 178-191 |
If X is an instance of four stroke exhaust, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V |
(=>
(and
(instance ?E EngineCylinder)
(instance ?I InternalCombustionChamber)
(instance ?P Piston)
(instance ?T TwoStrokeIntake)
(holdsDuring ?T
(located ?P ?E))
(equal ?E
(HoleHostFn ?I))
(eventLocated ?T ?E))
(hasPurpose ?P
(holdsDuring ?T
(partiallyFills ?P ?I)))) |
Cars.kif 416-428 |
If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
(=>
(and
(instance ?TSC TwoStrokeCompression)
(eventLocated ?TSC ?E)
(instance ?E TwoStrokeEngine))
(exists (?C)
(and
(instance ?C Explosion)
(during ?C ?TSC)
(eventLocated ?C ?E)))) |
Cars.kif 444-453 |
If X is an instance of two stroke compression, X is located at Y, and Y is an instance of two stroke engine, then there exists Z such that Z is an instance of explosion, Z takes place during X, and Z is located at Y |
(=>
(and
(instance ?E EngineCylinder)
(instance ?C Crankcase)
(instance ?P Piston)
(instance ?T TwoStrokeTransfer)
(holdsDuring ?T
(located ?P ?E))
(equal ?E
(HoleHostFn ?C))
(eventLocated ?T ?E))
(hasPurpose ?P
(holdsDuring ?T
(partiallyFills ?P ?C)))) |
Cars.kif 462-474 |
If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
(=>
(and
(instance ?T TwoStrokeTransfer)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?T ?C))
(exists (?E ?M)
(and
(instance ?M GasMotion)
(instance ?E Exhaust)
(subProcess ?M ?T)
(origin ?M ?I)
(patient ?M ?E)))) |
Cars.kif 476-489 |
If X is an instance of two stroke transfer, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V |
(=>
(and
(instance ?BP BrakePedal)
(instance ?P Pushing)
(instance ?V Vehicle)
(destination ?P ?BP)
(eventLocated ?P ?V)
(part ?BP ?V))
(hasPurpose ?BP
(exists (?FS ?F)
(and
(instance ?FS WearingFrictionSurface)
(instance ?F Friction)
(instrument ?F ?FS)
(causes ?P ?F))))) |
Cars.kif 630-644 |
If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V |
(=>
(and
(instance ?EC EngineChoke)
(holdsDuring ?FSC1
(attribute ?EC DeviceOn))
(holdsDuring ?FSC2
(attribute ?EC DeviceOff))
(instance ?C EngineCylinder)
(capacity ?C ?M)
(instance ?FSC1 FourStrokeCompression)
(instance ?FSC2 FourStrokeCompression)
(eventLocated ?FSC1 ?C)
(eventLocated ?FSC2 ?C)
(instance ?A1 Air)
(instance ?F1 Fuel)
(part ?A1 ?MIX1)
(part ?F1 ?MIX1)
(measure ?MIX1 ?M)
(instance ?A2 Air)
(instance ?F2 Fuel)
(part ?A2 ?MIX2)
(part ?F2 ?MIX2)
(measure ?MIX2 ?M)
(instance ?U UnitOfMeasure)
(measure ?A1
(MeasureFn ?A1M ?U))
(measure ?A2
(MeasureFn ?A2M ?U))
(measure ?F1
(MeasureFn ?F1M ?U))
(measure ?F2
(MeasureFn ?F2M ?U)))
(greaterThan
(DivisionFn ?A2M ?F2M)
(DivisionFn ?A1M ?F1M))) |
Cars.kif 1253-1287 |
If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L |
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(minCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V1 ?V2))))) |
Cars.kif 1732-1751 |
If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the minimum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and V is greater than U |
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(maxCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1))))) |
Cars.kif 1762-1781 |
If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the maximum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and U is greater than V |
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?P Piston)
(instance ?U UnitOfLength)
(part ?P ?E)
(patient ?EC ?P)
(eventLocated ?EC ?E)
(pistonStroke ?E
(MeasureFn ?LM ?U)))
(not
(exists (?T1 ?T2 ?L1 ?L2 ?D)
(and
(during ?T1
(WhenFn ?EC))
(during ?T2
(WhenFn ?EC))
(holdsDuring ?T1
(located ?P ?L1))
(holdsDuring ?T2
(located ?P ?L2))
(distance ?L1 ?L2
(MeasureFn ?D ?U))
(greaterThan ?D ?LM))))) |
Cars.kif 1807-1829 |
If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q is greater than V |
(=>
(and
(instance ?X Buffet)
(member ?ITEM ?X)
(located ?X ?LOC1)
(instance ?E Eating)
(agent ?E ?AGENT)
(eventLocated ?E ?LOC2)
(patient ?E ?ITEM))
(and
(not
(equal ?LOC1 ?LOC2))
(exists (?G)
(and
(instance ?G Getting)
(patient ?G ?ITEM)
(origin ?G ?LOC1)
(agent ?G ?AGENT)
(before
(WhenFn ?G)
(WhenFn ?E)))))) |
Dining.kif 274-291 |
If All of the following hold: (1) X is an instance of buffet (2) Y is a member of X (3) X is located at Z (4) W is an instance of eating (5) V is an agent of W (6) W is located at U (7) Y is a patient of W, then equal Z and U and there exists T such that T is an instance of getting, Y is a patient of T, T originates at Z, V is an agent of T, and the time of existence of T happens before the time of existence of W |
(=>
(and
(instance ?C CateringService)
(agent ?C ?AGENT)
(destination ?C ?CUST)
(located ?AGENT ?LOC1)
(customer ?CUST ?AGENT)
(exists (?S ?FOOD ?E)
(and
(instance ?S Cooking)
(agent ?S ?AGENT)
(result ?S ?FOOD)
(patient ?C ?FOOD)
(instance ?E Eating)
(agent ?E ?CUST)
(eventLocated ?E ?LOC2))))
(not
(equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 |
If All of the following hold: (1) X is an instance of catering (2) Y is an agent of X (3) X ends up at Z (4) Y is located at W (5) Y is a customer of Z (6) All of the following hold: (1) there exist V, U (2) T such that V is an instance of cooking (3) Y is an agent of V (4) U is a result of V (5) U is a patient of X (6) T is an instance of eating (7) Z is an agent of T (8) T is located at S, then equal W and S |
(=>
(and
(attribute ?X CommunalAttribute)
(instance ?X Table)
(instance ?E1 Eating)
(agent ?E1 ?GRP1)
(instance ?GRP1 GroupOfPeople)
(eventLocated ?E1 ?X))
(modalAttribute
(exists (?GRP2 ?E2 ?X2)
(and
(instance ?E2 Eating)
(agent ?E2 ?GRP2)
(not
(equal ?GRP1 ?GRP2))
(instance ?GRP2 GroupOfPeople)
(eventLocated ?E2 ?X2)
(meetsTemporally
(WhenFn ?E1)
(WhenFn ?E2))
(equal ?X ?X2))) Possibility)) |
Dining.kif 1210-1227 |
If All of the following hold: (1) communal is an attribute of X (2) X is an instance of table (3) Y is an instance of eating (4) Z is an agent of Y (5) Z is an instance of group of people (6) Y is located at X, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an instance of eating (3) W is an agent of V (4) equal Z (5) W (6) W is an instance of group of people (7) V is located at U (8) the time of existence of Y meets the time of existence of V (9) equal X (10) U has the modal force of possibility |
(=>
(and
(instance ?P ProductAssembly)
(eventLocated ?P ?X)
(instance ?X AssemblyStation))
(or
(instance ?P Attaching)
(instance ?P Combining))) |
Economy.kif 2135-2142 |
If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
consequent
|
|
|
(=>
(instance ?ERUPTING VolcanicEruption)
(exists (?VOLCANO)
(and
(instance ?VOLCANO Volcano)
(eventLocated ?ERUPTING ?VOLCANO)))) |
Merge.kif 1041-1046 |
If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and X is located at Y |
(=>
(eventPartlyLocated ?PROC ?OBJ)
(exists (?SUB)
(and
(subProcess ?SUB ?PROC)
(eventLocated ?SUB ?OBJ)))) |
Merge.kif 4208-4213 |
If X is partly located at Y, then there exists Z such that Z is a subprocess of X and Z is located at Y |
(=>
(eventLocated ?PROCESS ?OBJ)
(forall (?SUB)
(=>
(subProcess ?SUB ?PROCESS)
(eventLocated ?SUB ?OBJ)))) |
Merge.kif 4235-4240 |
If X is located at Y, then For all Process Z: if Z is a subprocess of X, then Z is located at Y |
(=>
(hindersSubclass ?PROC1 ?PROC2)
(forall (?TIME ?PLACE)
(decreasesLikelihood
(holdsDuring ?TIME
(exists (?INST1)
(and
(instance ?INST1 ?PROC1)
(eventLocated ?INST1 ?PLACE))))
(holdsDuring ?TIME
(exists (?INST2)
(and
(instance ?INST2 ?PROC2)
(eventLocated ?INST2 ?PLACE))))))) |
Merge.kif 4433-4446 |
If instances of X hinder instances of Y, then For all Entities Z and W: there exists V such that V is an instance of X, V is located at W holds during Z decreases likelihood of there exists U such that U is an instance of Y, and U is located at W holds during Z |
(=>
(preventsSubclass ?PROC1 ?PROC2)
(forall (?TIME ?PLACE)
(=>
(holdsDuring ?TIME
(exists (?INST1)
(and
(instance ?INST1 ?PROC1)
(eventLocated ?INST1 ?PLACE))))
(not
(holdsDuring ?TIME
(exists (?INST2)
(and
(instance ?INST2 ?PROC2)
(eventLocated ?INST2 ?PLACE)))))))) |
Merge.kif 4462-4476 |
If instances of X prevent instances of Y, then For all TimePosition Z and Entity W: if there exists V such that V is an instance of X and V is located at W holds during Z, then there doesn't exist U such that U is an instance of Y and U is located at W doesn't hold during Z |
(=>
(and
(prevents ?X ?P)
(equal
(WhenFn ?X) ?T)
(eventLocated ?X ?L))
(not
(holdsDuring ?T
(exists (?Y)
(and
(instance ?Y ?P)
(eventLocated ?Y ?L)))))) |
Merge.kif 4489-4499 |
If X prevents the occurrence of Y, equal the time of existence of X and Z, and X is located at W, then there doesn't exist V such that V is an instance of Y and V is located at W doesn't hold during Z |
(=>
(hinders ?X ?PROC)
(exists (?L ?T)
(decreasesLikelihood
(and
(equal
(WhenFn ?X) ?T)
(eventLocated ?X ?L))
(holdsDuring ?T
(exists (?Y)
(and
(instance ?Y ?PROC)
(eventLocated ?Y ?L))))))) |
Merge.kif 4511-4522 |
If X hinders Y, then there exist Z, W such that equal the time of existence of X, W, X is located at Z decreases likelihood of there exists V such that V is an instance of Y, and V is located at Z holds during W |
(=>
(origin ?PROCESS ?OBJ)
(eventLocated
(WhereFn ?PROCESS
(BeginFn
(WhenFn ?PROCESS)))
(WhereFn ?OBJ
(BeginFn
(WhenFn ?OBJ))))) |
Merge.kif 8162-8170 |
If X originates at Y, then the place where X was at the beginning of the time of existence of X is located at the place where Y was at the beginning of the time of existence of Y |
(=>
(instance ?PROC BiologicalProcess)
(exists (?OBJ)
(and
(instance ?OBJ Organism)
(eventLocated ?PROC ?OBJ)))) |
Merge.kif 10362-10367 |
If X is an instance of biological process, then there exists Y such that Y is an instance of organism and X is located at Y |
(=>
(instance ?PROC OrganOrTissueProcess)
(exists (?THING)
(and
(eventLocated ?PROC ?THING)
(or
(instance ?THING Organ)
(instance ?THING Tissue))))) |
Merge.kif 10401-10408 |
If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue |
(=>
(instance ?WAY LandTransitway)
(hasPurpose ?WAY
(exists (?MOVE ?LAND)
(and
(instance ?MOVE Translocation)
(path ?MOVE ?WAY)
(eventLocated ?MOVE ?LAND)
(instance ?LAND LandArea))))) |
Merge.kif 14603-14611 |
If X is an instance of land transitway, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, Y is located at Z, and Z is an instance of land area |
(=>
(instance ?P Wading)
(exists (?W)
(and
(instance ?W WaterArea)
(eventLocated ?P ?W)))) |
Mid-level-ontology.kif 519-524 |
If X is an instance of wading, then there exists Y such that Y is an instance of water area and X is located at Y |
(=>
(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 ?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 |
(=>
(instance ?S Sofa)
(hasPurpose ?S
(exists (?P1 ?P2 ?T)
(and
(not
(equal ?P1 ?P2))
(instance ?P1 Human)
(instance ?P2 Human)
(holdsDuring ?T
(and
(attribute ?P1 Sitting)
(attribute ?P2 Sitting)
(eventLocated ?P1 ?S)
(eventLocated ?P2 ?S))))))) |
Mid-level-ontology.kif 4400-4413 |
If X is an instance of sofa, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) sitting is an attribute of Y (7) sitting is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W |
(=>
(instance ?X Hammock)
(hasPurpose ?X
(exists (?PROC)
(and
(instance ?PROC LyingDown)
(eventLocated ?PROC ?X))))) |
Mid-level-ontology.kif 4617-4623 |
If X is an instance of hammock, then X has the purpose there exists Y such that Y is an instance of lying down and Y is located at X |
(=>
(instance ?P SwimmingPool)
(hasPurpose ?P
(exists (?S)
(and
(instance ?S Swimming)
(eventLocated ?S ?P))))) |
Mid-level-ontology.kif 5340-5346 |
If X is an instance of swimming pool, then X has the purpose there exists Y such that Y is an instance of swimming and Y is located at X |
(=>
(instance ?NEST Nest)
(hasPurpose ?NEST
(exists (?BIRTH)
(and
(instance ?BIRTH Birth)
(eventLocated ?BIRTH ?NEST))))) |
Mid-level-ontology.kif 6126-6132 |
If X is an instance of nest, then X has the purpose there exists Y such that Y is an instance of birth and Y is located at X |
(=>
(attribute ?H Emphysema)
(exists (?L ?P)
(and
(instance ?L Alveolus)
(part ?L ?H)
(instance ?P PathologicProcess)
(eventLocated ?P ?L)))) |
Mid-level-ontology.kif 7123-7130 |
If emphysema is an attribute of X, then there exist Y, Z such that Y is an instance of alveolus, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y |
(=>
(attribute ?H Goiter)
(exists (?G ?P)
(and
(instance ?G ThyroidGland)
(part ?G ?H)
(instance ?P PathologicProcess)
(eventLocated ?P ?G)))) |
Mid-level-ontology.kif 7294-7301 |
If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y |
(=>
(instance ?F Facility)
(hasPurpose ?F
(exists (?P)
(and
(instance ?P Process)
(eventLocated ?P ?F))))) |
Mid-level-ontology.kif 7849-7855 |
If X is an instance of Facility, then X has the purpose there exists Y such that Y is an instance of process and Y is located at X |
(=>
(instance ?P Prison)
(hasPurpose ?P
(exists (?C ?H ?G)
(and
(instance ?C Confining)
(eventLocated ?C ?P)
(patient ?C ?H)
(instance ?H Human)
(agent ?C ?G)
(instance ?G Government))))) |
Mid-level-ontology.kif 8084-8094 |
If X is an instance of prison, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of confining (3) Y is located at X (4) Z is a patient of Y (5) Z is an instance of human (6) W is an agent of Y (7) W is an instance of government |
(=>
(instance ?P VotingPoll)
(exists (?V)
(and
(instance ?V Voting)
(eventLocated ?V ?P)))) |
Mid-level-ontology.kif 8117-8122 |
If X is an instance of voting poll, then there exists Y such that Y is an instance of voting and Y is located at X |
(=>
(instance ?G SportsFacility)
(hasPurpose ?G
(exists (?S)
(and
(instance ?S Sport)
(eventLocated ?S ?G))))) |
Mid-level-ontology.kif 8327-8333 |
If X is an instance of sports facility, then X has the purpose there exists Y such that Y is an instance of sport and Y is located at X |
(=>
(instance ?B Warehouse)
(hasPurpose ?B
(exists (?K ?P)
(and
(instance ?K Keeping)
(patient ?K ?P)
(instance ?P Product)
(eventLocated ?K ?B))))) |
Mid-level-ontology.kif 8370-8378 |
If X is an instance of warehouse, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, Z is an instance of product, and Y is located at X |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
