Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| during |
| appearance as argument number 1 |
|
| s__instance(s__during,s__TransitiveRelation)
|
Merge.kif 8507-8507 | during is an instance of transitive relation |
| s__instance(s__during,s__BinaryPredicate)
|
Merge.kif 8508-8508 | during is an instance of binary predicate |
| s__instance(s__during,s__IrreflexiveRelation)
|
Merge.kif 8509-8509 | during is an instance of irreflexive relation |
| s__domain(s__during,n__1,s__TimeInterval)
|
Merge.kif 8511-8511 | The number 1 argument of during is an instance of timeframe |
| s__domain(s__during,n__2,s__TimeInterval)
|
Merge.kif 8512-8512 | The number 2 argument of during is an instance of timeframe |
| s__documentation(s__during, s__EnglishLanguage, "(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2_") | Merge.kif 8514-8515 | The number 2 argument of during is an instance of timeframe |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__during, "during") | domainEnglishFormat.kif 20694-20694 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__during, "期間") | domainEnglishFormat.kif 20695-20695 | |
| s__termFormat(s__ChineseLanguage, s__during, "期间") | domainEnglishFormat.kif 20696-20696 | |
| s__format(s__EnglishLanguage, s__during, "%1 %n{doesnt} take%p{s} place during %2") | english_format.kif 439-439 |
| antecedent |
|
|
| ! [V__SMALL,V__BIG] : (((s__instance(V__SMALL,s__TimeInterval) & s__instance(V__BIG,s__TimeInterval)) => (s__during(V__SMALL,V__BIG) => s__temporalPart(V__SMALL,V__BIG))) )
|
Merge.kif 8460-8462 | If X takes place during Y, then X is a part of Y |
| ! [V__INTERVAL1,V__INTERVAL2] : (((s__instance(V__INTERVAL1,s__TimeInterval) & s__instance(V__INTERVAL2,s__TimeInterval)) => (s__during(V__INTERVAL1,V__INTERVAL2) => (s__before(s__EndFn(V__INTERVAL1) ,s__EndFn(V__INTERVAL2)) & s__before(s__BeginFn(V__INTERVAL2) ,s__BeginFn(V__INTERVAL1))))) )
|
Merge.kif 8517-8521 | If X takes place during Y, then the end of X happens before the end of Y and the beginning of Y happens before the beginning of X |
| ! [V__EVE,V__AFT,V__D] : (((s__instance(V__EVE,s__Evening) & s__instance(V__AFT,s__Afternoon) & s__instance(V__D,s__Day) & s__during(V__EVE,V__D) & s__during(V__AFT,V__D)) => s__meetsTemporally(V__AFT,V__EVE)) )
|
Merge.kif 9124-9131 | If X is an instance of evening, Y is an instance of afternoon, Z is an instance of day, X takes place during Z, and Y takes place during Z, then Y meets X |
| ! [V__S,V__W] : (((s__instance(V__S,s__Sunday) & s__instance(V__W,s__Week) & s__during(V__S,V__W)) => s__starts(V__S,V__W)) )
|
Merge.kif 9551-9556 | If X is an instance of Sunday, Y is an instance of week, and X takes place during Y, then X starts Y |
| ! [V__S,V__W] : (((s__instance(V__S,s__Saturday) & s__instance(V__W,s__Week) & s__during(V__S,V__W)) => s__finishes(V__S,V__W)) )
|
Merge.kif 9558-9563 | If X is an instance of Saturday, Y is an instance of week, and X takes place during Y, then X finishes Y |
| ! [V__BP : $i,V__BPC : $i,V__C : $i,V__E : $i,V__H : $i,V__L : $i,V__M : $i,V__MC : $i,V__T : $i] : (((s__muscleOrigin(V__MC, V__BPC) & s__instance(V__H, s__Human) & s__holdsDuring(V__T, s__attribute(V__H, s__StandardAnatomicalPosition)) & s__attribute(V__H, s__Healthy) & s__instance(V__C, s__MuscularContraction) & s__during(s__WhenFn(V__C), V__T) & s__instance(V__M, V__MC) & s__part(V__M, V__H) & s__instrument(V__C, V__M) & s__physicalEnd(V__E, V__M) & s__meetsSpatially(V__E, V__BP) & s__holdsDuring(s__BeginFn(V__C), s__located(V__E, V__L))) => s__holdsDuring(s__EndFn(V__C), s__located(V__E, V__L)))) | Anatomy.kif 1730-1751 | If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V |
| ! [V__BP : $i,V__BPC : $i,V__C : $i,V__E : $i,V__H : $i,V__L : $i,V__M : $i,V__MC : $i,V__T : $i] : (((s__muscleInsertion(V__MC, V__BPC) & s__instance(V__H, s__Human) & s__holdsDuring(V__T, s__attribute(V__H, s__StandardAnatomicalPosition)) & s__attribute(V__H, s__Healthy) & s__instance(V__C, s__MuscularContraction) & s__during(s__WhenFn(V__C), V__T) & s__instance(V__M, V__MC) & s__part(V__M, V__H) & s__instrument(V__C, V__M) & s__physicalEnd(V__E, V__M) & s__meetsSpatially(V__E, V__BP) & s__holdsDuring(s__BeginFn(V__C), s__located(V__E, V__L))) => s__holdsDuring(s__EndFn(V__C), ~(s__located(V__E, V__L))))) | Anatomy.kif 1780-1802 | If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V |
| ! [V__D : $i,V__DAY : $i,V__H : $i,V__S : $i] : (((s__instance(V__H, s__Man) & s__attribute(V__H, s__Mausaharati) & s__instance(V__D, s__Drumming) & s__agent(V__D, V__H) & s__instance(V__DAY, s__Day) & s__instance(V__S, s__Sunrise) & s__during(V__S, V__DAY) & s__earlier(s__WhenFn(V__D), V__S)) => s__hasPurpose(V__D, ( ? [V__P:$i, V__SUHUR:$i, V__WU:$i] : ((s__instance(V__WU, s__WakingUp) & s__experiencer(V__WU, V__P) & s__instance(V__SUHUR, s__Suhur) & s__agent(V__SUHUR, V__P) & s__earlier(s__WhenFn(V__WU), s__WhenFn(V__SUHUR)) & s__during(s__WhenFn(V__WU), V__DAY) & s__during(s__WhenFn(V__SUHUR), V__DAY))))))) | ArabicCulture.kif 65-84 | If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z |
| ! [V__A1 : $real,V__A2 : $real,V__P : $i,V__R : $real,V__T : $i,V__T1 : $i,V__T2 : $i,V__U : $i] : (((s__dampingRatio(V__P, V__R) & ($greater(V__R,0)) & s__instance(V__T, s__Tremor) & s__patient(V__T, V__P) & s__instance(V__U, s__UnitOfLength) & s__holdsDuring(V__T1, s__physicalAmplitude(V__T, s__MeasureFn(V__A1, V__U))) & s__holdsDuring(V__T2, s__physicalAmplitude(V__T, s__MeasureFn(V__A2, V__U))) & s__during(V__T1, s__WhenFn(V__T)) & s__during(V__T2, s__WhenFn(V__T)) & s__earlier(V__T1, V__T2)) => ($greater(V__A1,V__A2)))) | Cars.kif 748-764 | If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T |
| ! [V__A : $i,V__C : $i,V__E : $i,V__GP : $i,V__P : $i,V__R1 : $i,V__RA : $real,V__RI : $real] : (((s__engineIdleSpeed(V__E, s__MeasureFn(V__RI, s__RevolutionsPerMinute)) & s__instance(V__A, s__Automobile) & s__instance(V__GP, s__GasPedal) & s__instance(V__P, s__Pushing) & s__destination(V__P, V__GP) & s__part(V__E, V__A) & s__part(V__GP, V__A) & s__instance(V__C, s__Crankshaft) & s__instance(V__R1, s__Rotating) & s__moves(V__R1, V__C) & s__during(s__WhenFn(V__R1), s__WhenFn(V__P)) & s__part(V__C, V__E) & s__MeasureFn(V__RA, s__RevolutionsPerMinute) = s__RotationFn(V__R1)) => s__modalAttribute(($greater(V__RA,V__RI)), s__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 |
| ! [V__C1 : $real,V__C2 : $real,V__E1 : $i,V__E2 : $i,V__H : $i,V__M1 : $i,V__M2 : $i,V__T1 : $i,V__T2 : $i] : (((s__holdsDuring(V__T1, s__attribute(V__H, s__Dieting)) & s__holdsDuring(V__T2, ~(s__attribute(V__H, s__Dieting))) & s__instance(V__M1, s__Meal) & s__instance(V__E1, s__Eating) & s__agent(V__E1, V__H) & s__resource(V__E1, V__M1) & s__during(s__WhenFn(V__E1), V__T1) & s__measure(V__M1, s__MeasureFn(V__C1, s__Calorie)) & s__instance(V__M2, s__Meal) & s__instance(V__E2, s__Eating) & s__agent(V__E2, V__H) & s__resource(V__E2, V__M2) & s__during(s__WhenFn(V__E2), V__T2) & s__measure(V__M2, s__MeasureFn(V__C2, s__Calorie))) => s__modalAttribute(($greater(V__C2,V__C1)), s__Likely))) | Food.kif 1686-1707 | If All of the following hold: (1) dieting is an attribute of X holds during Y (2) dieting is not an attribute of X holds during Z (3) W is an instance of meal (4) V is an instance of eating (5) X is an agent of V (6) W is a resource for V (7) the time of existence of V takes place during Y (8) the measure of W is U calorie(s) (9) T is an instance of meal (10) S is an instance of eating (11) X is an agent of S (12) T is a resource for S (13) the time of existence of S takes place during Z (14) the measure of T is R calorie(s), then the statement R is greater than U has the modal force of likely |
| ! [V__T1,V__T2,V__YEAR] : (((s__instance(V__T1,s__Advent) & s__instance(V__T2,s__ChristmasDay) & s__during(V__T1,V__YEAR) & s__instance(V__YEAR,s__Year) & s__meetsTemporally(V__T1,V__T2)) => s__during(V__T2,V__YEAR)) )
|
Media.kif 381-388 | If X is an instance of advent, Y is an instance of Christmas day, X takes place during Z, Z is an instance of year, and X meets Y, then Y takes place during Z |
| ! [V__T1,V__T2,V__YEAR] : (((s__instance(V__T1,s__Advent) & s__instance(V__T2,s__ChristmasDay) & s__during(V__T2,V__YEAR) & s__instance(V__YEAR,s__Year) & s__meetsTemporally(V__T1,V__T2)) => s__during(V__T1,V__YEAR)) )
|
Media.kif 390-397 | If X is an instance of advent, Y is an instance of Christmas day, Y takes place during Z, Z is an instance of year, and X meets Y, then X takes place during Z |
| ! [V__ES,V__L,V__Y] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__ES,V__Y) & s__instance(V__Y,s__Year)) => s__during(V__L,V__Y)) )
|
Media.kif 431-438 | If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, X takes place during Z, and Z is an instance of year, then Y takes place during Z |
| ! [V__ES,V__L,V__Y] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__L,V__Y) & s__instance(V__Y,s__Year)) => s__during(V__ES,V__Y)) )
|
Media.kif 440-447 | If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, Y takes place during Z, and Z is an instance of year, then X takes place during Z |
| ! [V__I,V__Y,V__E,V__P] : ((s__instance(V__I,s__TimeInterval) => ((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__P,s__PalmSunday) & s__during(V__E,V__Y) & s__during(V__P,V__Y) & s__starts(V__P,V__I) & s__finishes(V__E,V__I)) => s__duration(V__I,s__MeasureFn(n__8,s__DayDuration)))) )
|
Media.kif 467-476 | If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s) |
| ! [V__I,V__Y,V__E,V__A] : ((s__instance(V__I,s__TimeInterval) => ((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__A,s__AscensionThursday) & s__during(V__E,V__Y) & s__during(V__A,V__Y) & s__starts(V__E,V__I) & s__finishes(V__A,V__I)) => s__duration(V__I,s__MeasureFn(n__40,s__DayDuration)))) )
|
Media.kif 532-541 | If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s) |
| ! [V__I,V__Y,V__E,V__P] : ((s__instance(V__I,s__TimeInterval) => ((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__P,s__Pentecost) & s__during(V__E,V__Y) & s__during(V__P,V__Y) & s__starts(V__E,V__I) & s__finishes(V__P,V__I)) => s__duration(V__I,s__MeasureFn(n__50,s__DayDuration)))) )
|
Media.kif 553-562 | If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of Pentecost (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 50 day duration(s) |
| ! [V__H : $i,V__R : $int,V__T : $i] : (((s__breathingRate(V__H, V__T, V__R) & s__instance(V__T, s__Minute) & ~((s__instance(V__R, s__RecreationOrExercise) & s__agent(V__R, V__H) & s__during(V__T, s__WhenFn(V__R)))) & s__holdsDuring(V__T, s__attribute(V__H, s__HumanAdult)) & (($greater(V__R,16)) | ($less(V__R,12)))) => s__holdsDuring(V__T, ~(s__attribute(V__H, s__Healthy))))) | Medicine.kif 357-374 | If X breathes at a rate of Y breaths per Z, Z is an instance of minute, At least one of the following holds: (1) ~{ Y is an instance of recreation or exercise } (2) ~{ X is an agent of Y } (3) ~{ Z takes place during the time of existence of Y }, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
| ! [V__A : $i,V__L : $i,V__MB : $i,V__P : $i,V__T : $i] : (((s__instance(V__MB, s__MeasuringBreathing) & s__agent(V__MB, V__A) & s__instance(V__L, s__Lung) & s__part(V__L, V__P) & s__instance(V__T, s__TimeInterval) & s__during(V__T, s__WhenFn(V__MB)) & s__duration(V__T, s__MinuteDuration) & s__patient(V__MB, V__P)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MB)), ( ? [V__BR:$int] : (s__knows(V__A, s__breathingRate(V__L, V__T, V__BR))))))) | Medicine.kif 442-458 | If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X |
| ! [V__H : $i,V__R : $i,V__T : $i,V__T2 : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__ChronicFatigueSyndrome)) & s__instance(V__R, s__RecreationOrExercise) & s__agent(V__R, V__H) & s__during(s__WhenFn(V__R), V__T)) => s__modalAttribute((s__holdsDuring(V__T2, s__attribute(V__H, s__PostExertionalMalaise)) & s__earlier(s__WhenFn(V__R), V__T2)), s__Likely))) | Medicine.kif 1483-1495 | If ME/CFS is an attribute of X holds during Y, Z is an instance of recreation or exercise, X is an agent of Z, and the time of existence of Z takes place during Y, then the statement PEM is an attribute of X holds during W and the time of existence of Z happens earlier than W has the modal force of likely |
| ! [V__H : $i,V__N : $real,V__T : $i] : (((s__instance(V__T, s__TimePeriod) & s__duration(V__T, s__MeasureFn(V__N, s__MinuteDuration)) & ($greater(V__N,5.0)) & s__instance(V__H, s__Human) & ~(( ? [V__B:$i] : ((s__instance(V__B, s__Breathing) & s__during(s__WhenFn(V__B), V__T) & s__patient(V__B, V__H)))))) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__H) & s__meetsTemporally(V__T, s__WhenFn(V__D))))), s__Likely))) | Medicine.kif 6028-6048 | If X is an instance of TimePeriod, duration of X is Y minute duration(s), Y is greater than 5.0, Z is an instance of human, and there doesn't exist W such that W is an instance of breathing, the time of existence of W takes place during X, and Z is a patient of W, then the statement there exists V such that V is an instance of death, Z experiences V, and X meets the time of existence of V has the modal force of likely |
| ! [V__H : $i,V__S : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__AVPUVerbalStatus)) & s__instance(V__S, s__Speaking) & s__destination(V__S, V__H) & s__during(s__WhenFn(V__S), V__T)) => ( ? [V__IA:$i] : ((s__instance(V__IA, s__IntentionalProcess) & s__agent(V__IA, V__H) & s__during(s__WhenFn(V__IA), V__T) & s__causes(V__S, V__IA)))))) | Medicine.kif 6494-6506 | If AVPU verbal status is an attribute of X holds during Y, Z is an instance of speaking, Z ends up at X, and the time of existence of Z takes place during Y, then there exists W such that W is an instance of intentional process, X is an agent of W, the time of existence of W takes place during Y, and Z causes W |
| ! [V__H : $i,V__P : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__AVPUPainStatus)) & s__instance(V__P, s__Pain) & s__during(s__WhenFn(V__P), V__T) & s__experiencer(V__P, V__H)) => ( ? [V__BM:$i] : ((s__instance(V__BM, s__BodyMotion) & s__experiencer(V__BM, V__H) & s__during(s__WhenFn(V__BM), V__T) & s__causes(V__P, V__BM)))))) | Medicine.kif 6517-6529 | If AVPU pain status is an attribute of X holds during Y, Z is an instance of pain, the time of existence of Z takes place during Y, and X experiences Z, then there exists W such that W is an instance of body motion, X experiences W, the time of existence of W takes place during Y, and Z causes W |
| ! [V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__INFANT : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__BirthsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) | People.kif 99-114 | If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ! [V__E,V__D] : (((s__instance(V__E,s__Morning) & s__instance(V__D,s__Day) & (V__E = s__MorningFn(V__D))) => s__during(V__E,V__D)) )
|
Merge.kif 9026-9031 | If X is an instance of morning, Y is an instance of day, and equal X and the morning of Y, then X takes place during Y |
| ! [V__E,V__D] : (((s__instance(V__E,s__Afternoon) & s__instance(V__D,s__Day) & (V__E = s__AfternoonFn(V__D))) => s__during(V__E,V__D)) )
|
Merge.kif 9042-9047 | If X is an instance of afternoon, Y is an instance of day, and equal X and the afternoon of Y, then X takes place during Y |
| ! [V__E,V__D] : (((s__instance(V__E,s__Evening) & s__instance(V__D,s__Day) & (V__E = s__EveningFn(V__D))) => s__during(V__E,V__D)) )
|
Merge.kif 9142-9147 | If X is an instance of evening, Y is an instance of day, and equal X and the evening of Y, then X takes place during Y |
| ! [V__W,V__N,V__Y,V__YI] : (((s__instance(V__W,s__TimeInterval) & s__instance(V__N,s__PositiveInteger) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__Year) & s__instance(V__YI,s__TimeInterval)) => ((s__instance(V__W,s__WeekFn(V__N,V__Y)) & s__instance(V__YI,V__Y)) => s__during(V__W,V__YI))) )
|
Merge.kif 9161-9165 | If X is an instance of the week # Y and Z is an instance of W, then X takes place during Z |
| ! [V__N,V__Y,V__YI,V__Q] : (((s__instance(V__N,s__PositiveInteger) & s__instance(V__Y,s__Integer) & s__instance(V__YI,s__TimeInterval)) => ((s__instance(V__Q,s__QuarterYear) & s__instance(V__Q,s__QuarterFn(V__N,s__YearFn(V__Y))) & s__instance(V__YI,s__YearFn(V__Y))) => s__during(V__Q,V__YI))) )
|
Merge.kif 9182-9187 | If X is an instance of quarter year, X is an instance of the number Y quarter of the year Z, and W is an instance of the year Z, then X takes place during W |
| ! [V__L,V__FL] : ((s__instance(V__L,s__Object) => ((s__instance(V__FL,s__FlashingLight) & s__origin(V__FL,V__L)) => (? [V__I1,V__T2,V__I3] : ((s__instance(V__I1,s__RadiatingLight) & s__instance(V__T2,s__TimeInterval) & s__instance(V__I3,s__RadiatingLight) & s__meetsTemporally(s__WhenFn(V__I1) ,V__T2) & s__meetsTemporally(V__T2,s__WhenFn(V__I3)) & ~((? [V__I2] : ((s__instance(V__I2,s__RadiatingLight) & s__origin(V__I2,V__L) & s__during(s__WhenFn(V__I2) ,V__T2))))) & s__subProcess(V__I1,V__FL) & s__subProcess(V__I3,V__FL)))))) )
|
Mid-level-ontology.kif 626-644 | If X is an instance of flashing light and X originates at Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of radiating light (3) W is an instance of timeframe (4) V is an instance of radiating light (5) the time of existence of Z meets W (6) W meets the time of existence of V (7) there doesn't exist U such that U is an instance of radiating light (8) U originates at Y (9) the time of existence of U takes place during W (10) Z is a subprocess of X (11) V is a subprocess of X |
| ! [V__H : $i,V__I : $i,V__P : $i] : (((s__instance(V__I, s__Itching) & s__located(V__I, V__P) & s__part(V__P, V__H) & s__experiencer(V__I, V__H)) => s__desires(V__H, ( ? [V__S:$i] : ((s__instance(V__S, s__Scratching) & s__during(s__WhenFn(V__S), s__WhenFn(V__I)) & s__located(V__S, V__P))))))) | Mid-level-ontology.kif 6844-6855 | If X is an instance of pruritus, X is located at Y, Y is a part of Z, and Z experiences X, then Z desires there exists W such that W is an instance of scratching, the time of existence of W takes place during the time of existence of X, and W is located at Y |
| ! [V__H : $i,V__S : $i] : (((s__instance(V__S, s__SkinRash) & s__experiencer(V__S, V__H)) => s__modalAttribute(( ? [V__I:$i] : ((s__instance(V__I, s__Itching) & s__experiencer(V__I, V__H) & s__during(s__WhenFn(V__I), s__WhenFn(V__S))))), s__Likely))) | Mid-level-ontology.kif 6868-6878 | If X is an instance of rash and Y experiences X, then the statement there exists Z such that Z is an instance of pruritus, Y experiences Z, and the time of existence of Z takes place during the time of existence of X has the modal force of likely |
| ! [V__C,V__B] : (((s__instance(V__C,s__CavalryUnit) & s__instance(V__B,s__Battle) & s__agent(V__B,V__C)) => (? [V__P,V__V,V__T] : ((s__instance(V__P,s__AutonomousAgent) & (s__attribute(V__P,s__Soldier) & s__member(V__P,V__C) & s__instance(V__T,s__Transportation) & s__agent(V__T,V__P) & s__instance(V__V,s__Vehicle) & s__patient(V__T,V__V) & s__during(V__T,V__B)))))) )
|
Mid-level-ontology.kif 9747-9760 | If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y |
| ! [V__H,V__T,V__I] : (((s__instance(V__H,s__Heart) & s__instance(V__T,s__TimeInterval) & s__instance(V__I,s__Integer)) => (s__heartRate(V__H,V__T,V__I) => (? [V__C,V__M] : ((s__instance(V__M,s__Process) & (s__instance(V__C,s__CollectionOfProcesses) & s__memberType(V__C,s__HeartBeat) & s__memberCount(V__C,V__I) & (s__member(V__M,V__C) => (s__patient(V__M,V__H) & s__during(s__WhenFn(V__M) ,V__T))))))))) )
|
Mid-level-ontology.kif 11796-11808 | If X beats at a rate of Y beats per Z, then there exist W, V such that W is an instance of collection, heart beat is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z |
| ! [V__H,V__T,V__I] : (((s__instance(V__H,s__Lung) & s__instance(V__T,s__TimeInterval) & s__instance(V__I,s__Integer)) => (s__breathingRate(V__H,V__T,V__I) => (? [V__C,V__M] : ((s__instance(V__M,s__Process) & (s__instance(V__C,s__CollectionOfProcesses) & s__memberType(V__C,s__Breath) & s__memberCount(V__C,V__I) & (s__member(V__M,V__C) => (s__patient(V__M,V__H) & s__during(s__WhenFn(V__M) ,V__T))))))))) )
|
Mid-level-ontology.kif 11839-11851 | If X breathes at a rate of Y breaths per Z, then there exist W, V such that W is an instance of collection, breath is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z |
| ! [V__BM : $i,V__BS1 : $i,V__BS2 : $i] : (((s__instance(V__BS1, s__BodySegment) & s__instance(V__BS2, s__BodySegment) & s__connected(V__BS1, V__BS2) & s__instance(V__BM, s__BodyMotion) & s__moves(V__BM, V__BS1)) => s__modalAttribute(~(( ? [V__BM2:$i] : ((s__instance(V__BM2, s__BodyMotion) & s__moves(V__BM2, V__BS2) & s__during(s__WhenFn(V__BM2), s__WhenFn(V__BM)))))), s__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 |
| ! [V__HA,V__H] : (((s__instance(V__HA,s__HeartAttack) & s__instance(V__H,s__Heart) & s__located(V__HA,V__H)) => (? [V__M] : ((s__instance(V__M,s__Muscle) & s__part(V__M,V__H) & ~((? [V__BF,V__B] : ((s__instance(V__BF,s__LiquidMotion) & s__objectTransferred(V__BF,V__B) & s__instance(V__B,s__Blood) & s__during(V__BF,s__WhenFn(V__HA)) & s__destination(V__BF,V__M))))))))) )
|
Mid-level-ontology.kif 12868-12885 | If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| ! [V__HA,V__H] : (((s__instance(V__HA,s__Stroke) & s__instance(V__H,s__Brain) & s__located(V__HA,V__H)) => (? [V__M] : ((s__instance(V__M,s__NerveCell) & s__part(V__M,V__H) & ~((? [V__BF,V__B] : ((s__instance(V__BF,s__LiquidMotion) & s__objectTransferred(V__BF,V__B) & s__instance(V__B,s__Blood) & s__during(V__BF,s__WhenFn(V__HA)) & s__destination(V__BF,V__M))))))))) )
|
Mid-level-ontology.kif 13415-13432 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| ! [V__H : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__Dizzy)) => s__holdsDuring(V__T, s__fears(V__H, ( ? [V__T2:$i] : (((s__during(V__T2, V__T) & s__holdsDuring(V__T2, s__attribute(V__H, s__Standing))) => ( ? [V__F:$i] : ((s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__meetsTemporally(V__T2, s__WhenFn(V__F)))))))))))) | Mid-level-ontology.kif 18044-18060 | If dizziness is an attribute of X holds during Y, then X fears there exists Z such that Z takes place during Y, standing is an attribute of X holds during Zthere exists W such that W is an instance of falling, X experiences W, and Z meets the time of existence of W holds during Y |
| ! [V__B : $i,V__E : $i] : (((s__instance(V__B, s__Blinking) & s__patient(V__B, V__E) & s__instance(V__E, s__BothEyes)) => ( ? [V__T:$i] : ((s__holdsDuring(V__T, s__attribute(V__E, s__Closed)) & s__during(s__WhenFn(V__B), V__T) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__B)), s__attribute(V__E, s__Open)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__B)), s__attribute(V__E, s__Open))))))) | Mid-level-ontology.kif 22029-22047 | If X is an instance of blinking, Y is a patient of X, and Y is an instance of both eyes, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
| ! [V__E : $i,V__O : $i] : (((s__instance(V__O, s__OpeningEye) & s__patient(V__O, V__E) & s__instance(V__E, s__Eye)) => ( ? [V__T:$i] : ((s__holdsDuring(V__T, s__attribute(V__E, s__Open)) & s__during(s__WhenFn(V__O), V__T) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__O)), s__attribute(V__E, s__Closed))))))) | Mid-level-ontology.kif 22077-22091 | If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that open is an attribute of Y holds during Z, the time of existence of X takes place during Z, and closed is an attribute of Y holds during immediately before the time of existence of X |
| ! [V__O,V__E] : (((s__instance(V__O,s__OpeningEye) & s__patient(V__O,V__E) & s__instance(V__E,s__Eye)) => (? [V__R,V__L,V__U,V__C] : ((s__instance(V__L,s__Object) & (s__instance(V__R,s__MuscleRelaxing) & s__patient(V__R,V__L) & s__instance(V__U,s__UpperEyelid) & s__part(V__L,V__E) & s__during(s__WhenFn(V__R) ,s__WhenFn(V__O)) & s__causes(V__R,V__U) & s__instance(V__U,s__Uncovering) & s__patient(V__U,V__C) & s__instance(V__C,s__Cornea) & s__part(V__C,V__E) & s__subProcess(V__R,V__O)))))) )
|
Mid-level-ontology.kif 22093-22110 | If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscle relaxing (3) W is a patient of Z (4) V is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of uncovering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) Z is a subprocess of X |
| ! [V__O,V__H] : (((s__instance(V__O,s__OpeningEye) & s__agent(V__O,V__H) & s__instance(V__H,s__Human) & ~(s__attribute(V__H,s__Blind))) => (? [V__S,V__R] : ((s__instance(V__S,s__Seeing) & s__agent(V__S,V__H) & s__patient(V__S,V__R) & s__instance(V__R,s__RadiatingVisibleLight) & s__during(s__WhenFn(V__S) ,s__WhenFn(V__O)))))) )
|
Mid-level-ontology.kif 22112-22127 | If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X |
| ! [V__C : $i,V__E : $i] : (((s__instance(V__C, s__ClosingEye) & s__patient(V__C, V__E)) => ( ? [V__U:$i, V__L:$i, V__T:$i] : ((s__instance(V__U, s__UpperEyelid) & s__instance(V__L, s__LowerEyelid) & s__part(V__U, V__E) & s__part(V__L, V__E) & s__holdsDuring(V__T, s__meetsSpatially(V__U, V__L)) & s__during(V__T, s__WhenFn(V__C))))))) | Mid-level-ontology.kif 22135-22147 | If X is an instance of closing eye and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of upper eye lid (3) W is an instance of lower eye lid (4) Z is a part of Y (5) W is a part of Y (6) Z meets W holds during V (7) V takes place during the time of existence of X |
| ! [V__C : $i,V__E : $i] : (((s__instance(V__C, s__ClosingEye) & s__patient(V__C, V__E) & s__instance(V__E, s__Eye)) => ( ? [V__T:$i] : ((s__holdsDuring(V__T, s__attribute(V__E, s__Closed)) & s__during(s__WhenFn(V__C), V__T) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__attribute(V__E, s__Open))))))) | Mid-level-ontology.kif 22149-22163 | If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, and open is an attribute of Y holds during immediately before the time of existence of X |
| ! [V__O,V__E] : (((s__instance(V__O,s__ClosingEye) & s__patient(V__O,V__E) & s__instance(V__E,s__Eye)) => (? [V__M,V__U,V__C,V__CC] : ((s__instance(V__M,s__MuscularContraction) & s__patient(V__M,V__U) & s__instance(V__U,s__UpperEyelid) & s__part(V__U,V__E) & s__during(s__WhenFn(V__M) ,s__WhenFn(V__O)) & s__causes(V__M,V__C) & s__instance(V__C,s__Covering) & s__patient(V__C,V__CC) & s__instance(V__CC,s__Cornea) & s__part(V__CC,V__E) & s__subProcess(V__C,V__O))))) )
|
Mid-level-ontology.kif 22165-22182 | If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X |
| ! [V__MAID : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__attribute(V__MAID, s__Maid)) => ( ? [V__SERVE:$i] : ((s__during(s__WhenFn(V__SERVE), V__T1) & s__instance(V__SERVE, s__Serving) & s__agent(V__SERVE, V__MAID)))))) | Mid-level-ontology.kif 22875-22881 | If maid is an attribute of X holds during Y, then there exists Z such that the time of existence of Z takes place during Y, Z is an instance of serving, and X is an agent of Z |
| ! [V__H : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__Alone)) => ~(( ? [V__H2:$i, V__SI:$i] : ((~(V__H = V__H2) & s__instance(V__H2, s__AutonomousAgent) & s__instance(V__SI, s__SocialInteraction) & s__during(s__WhenFn(V__SI), V__T) & s__involvedInEvent(V__SI, V__H) & s__involvedInEvent(V__SI, V__H2)))))) & (~(( ? [V__H2:$i, V__SI:$i] : ((~(V__H = V__H2) & s__instance(V__H2, s__AutonomousAgent) & s__instance(V__SI, s__SocialInteraction) & s__during(s__WhenFn(V__SI), V__T) & s__involvedInEvent(V__SI, V__H) & s__involvedInEvent(V__SI, V__H2))))) => s__holdsDuring(V__T, s__attribute(V__H, s__Alone))))) | Mid-level-ontology.kif 32857-32870 | All of the following hold: (1) Alone is an attribute of X holds during Y if (2) only if there don't exist Z (3) W such that equal X (4) Z (5) Z is an instance of agent (6) W is an instance of social interaction (7) the time of existence of W takes place during Y (8) X is an involved in event of W (9) Z is an involved in event of W |
| ! [V__A : $i,V__T : $i] : (((s__instance(V__A, s__AutonomousAgent) & s__holdsDuring(V__T, s__attribute(V__A, s__Motionless))) => ~(( ? [V__P:$i] : ((s__instance(V__P, s__BodyMotion) & s__instance(V__P, s__IntentionalProcess) & s__agent(V__P, V__A) & s__during(s__WhenFn(V__P), V__T))))))) | Mid-level-ontology.kif 32876-32887 | If X is an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of body motion, Z is an instance of intentional process, X is an agent of Z, and the time of existence of Z takes place during Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|