(=>
(and
(instance ?MOTION Motion)
(moves ?MOTION ?OBJ)
(origin ?MOTION ?PLACE))
(holdsDuring
(BeginFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE))) |
Merge.kif 11288-11293 |
If X is an instance of motion, Y moves during X, and X originates at Z, then Y is located at Z holds during the beginning of the time of existence of X |
(=>
(and
(instance ?MOTION Motion)
(moves ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring
(EndFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE))) |
Merge.kif 11304-11309 |
If X is an instance of motion, Y moves during X, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
(=>
(and
(instance ?MOTION BodyMotion)
(moves ?MOTION ?OBJ))
(and
(instance ?OBJ BodyPart)
(patient ?MOTION ?OBJ))) |
Merge.kif 11362-11368 |
If X is an instance of body motion and Y moves during X, then Y is an instance of body part and Y is a patient of X |
(=>
(and
(instance ?P Poison)
(instance ?I Ingesting)
(moves ?I ?P)
(experiencer ?I ?H))
(exists (?D)
(and
(instance ?D Damaging)
(experiencer ?D ?H)
(causes ?I ?D)))) |
Mid-level-ontology.kif 9959-9969 |
If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then there exists W such that W is an instance of damaging, Z experiences W, and Y causes W |
(=>
(and
(instance ?P Poison)
(instance ?I Ingesting)
(moves ?I ?P)
(experiencer ?I ?H))
(modalAttribute
(holdsDuring
(FutureFn
(WhenFn ?I))
(attribute ?H Blind)) Possibility)) |
Mid-level-ontology.kif 9983-9994 |
If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then the statement blindness is an attribute of Z holds during after the time of existence of Y has the modal force of possibility |
(=>
(and
(instance ?A Antacid)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?A)
(instance ?S Stomach)
(part ?S ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(and
(contains ?S ?F1)
(instance ?F1 Fluid)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(and
(contains ?S ?F2)
(instance ?F2 Fluid)))
(phMeasure ?F1 ?N1)
(phMeasure ?F2 ?N2))
(greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 11284-11306 |
If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T |
(=>
(and
(instance ?A ProtonPumpInhibitor)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?A)
(instance ?S Stomach)
(part ?S ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(and
(contains ?S ?F1)
(instance ?F1 Fluid)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(and
(contains ?S ?F2)
(instance ?F2 Fluid)))
(phMeasure ?F1 ?N1)
(phMeasure ?F2 ?N2))
(greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 11345-11367 |
If All of the following hold: (1) X is an instance of PPI (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T |
(=>
(and
(instance ?D Diuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11470-11491 |
If All of the following hold: (1) X is an instance of diuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) T is a result of U (10) Z is an agent of U (11) W happens earlier than Y (12) Y happens earlier than U (13) S is an instance of unit of volume (14) the measure of W is R S(s) (15) the measure of U is Q S(s), then the statement Q is greater than R has the modal force of likely |
(=>
(and
(instance ?D Antidiuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(not
(equal ?U1 ?U2))
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 11500-11523 |
If All of the following hold: (1) X is an instance of antidiuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) equal W and U (10) T is a result of U (11) Z is an agent of U (12) W happens earlier than Y (13) Y happens earlier than U (14) S is an instance of unit of volume (15) the measure of W is R S(s) (16) the measure of U is Q S(s), then the statement R is greater than Q has the modal force of likely |
(=>
(and
(instance ?BS1 BodySegment)
(instance ?BS2 BodySegment)
(connected ?BS1 ?BS2)
(instance ?BM BodyMotion)
(moves ?BM ?BS1))
(modalAttribute
(not
(exists (?BM2)
(and
(instance ?BM2 BodyMotion)
(moves ?BM2 ?BS2)
(during
(WhenFn ?BM2)
(WhenFn ?BM))))) Possibility)) |
Mid-level-ontology.kif 12030-12046 |
If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z has the modal force of possibility |
(=>
(and
(instance ?F Flexion)
(moves ?F ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?F ?M)
(connected ?M ?BP)
(subProcess ?MC ?F)))) |
Mid-level-ontology.kif 12060-12070 |
If X is an instance of flexion and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X |
(=>
(and
(instance ?F Flexion)
(agent ?F ?A)
(moves ?F ?BP))
(not
(exists (?E)
(and
(instance ?E Extension)
(equal
(WhenFn ?E)
(WhenFn ?F))
(agent ?E ?A)
(moves ?E ?BP))))) |
Mid-level-ontology.kif 12087-12098 |
If X is an instance of flexion, Y is an agent of X, and Z moves during X, then there doesn't exist W such that W is an instance of extension, equal the time of existence of W, the time of existence of X, Y is an agent of W, and Z moves during W |
(=>
(and
(instance ?E Extension)
(moves ?E ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?E ?M)
(connected ?M ?BP)
(subProcess ?MC ?E)))) |
Mid-level-ontology.kif 12100-12110 |
If X is an instance of extension and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X |
(=>
(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 ?R CentrifugalMotion)
(instance ?O Object)
(moves ?R ?O)
(instance ?A Object)
(located ?A ?O))
(modalAttribute
(exists (?M)
(and
(instance ?M MovingAwayFrom)
(changesLocation ?M ?A)
(origin ?M ?O)
(causes ?R ?M))) Likely)) |
Mid-level-ontology.kif 19414-19427 |
If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely |
(=>
(and
(instance ?AT AutomobileTransmission)
(instance ?C Crankshaft)
(instance ?D Driveshaft)
(instance ?A Automobile)
(part ?D ?A)
(part ?AT ?A)
(part ?C ?A)
(connectedEngineeringComponents ?C ?AT)
(connectedEngineeringComponents ?D ?AT)
(instance ?G1 Gear)
(instance ?G2 Gear)
(part ?G1 ?AT)
(part ?G2 ?AT)
(instance ?CR1 Rotating)
(instance ?CR2 Rotating)
(instance ?GR1 Rotating)
(instance ?GR2 Rotating)
(instance ?DR1 Rotating)
(instance ?DR2 Rotating)
(moves ?CR1 ?C)
(moves ?CR2 ?C)
(moves ?GR1 ?G1)
(moves ?GR2 ?G2)
(moves ?DR1 ?D)
(moves ?DR2 ?D)
(causes ?CR1 ?GR1)
(causes ?GR1 ?DR1)
(causes ?CR2 ?GR2)
(causes ?GR2 ?DR2)
(not
(equal ?CR1 ?CR2))
(not
(equal ?G1 ?G2))
(equal
(MeasureFn ?NR1 RevolutionsPerMinute)
(RotationFn ?CR1))
(equal
(MeasureFn ?NR2 RevolutionsPerMinute)
(RotationFn ?CR2))
(equal
(MeasureFn ?ND1 RevolutionsPerMinute)
(RotationFn ?DR1))
(equal
(MeasureFn ?ND2 RevolutionsPerMinute)
(RotationFn ?DR2))
(equal ?NR1 ?NR2))
(not
(equal ?ND1 ?ND2))) |
Cars.kif 2195-2236 |
If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K |
(=>
(and
(engineIdleSpeed ?E
(MeasureFn ?RI RevolutionsPerMinute))
(instance ?A Automobile)
(instance ?GP GasPedal)
(instance ?P Pushing)
(destination ?P ?GP)
(part ?E ?A)
(part ?GP ?A)
(instance ?C Crankshaft)
(instance ?R1 Rotating)
(moves ?R1 ?C)
(during
(WhenFn ?R1)
(WhenFn ?P))
(part ?C ?E)
(equal
(MeasureFn ?RA RevolutionsPerMinute)
(RotationFn ?R1)))
(modalAttribute
(greaterThan ?RA ?RI) Likely)) |
Cars.kif 2419-2441 |
If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
(=>
(and
(instance ?C MuscularContraction)
(moves ?C ?M)
(or
(instance ?M VoluntaryMuscle)
(instance ?M HeartMuscle)))
(exists (?T)
(and
(instance ?T Troponin)
(resource ?C ?T)))) |
Medicine.kif 3988-3998 |
If X is an instance of muscular contraction, Y moves during X, and Y is an instance of voluntary muscle or Y is an instance of heart muscle, then there exists Z such that Z is an instance of troponin and Z is a resource for X |
(=>
(and
(instance ?P Pair)
(part ?P ?F)
(instance ?F Airplane)
(memberType ?P Aileron)
(member ?LA ?P)
(instance ?M1 Motion)
(moves ?M1 ?LA)
(direction ?M1 ?DIR1)
(member ?RA ?P)
(instance ?M2 Motion)
(not
(equal ?M1 ?M2))
(moves ?M2 ?RA)
(direction ?M2 ?DIR2)
(not
(exists (?L)
(and
(instance ?L Landing)
(patient ?L ?F)))))
(oppositeDirection ?DIR1 ?DIR2)) |
Transportation.kif 3416-3437 |
If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) aileron is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V |
(=>
(and
(instance ?F Flying)
(patient ?F ?P)
(instance ?P Airplane)
(part ?LW ?P)
(instance ?LW FlightWing)
(side ?LW ?P)
(orientation ?LW ?P Left)
(instance ?LA Aileron)
(located ?LA ?LW)
(instance ?U MotionUpward)
(moves ?U ?LA))
(holdsDuring
(WhenFn ?U)
(exists (?D)
(and
(instance ?D MotionDownward)
(moves ?D ?LW)
(causes ?U ?D))))) |
Transportation.kif 3439-3457 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V |
(=>
(and
(instance ?F Flying)
(patient ?F ?P)
(instance ?P Airplane)
(part ?RW ?P)
(instance ?RW FlightWing)
(side ?RW ?P)
(orientation ?RW ?P Right)
(instance ?RA Aileron)
(located ?RA ?RW)
(instance ?D MotionDownward)
(moves ?D ?RA))
(holdsDuring
(WhenFn ?D)
(exists (?U)
(and
(instance ?U MotionUpward)
(moves ?U ?RW)
(causes ?D ?U))))) |
Transportation.kif 3459-3477 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V |
(=>
(and
(instance ?P Pair)
(part ?P ?F)
(instance ?F Airplane)
(memberType ?P FlightElevator)
(member ?LE ?P)
(instance ?M1 Motion)
(moves ?M1 ?LE)
(direction ?M1 ?DIR1)
(member ?RE ?P)
(instance ?M2 Motion)
(not
(equal ?M1 ?M2))
(moves ?M2 ?RE)
(direction ?M2 ?DIR2))
(equal ?DIR1 ?DIR2)) |
Transportation.kif 3535-3551 |
If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S, then equal V and S |
(=>
(and
(instance ?P Pair)
(part ?P ?F)
(instance ?F Airplane)
(memberType ?P FlightElevator)
(member ?E ?P)
(instance ?M MotionUpward)
(moves ?M ?E)
(holdsDuring
(BeginFn
(WhenFn ?M))
(pitch ?F
(MeasureFn ?X AngularDegree)))
(holdsDuring
(EndFn
(WhenFn ?M))
(pitch ?F
(MeasureFn ?Y AngularDegree))))
(greaterThan ?X ?Y)) |
Transportation.kif 3553-3566 |
If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion upward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is greater than U |
(=>
(and
(instance ?P Pair)
(part ?P ?F)
(instance ?F Airplane)
(memberType ?P FlightElevator)
(member ?E ?P)
(instance ?M MotionDownward)
(moves ?M ?E)
(holdsDuring
(BeginFn
(WhenFn ?M))
(pitch ?F
(MeasureFn ?X AngularDegree)))
(holdsDuring
(EndFn
(WhenFn ?M))
(pitch ?F
(MeasureFn ?Y AngularDegree))))
(lessThan ?X ?Y)) |
Transportation.kif 3568-3581 |
If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion downward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is less than U |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
moves