holdsDuring

-------------------------


(=>
    (and
        (instance ?EM Electromagnet)
        (not
            (holdsDuring ?T1
                (exists (?T ?E)
                    (and
                        (instance ?T Transfer)
                        (instance ?E Electricity)
                        (objectTransferred ?T ?E)
                        (path ?T ?EM))))))
    (not
        (holdsDuring ?T1
            (exists (?M)
                (and
                    (instance ?M Magnetism)
                    (instrument ?M ?EM))))))		 Cars.kif 3905-3921
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA)))
    (holdsDuring
        (EndFn
            (WhenFn ?EXPORT))
        (not
            (located ?ITEM ?AREA))))		 Economy.kif 2421-2430
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA1)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?EXPORT))
                (located ?ITEM ?AREA2)))))		 Economy.kif 2432-2445
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (instance ?AREA2 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA1))
        (holdsDuring
            (EndFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA2)))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2456-2466
(=>
    (and
        (instance ?F Forehead)
        (holdsDuring ?T
            (and
                (attribute ?H Healthy)
                (attribute ?H Standing)))
        (part ?E ?H))
    (exists (?EYE)
        (and
            (instance ?EYE Eye)
            (part ?EYE ?H)
            (orientation ?F ?EYE Above))))		 Anatomy.kif 1488-1500
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))		 Cars.kif 2986-2992
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))		 Mid-level-ontology.kif 18814-18820
(=>
    (and
        (instance ?GROUP MusicalGroup)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (exists (?M)
        (and
            (instance ?M Musician)
            (holdsDuring ?T1
                (attribute ?MEM ?M)))))		 Media.kif 1771-1780
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))		 Medicine.kif 686-694
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))		 Medicine.kif 651-659
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))		 Mid-level-ontology.kif 342-348
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 219-225
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 269-274
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 392-397
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 311-318
(=>
    (and
        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
            (and
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))		 Medicine.kif 519-530
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))		 Medicine.kif 1328-1340
(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?MS)
        (instance ?MS MoodStabilizer)
        (instance ?E ?EC)
        (involvedInEvent ?E ?H)
        (holdsDuring
            (WhenFn ?E)
            (attribute ?H ?ES))
        (instance ?ES EmotionalState)
        (instance ?E2 ?EC)
        (involvedInEvent ?E2 ?H)
        (earlier
            (WhenFn ?E2)
            (WhenFn ?I)))
    (modalAttribute
        (not
            (holdsDuring ?E2
                (attribute ?H ?ES))) Unlikely))		 Mid-level-ontology.kif 9774-9795
(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (instance ?U UnitOfLength)
        (destination ?P ?E1)
        (physicalEnd ?E1 ?L)
        (physicalEnd ?E2 ?L)
        (not
            (equal ?E1 ?E2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E1 ?P1))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E1 ?P2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E2 ?P3))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E2 ?P4))
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (distance ?P3 ?P4
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))		 Mid-level-ontology.kif 1332-1355
(=>
    (and
        (instance ?MC MuscleRelaxing)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 10555-10570
(=>
    (and
        (instance ?MC MuscularContraction)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N1 ?N2))		 Mid-level-ontology.kif 10533-10548
(=>
    (and
        (instance ?MUSIC MakingVocalMusic)
        (agent ?MUSIC ?GROUP)
        (instance ?GROUP Choir)
        (holdsDuring ?MUSIC
            (member ?MEM ?GROUP)))
    (exists (?SING)
        (and
            (instance ?SING Singing)
            (subProcess ?SING ?MUSIC)
            (agent ?SING ?MEM))))		 Media.kif 1807-1817
(=>
    (and
        (instance ?O Oxidation)
        (patient ?O ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?O))
            (electronNumber ?S ?G)))
    (exists (?L)
        (and
            (lessThan ?L ?G)
            (holdsDuring
                (EndFn
                    (WhenFn ?O))
                (electronNumber ?S ?L)))))		 Mid-level-ontology.kif 19583-19595
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))		 Mid-level-ontology.kif 233-239
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))		 Mid-level-ontology.kif 22470-22475

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners