Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - during
during

appearance as argument number 1
-------------------------


(instance during TransitiveRelation) Merge.kif 8507-8507 during is an instance of transitive relation
(instance during BinaryPredicate) Merge.kif 8508-8508 during is an instance of binary predicate
(instance during IrreflexiveRelation) Merge.kif 8509-8509 during is an instance of irreflexive relation
(domain during 1 TimeInterval) Merge.kif 8511-8511 The number 1 argument of during is an instance of timeframe
(domain during 2 TimeInterval) Merge.kif 8512-8512 The number 2 argument of during is an instance of timeframe
(documentation during 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
-------------------------


(termFormat EnglishLanguage during "during") domainEnglishFormat.kif 20694-20694
(termFormat ChineseTraditionalLanguage during "期間") domainEnglishFormat.kif 20695-20695
(termFormat ChineseLanguage during "期间") domainEnglishFormat.kif 20696-20696
(format EnglishLanguage during "%1 %n{doesn't} take%p{s} place during %2") english_format.kif 439-439

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners