   Book
|
|
Sigma KEE - during
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(during ?SMALL ?BIG)
(temporalPart ?SMALL ?BIG)) |
Merge.kif 8460-8462 |
If X takes place during Y, then X is a part of Y |
(=>
(during ?INTERVAL1 ?INTERVAL2)
(and
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))
(before
(BeginFn ?INTERVAL2)
(BeginFn ?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 |
(=>
(and
(instance ?EVE Evening)
(instance ?AFT Afternoon)
(instance ?D Day)
(during ?EVE ?D)
(during ?AFT ?D))
(meetsTemporally ?AFT ?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 |
(=>
(and
(instance ?S Sunday)
(instance ?W Week)
(during ?S ?W))
(starts ?S ?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 |
(=>
(and
(instance ?S Saturday)
(instance ?W Week)
(during ?S ?W))
(finishes ?S ?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 |
(=>
(and
(muscleOrigin ?MC ?BPC)
(instance ?H Human)
(holdsDuring ?T
(attribute ?H StandardAnatomicalPosition))
(attribute ?H Healthy)
(instance ?C MuscularContraction)
(during
(WhenFn ?C) ?T)
(instance ?M ?MC)
(part ?M ?H)
(instrument ?C ?M)
(physicalEnd ?E ?M)
(meetsSpatially ?E ?BP)
(holdsDuring
(BeginFn ?C)
(located ?E ?L)))
(holdsDuring
(EndFn ?C)
(located ?E ?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 |
(=>
(and
(muscleInsertion ?MC ?BPC)
(instance ?H Human)
(holdsDuring ?T
(attribute ?H StandardAnatomicalPosition))
(attribute ?H Healthy)
(instance ?C MuscularContraction)
(during
(WhenFn ?C) ?T)
(instance ?M ?MC)
(part ?M ?H)
(instrument ?C ?M)
(physicalEnd ?E ?M)
(meetsSpatially ?E ?BP)
(holdsDuring
(BeginFn ?C)
(located ?E ?L)))
(holdsDuring
(EndFn ?C)
(not
(located ?E ?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 |
(=>
(and
(instance ?H Man)
(attribute ?H Mausaharati)
(instance ?D Drumming)
(agent ?D ?H)
(instance ?DAY Day)
(instance ?S Sunrise)
(during ?S ?DAY)
(earlier
(WhenFn ?D) ?S))
(hasPurpose ?D
(exists (?P ?SUHUR ?WU)
(and
(instance ?WU WakingUp)
(experiencer ?WU ?P)
(instance ?SUHUR Suhur)
(agent ?SUHUR ?P)
(earlier
(WhenFn ?WU)
(WhenFn ?SUHUR))
(during
(WhenFn ?WU) ?DAY)
(during
(WhenFn ?SUHUR) ?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 |
(=>
(and
(dampingRatio ?P ?R)
(greaterThan ?R 0)
(instance ?T Tremor)
(patient ?T ?P)
(instance ?U UnitOfLength)
(holdsDuring ?T1
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring ?T2
(physicalAmplitude ?T
(MeasureFn ?A2 ?U)))
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(earlier ?T1 ?T2))
(greaterThan ?A1 ?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 |
(=>
(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
(holdsDuring ?T1
(attribute ?H Dieting))
(holdsDuring ?T2
(not
(attribute ?H Dieting)))
(instance ?M1 Meal)
(instance ?E1 Eating)
(agent ?E1 ?H)
(resource ?E1 ?M1)
(during
(WhenFn ?E1) ?T1)
(measure ?M1
(MeasureFn ?C1 Calorie))
(instance ?M2 Meal)
(instance ?E2 Eating)
(agent ?E2 ?H)
(resource ?E2 ?M2)
(during
(WhenFn ?E2) ?T2)
(measure ?M2
(MeasureFn ?C2 Calorie)))
(modalAttribute
(greaterThan ?C2 ?C1) 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 |
(=>
(and
(instance ?T1 Advent)
(instance ?T2 ChristmasDay)
(during ?T1 ?YEAR)
(instance ?YEAR Year)
(meetsTemporally ?T1 ?T2))
(during ?T2 ?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 |
(=>
(and
(instance ?T1 Advent)
(instance ?T2 ChristmasDay)
(during ?T2 ?YEAR)
(instance ?YEAR Year)
(meetsTemporally ?T1 ?T2))
(during ?T1 ?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 |
(=>
(and
(instance ?ES EasterSunday)
(instance ?L Lent)
(meetsTemporally ?L ?ES)
(during ?ES ?Y)
(instance ?Y Year))
(during ?L ?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 |
(=>
(and
(instance ?ES EasterSunday)
(instance ?L Lent)
(meetsTemporally ?L ?ES)
(during ?L ?Y)
(instance ?Y Year))
(during ?ES ?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 |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?P PalmSunday)
(during ?E ?Y)
(during ?P ?Y)
(starts ?P ?I)
(finishes ?E ?I))
(duration ?I
(MeasureFn 8 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) |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?A AscensionThursday)
(during ?E ?Y)
(during ?A ?Y)
(starts ?E ?I)
(finishes ?A ?I))
(duration ?I
(MeasureFn 40 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) |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?P Pentecost)
(during ?E ?Y)
(during ?P ?Y)
(starts ?E ?I)
(finishes ?P ?I))
(duration ?I
(MeasureFn 50 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) |
(=>
(and
(breathingRate ?H ?T ?R)
(instance ?T Minute)
(not
(and
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during ?T
(WhenFn ?R))))
(holdsDuring ?T
(attribute ?H HumanAdult))
(or
(greaterThan ?R 16)
(lessThan ?R 12)))
(holdsDuring ?T
(not
(attribute ?H 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 |
(=>
(and
(instance ?MB MeasuringBreathing)
(agent ?MB ?A)
(instance ?L Lung)
(part ?L ?P)
(instance ?T TimeInterval)
(during ?T
(WhenFn ?MB))
(duration ?T MinuteDuration)
(patient ?MB ?P))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MB))
(exists (?BR)
(knows ?A
(breathingRate ?L ?T ?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 |
(=>
(and
(holdsDuring ?T
(attribute ?H ChronicFatigueSyndrome))
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during
(WhenFn ?R) ?T))
(modalAttribute
(and
(holdsDuring ?T2
(attribute ?H PostExertionalMalaise))
(earlier
(WhenFn ?R) ?T2)) 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 |
(=>
(and
(instance ?T TimePeriod)
(duration ?T
(MeasureFn ?N MinuteDuration))
(greaterThan ?N 5.0)
(instance ?H Human)
(not
(exists (?B)
(and
(instance ?B Breathing)
(during
(WhenFn ?B) ?T)
(patient ?B ?H)))))
(modalAttribute
(exists (?D)
(and
(instance ?D Death)
(experiencer ?D ?H)
(meetsTemporally ?T
(WhenFn ?D)))) 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 |
(=>
(and
(holdsDuring ?T
(attribute ?H AVPUVerbalStatus))
(instance ?S Speaking)
(destination ?S ?H)
(during
(WhenFn ?S) ?T))
(exists (?IA)
(and
(instance ?IA IntentionalProcess)
(agent ?IA ?H)
(during
(WhenFn ?IA) ?T)
(causes ?S ?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 |
(=>
(and
(holdsDuring ?T
(attribute ?H AVPUPainStatus))
(instance ?P Pain)
(during
(WhenFn ?P) ?T)
(experiencer ?P ?H))
(exists (?BM)
(and
(instance ?BM BodyMotion)
(experiencer ?BM ?H)
(during
(WhenFn ?BM) ?T)
(causes ?P ?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 |
(=>
(and
(equal
(DivisionFn
(PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?BIRTHCOUNT
(CardinalityFn
(KappaFn ?BIRTH
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(instance ?INFANT Human)
(during
(WhenFn ?BIRTH) ?YEAR)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)))))
(equal
(DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(BirthsPerThousandFn ?AREA ?YEAR) ?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
|
|
|
(=>
(and
(instance ?E Morning)
(instance ?D Day)
(equal ?E
(MorningFn ?D)))
(during ?E ?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 |
(=>
(and
(instance ?E Afternoon)
(instance ?D Day)
(equal ?E
(AfternoonFn ?D)))
(during ?E ?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 |
(=>
(and
(instance ?E Evening)
(instance ?D Day)
(equal ?E
(EveningFn ?D)))
(during ?E ?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 |
(=>
(and
(instance ?W
(WeekFn ?N ?Y))
(instance ?YI ?Y))
(during ?W ?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 |
(=>
(and
(instance ?Q QuarterYear)
(instance ?Q
(QuarterFn ?N
(YearFn ?Y)))
(instance ?YI
(YearFn ?Y)))
(during ?Q ?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 |
(=>
(and
(instance ?FL FlashingLight)
(origin ?FL ?L))
(exists (?I1 ?T2 ?I3)
(and
(instance ?I1 RadiatingLight)
(instance ?T2 TimeInterval)
(instance ?I3 RadiatingLight)
(meetsTemporally
(WhenFn ?I1) ?T2)
(meetsTemporally ?T2
(WhenFn ?I3))
(not
(exists (?I2)
(and
(instance ?I2 RadiatingLight)
(origin ?I2 ?L)
(during
(WhenFn ?I2) ?T2))))
(subProcess ?I1 ?FL)
(subProcess ?I3 ?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 |
(=>
(and
(instance ?I Itching)
(located ?I ?P)
(part ?P ?H)
(experiencer ?I ?H))
(desires ?H
(exists (?S)
(and
(instance ?S Scratching)
(during
(WhenFn ?S)
(WhenFn ?I))
(located ?S ?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 |
(=>
(and
(instance ?S SkinRash)
(experiencer ?S ?H))
(modalAttribute
(exists (?I)
(and
(instance ?I Itching)
(experiencer ?I ?H)
(during
(WhenFn ?I)
(WhenFn ?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 |
(=>
(and
(instance ?C CavalryUnit)
(instance ?B Battle)
(agent ?B ?C))
(exists (?P ?V ?T)
(and
(attribute ?P Soldier)
(member ?P ?C)
(instance ?T Transportation)
(agent ?T ?P)
(instance ?V Vehicle)
(patient ?T ?V)
(during ?T ?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 |
(=>
(heartRate ?H ?T ?I)
(exists (?C ?M)
(and
(instance ?C CollectionOfProcesses)
(memberType ?C HeartBeat)
(memberCount ?C ?I)
(=>
(member ?M ?C)
(and
(patient ?M ?H)
(during
(WhenFn ?M) ?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 |
(=>
(breathingRate ?H ?T ?I)
(exists (?C ?M)
(and
(instance ?C CollectionOfProcesses)
(memberType ?C Breath)
(memberCount ?C ?I)
(=>
(member ?M ?C)
(and
(patient ?M ?H)
(during
(WhenFn ?M) ?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 |
(=>
(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 ?HA HeartAttack)
(instance ?H Heart)
(located ?HA ?H))
(exists (?M)
(and
(instance ?M Muscle)
(part ?M ?H)
(not
(exists (?BF ?B)
(and
(instance ?BF LiquidMotion)
(objectTransferred ?BF ?B)
(instance ?B Blood)
(during ?BF
(WhenFn ?HA))
(destination ?BF ?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 |
(=>
(and
(instance ?HA Stroke)
(instance ?H Brain)
(located ?HA ?H))
(exists (?M)
(and
(instance ?M NerveCell)
(part ?M ?H)
(not
(exists (?BF ?B)
(and
(instance ?BF LiquidMotion)
(objectTransferred ?BF ?B)
(instance ?B Blood)
(during ?BF
(WhenFn ?HA))
(destination ?BF ?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 |
(=>
(holdsDuring ?T
(attribute ?H Dizzy))
(holdsDuring ?T
(fears ?H
(exists (?T2)
(=>
(and
(during ?T2 ?T)
(holdsDuring ?T2
(attribute ?H Standing)))
(exists (?F)
(and
(instance ?F Falling)
(experiencer ?F ?H)
(meetsTemporally ?T2
(WhenFn ?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 |
(=>
(and
(instance ?B Blinking)
(patient ?B ?E)
(instance ?E BothEyes))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Closed))
(during
(WhenFn ?B) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?B))
(attribute ?E Open))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?B))
(attribute ?E 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 |
(=>
(and
(instance ?O OpeningEye)
(patient ?O ?E)
(instance ?E Eye))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Open))
(during
(WhenFn ?O) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?O))
(attribute ?E 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 |
(=>
(and
(instance ?O OpeningEye)
(patient ?O ?E)
(instance ?E Eye))
(exists (?R ?L ?U ?C)
(and
(instance ?R MuscleRelaxing)
(patient ?R ?L)
(instance ?U UpperEyelid)
(part ?L ?E)
(during
(WhenFn ?R)
(WhenFn ?O))
(causes ?R ?U)
(instance ?U Uncovering)
(patient ?U ?C)
(instance ?C Cornea)
(part ?C ?E)
(subProcess ?R ?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 |
(=>
(and
(instance ?O OpeningEye)
(agent ?O ?H)
(instance ?H Human)
(not
(attribute ?H Blind)))
(exists (?S ?R)
(and
(instance ?S Seeing)
(agent ?S ?H)
(patient ?S ?R)
(instance ?R RadiatingVisibleLight)
(during
(WhenFn ?S)
(WhenFn ?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 |
(=>
(and
(instance ?C ClosingEye)
(patient ?C ?E))
(exists (?U ?L ?T)
(and
(instance ?U UpperEyelid)
(instance ?L LowerEyelid)
(part ?U ?E)
(part ?L ?E)
(holdsDuring ?T
(meetsSpatially ?U ?L))
(during ?T
(WhenFn ?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 |
(=>
(and
(instance ?C ClosingEye)
(patient ?C ?E)
(instance ?E Eye))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Closed))
(during
(WhenFn ?C) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(attribute ?E 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 |
(=>
(and
(instance ?O ClosingEye)
(patient ?O ?E)
(instance ?E Eye))
(exists (?M ?U ?C ?CC)
(and
(instance ?M MuscularContraction)
(patient ?M ?U)
(instance ?U UpperEyelid)
(part ?U ?E)
(during
(WhenFn ?M)
(WhenFn ?O))
(causes ?M ?C)
(instance ?C Covering)
(patient ?C ?CC)
(instance ?CC Cornea)
(part ?CC ?E)
(subProcess ?C ?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 |
(=>
(holdsDuring ?T1
(attribute ?MAID Maid))
(exists (?SERVE)
(and
(during
(WhenFn ?SERVE) ?T1)
(instance ?SERVE Serving)
(agent ?SERVE ?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 |
(<=>
(holdsDuring ?T
(attribute ?H Alone))
(not
(exists (?H2 ?SI)
(and
(not
(equal ?H ?H2))
(instance ?H2 AutonomousAgent)
(instance ?SI SocialInteraction)
(during
(WhenFn ?SI) ?T)
(involvedInEvent ?SI ?H)
(involvedInEvent ?SI ?H2))))) |
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 |
(=>
(and
(instance ?A AutonomousAgent)
(holdsDuring ?T
(attribute ?A Motionless)))
(not
(exists (?P)
(and
(instance ?P BodyMotion)
(instance ?P IntentionalProcess)
(agent ?P ?A)
(during
(WhenFn ?P) ?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 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
