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


KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFutureFn
ImmediateFutureFn

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


(instance ImmediateFutureFn TemporalRelation) Merge.kif 8727-8727 Immediate future is an instance of temporal relation
(instance ImmediateFutureFn UnaryFunction) Merge.kif 8728-8728 Immediate future is an instance of unary function
(instance ImmediateFutureFn TotalValuedRelation) Merge.kif 8729-8729 Immediate future is an instance of total valued relation
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8730-8730 The number 1 argument of immediate future is an instance of time position
(range ImmediateFutureFn TimeInterval) Merge.kif 8731-8731 The range of immediate future is an instance of timeframe
(documentation ImmediateFutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition.") Merge.kif 8733-8735 The range of immediate future is an instance of timeframe

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ImmediateFutureFn "immediate future") domainEnglishFormat.kif 29351-29351
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來") domainEnglishFormat.kif 29352-29352
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来") domainEnglishFormat.kif 29353-29353
(format EnglishLanguage ImmediateFutureFn "immediately after %1") english_format.kif 469-469

antecedent
-------------------------


(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V UnitOfVolume)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))		 Mid-level-ontology.kif 4181-4193 If All of the following hold: (1) X is an instance of self connected object (2) Y is an instance of compressing (3) X is a patient of Y (4) the measure of X is Z W(s) holds during immediately before the time of existence of Y (5) W is an instance of unit of volume (6) the measure of X is V W(s) holds during immediately after the time of existence of Y, then Z is greater than V
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 11284-11306 If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 11345-11367 If All of the following hold: (1) X is an instance of PPI (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (and
        (instance ?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 11986-12001 If X is an instance of muscular contraction, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then Z is greater than V
(=>
    (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 12008-12023 If X is an instance of muscle relaxing, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then V is greater than Z
(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (instance ?U UnitOfLength)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?E))
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))		 Cars.kif 714-731 If All of the following hold: (1) X is an instance of motion (2) Y is an instance of tremor (3) Z is an instance of damper (4) W is a patient of Y (5) Z is a part of W (6) X causes Y (7) V is an instance of unit of length (8) the amplitude Y is U V(s) holds during the time of existence of X (9) the amplitude Y is T V(s) holds during immediately after the time of existence of X, then U is greater than T
(=>
    (and
        (holdsDuring ?T
            (attribute ?X Booting))
        (holdsDuring ?T2
            (attribute ?X HostReady))
        (equal ?T2
            (ImmediateFutureFn
                (WhenFn ?T)))
        (instance ?DIS ComputerDisplay)
        (connectedEngineeringComponents ?DIS ?X))
    (modalAttribute
        (exists (?HS)
            (and
                (instance ?HS HomeScreen)
                (displayedUpon ?HS ?DIS))) Likely))		 ComputingBrands.kif 3138-3152 If booting up is an attribute of X holds during Y, host ready is an attribute of X holds during Z, equal Z and immediately after the time of existence of Y, W is an instance of computer display, and W is connected to X, then the statement there exists V such that V is an instance of home screen and V is displayed on W has the modal force of likely
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (accountAtSite ?A ?S)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (patient ?P ?S)))) Possibility))		 ComputingBrands.kif 3878-3892 If X is an instance of logging in, Y has account Z, Z is an account at W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is a patient of U holds during V has the modal force of possibility
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (deviceAccount ?A ?C)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (instrument ?P ?C)))) Possibility))		 ComputingBrands.kif 3894-3908 If X is an instance of logging in, Y has account Z, device account Z and W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is an instrument for U holds during V has the modal force of possibility
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (lessThan ?Y ?X))		 Geography.kif 8680-8694 If X is an instance of deposition, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is less than Z
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (greaterThan ?Y ?X))		 Geography.kif 8732-8746 If X is an instance of sublimation, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is greater than Z
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (attribute ?H Concussion)) Likely))		 Medicine.kif 1309-1323 If X is an instance of impacting, Y is a patient of X, and impaired body part fn brain is an attribute of Y holds during immediately after the time of existence of X, then the statement mild traumatic brain injury is an attribute of Y holds during immediately after the time of existence of X has the modal force of likely
(=>
    (and
        (instance ?Compression DataCompression)
        (dataProcessed ?Compression ?Data)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?Memory ?Measure)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?NewMemory ?Measure))))
    (lessThan ?NewMemory ?Memory))		 QoSontology.kif 2050-2064 If X is an instance of data compression, Y is processed by X, Y requires Z W(s) holds during immediately before the time of existence of X, and Y requires V W(s) holds during immediately after the time of existence of X, then V is less than Z

consequent
-------------------------


(=>
    (and
        (resourceExhausted ?P ?R)
        (instance ?R ?C))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?P))
        (not
            (exists (?OBJ1)
                (and
                    (part ?OBJ1 ?R)
                    (instance ?OBJ1 ?C))))))		 Merge.kif 2644-2655 If X exhausts Y and Y is an instance of Z, then there doesn't exist W such that W is a part of Y and W is an instance of Z holds during immediately after the time of existence of X
(=>
    (holdsDuring ?TIME
        (confersNorm ?ENTITY ?NORM ?FORMULA))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))))		 Merge.kif 4103-4113 If X confers norm Y for Z holds during W, then the statement Z doesn't have the modal force of Y holds during immediately before W and the statement Z has the modal force of Y holds during immediately after W
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?NORM ?FORMULA))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))		 Merge.kif 4125-4134 If X deprives norm Y for Z holds during W, then the statement Z has the modal force of Y holds during immediately before W and the statement Z doesn't have the modal force of Y holds during immediately after W
(=>
    (instance ?INTERVAL TimeInterval)
    (starts
        (ImmediateFutureFn ?INTERVAL)
        (FutureFn ?INTERVAL)))		 Merge.kif 8737-8739 If X is an instance of timeframe, then immediately after X starts after X
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (and
            (result ?DEATH ?REM)
            (instance ?REM OrganicObject)
            (holdsDuring
                (FutureFn
                    (WhenFn ?DEATH))
                (attribute ?REM Dead))
            (=>
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?REM))
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?ORG))))))		 Merge.kif 10450-10469 If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10867-10876 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
(=>
    (objectTransferred ?P ?OBJ)
    (exists (?O ?D)
        (and
            (origin ?P ?O)
            (destination ?P ?D)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?P))
                (located ?OBJ ?O))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?P))
                (located ?OBJ ?D)))))		 Merge.kif 11620-11633 If the object transferred in X is Y, then there exist Z, W such that X originates at Z, X ends up at W, Y is located at Z holds during immediately before the time of existence of X, and Y is located at W holds during immediately after the time of existence of X
(=>
    (and
        (instance ?DISCOVER Discovering)
        (agent ?DISCOVER ?A)
        (patient ?DISCOVER ?OBJ)
        (holdsDuring
            (WhenFn ?DISCOVER)
            (located ?OBJ ?PLACE)))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DISCOVERING))
        (knows ?A
            (located ?OBJ ?PLACE))))		 Merge.kif 12256-12268 If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))		 Merge.kif 16234-16242 If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?JUDGE Judging)
        (agent ?JUDGE ?AGENT)
        (patient ?JUDGE ?OBJ))
    (exists (?ATR)
        (and
            (instance ?ATR SubjectiveAssessmentAttribute)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?JUDGE))
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17682-17694 If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after the time of existence of X
(=>
    (and
        (instance ?A Appointing)
        (patient ?A ?H))
    (exists (?P ?ORG)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?A))
                (not
                    (occupiesPosition ?H ?P ?ORG)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?A))
                (occupiesPosition ?H ?P ?ORG)))))		 Mid-level-ontology.kif 1032-1045 If X is an instance of appointing and Y is a patient of X, then there exist Z, W such that Y doesn't hold the position of Z in W holds during the beginning of the time of existence of X, and Y holds the position of Z in W holds during immediately after the time of existence of X
(=>
    (instance ?X Key)
    (hasPurpose ?X
        (exists (?LOCK ?CLOSE ?OPEN)
            (and
                (instance ?LOCK Lock)
                (capability
                    (KappaFn ?CLOSE
                        (and
                            (instance ?CLOSE Closing)
                            (patient ?CLOSE ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn
                                    (WhenFn ?CLOSE))
                                (attribute ?LOCK Locked)))) instrument ?X)
                (capability
                    (KappaFn ?OPEN
                        (and
                            (instance ?OPEN Closing)
                            (patient ?OPEN ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn
                                    (WhenFn ?OPEN))
                                (not
                                    (attribute ?LOCK Locked))))) instrument ?X)))))		 Mid-level-ontology.kif 3269-3293 If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument
(=>
    (and
        (instance ?R RelievingPain)
        (patient ?R ?H))
    (and
        (exists (?P1)
            (and
                (overlapsTemporally
                    (WhenFn ?P1)
                    (ImmediatePastFn
                        (WhenFn ?R)))
                (instance ?P1 Pain)
                (located ?P1 ?H)))
        (not
            (exists (?P2)
                (and
                    (overlapsTemporally
                        (WhenFn ?P2)
                        (ImmediateFutureFn
                            (WhenFn ?R)))
                    (instance ?P2 Pain)
                    (located ?P2 ?H))))))		 Mid-level-ontology.kif 6898-6917 If X is an instance of relieving pain and Y is a patient of X, then there exists Z such that immediately before the time of existence of X overlaps the time of existence of Z, Z is an instance of pain, and Z is located at Y and there doesn't exist W such that immediately after the time of existence of X overlaps the time of existence of W, W is an instance of pain, and W is located at Y
(=>
    (holdsDuring ?T
        (fears ?A
            (instance ?P Process)))
    (believes ?A
        (modalAttribute
            (holdsDuring
                (ImmediateFutureFn ?T)
                (exists (?D)
                    (and
                        (instance ?D Damaging)
                        (patient ?D ?A)
                        (causes ?P ?D)))) Likely)))		 Mid-level-ontology.kif 8696-8708 If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))		 Mid-level-ontology.kif 9286-9291 If X is an instance of wedding, then there exist Y and Z such that Y is the spouse of Z holds during immediately after the time of existence of X
(=>
    (instance ?C Clotting)
    (exists (?B)
        (and
            (instance ?B Blood)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (attribute ?B Liquid))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?C))
                (attribute ?B Solid)))))		 Mid-level-ontology.kif 11951-11963 If X is an instance of coagulation, then there exists Y such that Y is an instance of blood, liquid is an attribute of Y holds during immediately before the time of existence of X, and solid is an attribute of Y holds during immediately after the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H Sleepy))
    (desires ?H
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?H Asleep))))		 Mid-level-ontology.kif 18067-18073 If sleepy is an attribute of X holds during Y, then X desires asleep is an attribute of X holds during immediately after Y
(=>
    (instance ?ESCAPE Escaping)
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?ESCAPE))
        (not
            (exists (?AGENT)
                (holdsRight ?AGENT
                    (agent ?ESCAPE ?AGENT))))))		 Mid-level-ontology.kif 19054-19061 If X is an instance of escaping, then there doesn't exist Y such that Y has the right to perform holds during immediately after the time of existence of X
(=>
    (and
        (instance ?E Escaping)
        (agent ?E ?A))
    (holdsDuring
        (ImmediateFutureFn
            (EndFn
                (WhenFn ?E)))
        (not
            (exists (?C)
                (and
                    (instance ?C Confining)
                    (patient ?C ?A))))))		 Mid-level-ontology.kif 19072-19084 If X is an instance of escaping and Y is an agent of X, then there doesn't exist Z such that Z is an instance of confining and Y is a patient of Z holds during immediately after the end of the time of existence of X
(=>
    (and
        (instance ?P Pushing)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (exists (?LARGER ?U ?SMALLER)
            (and
                (distance ?ALOC ?D
                    (MeasureFn ?SMALLER ?U))
                (distance ?ALOC ?O
                    (MeasureFn ?LARGER ?U))
                (greaterThan ?LARGER ?SMALLER)))))		 Mid-level-ontology.kif 19536-19554 If X is an instance of pushing, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X
(=>
    (and
        (instance ?P Pulling)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (exists (?LARGER ?U ?SMALLER)
            (and
                (distance ?ALOC ?D
                    (MeasureFn ?SMALLER ?U))
                (distance ?ALOC ?O
                    (MeasureFn ?LARGER ?U))
                (greaterThan ?LARGER ?SMALLER)))))		 Mid-level-ontology.kif 19558-19576 If X is an instance of pulling, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X
(=>
    (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 ?N Nausea)
        (experiencer ?N ?H))
    (believes ?H
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?N))
            (exists (?V)
                (and
                    (instance ?V Vomiting)
                    (experiencer ?V ?H))))))		 Mid-level-ontology.kif 23637-23648 If X is an instance of nausea and Y experiences X, then Y believes there exists Z such that Z is an instance of vomiting and Y experiences Z holds during immediately after the time of existence of X
(=>
    (and
        (instance ?O Object)
        (instance ?OPEN Opening)
        (patient ?OPEN ?O))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?OPEN))
        (attribute ?O Open)))		 Mid-level-ontology.kif 23710-23716 If X is an instance of object, Y is an instance of opening, and X is a patient of Y, then open is an attribute of X holds during immediately after the time of existence of Y
(=>
    (and
        (instance ?O Object)
        (instance ?C Closing)
        (patient ?C ?O))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (attribute ?O Closed)))		 Mid-level-ontology.kif 23762-23768 If X is an instance of object, Y is an instance of closing, and X is a patient of Y, then closed is an attribute of X holds during immediately after the time of existence of Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity)))		 Government.kif 2757-2761 X is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" holds during immediately after X
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))		 Government.kif 2783-2786 X is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after X


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