Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ImmediateFutureFn |
| appearance as argument number 1 |
|
| s__instance(s__ImmediateFutureFn,s__TemporalRelation)
|
Merge.kif 8727-8727 | Immediate future is an instance of temporal relation |
| s__instance(s__ImmediateFutureFn,s__UnaryFunction)
|
Merge.kif 8728-8728 | Immediate future is an instance of unary function |
| s__instance(s__ImmediateFutureFn,s__TotalValuedRelation)
|
Merge.kif 8729-8729 | Immediate future is an instance of total valued relation |
| s__domain(s__ImmediateFutureFn,n__1,s__TimePosition)
|
Merge.kif 8730-8730 | The number 1 argument of immediate future is an instance of time position |
| s__range(s__ImmediateFutureFn,s__TimeInterval)
|
Merge.kif 8731-8731 | The range of immediate future is an instance of timeframe |
| s__documentation(s__ImmediateFutureFn, s__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 |
|
|
| antecedent |
|
|
| ! [V__C : $i,V__N1 : $real,V__N2 : $real,V__SCO : $i,V__V : $i] : (((s__instance(V__SCO, s__SelfConnectedObject) & s__instance(V__C, s__Compressing) & s__patient(V__C, V__SCO) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__measure(V__SCO, s__MeasureFn(V__N1, V__V))) & s__instance(V__V, s__UnitOfVolume) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__measure(V__SCO, s__MeasureFn(V__N2, V__V)))) => ($greater(V__N1,V__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 |
| ! [V__A : $i,V__F1 : $i,V__F2 : $i,V__H : $i,V__I : $i,V__N1 : $i,V__N2 : $i,V__S : $i] : (((s__instance(V__A, s__Antacid) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__A) & s__instance(V__S, s__Stomach) & s__part(V__S, V__H) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__I)), (s__contains(V__S, V__F1) & s__instance(V__F1, s__Fluid))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__I)), (s__contains(V__S, V__F2) & s__instance(V__F2, s__Fluid))) & s__phMeasure(V__F1, V__N1) & s__phMeasure(V__F2, V__N2)) => ($greater(V__N2,V__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 |
| ! [V__A : $i,V__F1 : $i,V__F2 : $i,V__H : $i,V__I : $i,V__N1 : $i,V__N2 : $i,V__S : $i] : (((s__instance(V__A, s__ProtonPumpInhibitor) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__A) & s__instance(V__S, s__Stomach) & s__part(V__S, V__H) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__I)), (s__contains(V__S, V__F1) & s__instance(V__F1, s__Fluid))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__I)), (s__contains(V__S, V__F2) & s__instance(V__F2, s__Fluid))) & s__phMeasure(V__F1, V__N1) & s__phMeasure(V__F2, V__N2)) => ($greater(V__N2,V__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 |
| ! [V__M : $i,V__MC : $i,V__N1 : $real,V__N2 : $real,V__U : $i] : (((s__instance(V__MC, s__MuscularContraction) & s__patient(V__MC, V__M) & s__instance(V__M, s__Muscle) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__MC)), s__length(V__M, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MC)), s__length(V__M, s__MeasureFn(V__N2, V__U)))) => ($greater(V__N1,V__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 |
| ! [V__M : $i,V__MC : $i,V__N1 : $real,V__N2 : $real,V__U : $i] : (((s__instance(V__MC, s__MuscleRelaxing) & s__patient(V__MC, V__M) & s__instance(V__M, s__Muscle) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__MC)), s__length(V__M, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MC)), s__length(V__M, s__MeasureFn(V__N2, V__U)))) => ($greater(V__N2,V__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 |
| ! [V__A1 : $real,V__A2 : $real,V__D : $i,V__E : $i,V__O : $i,V__T : $i,V__U : $i] : (((s__instance(V__E, s__Motion) & s__instance(V__T, s__Tremor) & s__instance(V__D, s__Damper) & s__patient(V__T, V__O) & s__part(V__D, V__O) & s__causes(V__E, V__T) & s__instance(V__U, s__UnitOfLength) & s__holdsDuring(s__WhenFn(V__E), s__physicalAmplitude(V__T, s__MeasureFn(V__A1, V__U))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__E)), s__physicalAmplitude(V__T, s__MeasureFn(V__A2, V__U)))) => ($greater(V__A1,V__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 |
| ! [V__DIS : $i,V__T : $i,V__T2 : $i,V__X : $i] : (((s__holdsDuring(V__T, s__attribute(V__X, s__Booting)) & s__holdsDuring(V__T2, s__attribute(V__X, s__HostReady)) & V__T2 = s__ImmediateFutureFn(s__WhenFn(V__T)) & s__instance(V__DIS, s__ComputerDisplay) & s__connectedEngineeringComponents(V__DIS, V__X)) => s__modalAttribute(( ? [V__HS:$i] : ((s__instance(V__HS, s__HomeScreen) & s__displayedUpon(V__HS, V__DIS)))), s__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 |
| ! [V__A : $i,V__LI : $i,V__S : $i,V__T : $i,V__U : $i] : (((s__instance(V__LI, s__LoggingIn) & s__hasAccount(V__U, V__A) & s__accountAtSite(V__A, V__S) & V__T = s__ImmediateFutureFn(s__WhenFn(V__LI)) & s__agent(V__LI, V__U)) => s__modalAttribute(s__holdsDuring(V__T, ( ? [V__P:$i] : ((s__instance(V__P, s__ComputerProcess) & s__agent(V__P, V__U) & s__patient(V__P, V__S))))), 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 |
| ! [V__A : $i,V__C : $i,V__LI : $i,V__T : $i,V__U : $i] : (((s__instance(V__LI, s__LoggingIn) & s__hasAccount(V__U, V__A) & s__deviceAccount(V__A, V__C) & V__T = s__ImmediateFutureFn(s__WhenFn(V__LI)) & s__agent(V__LI, V__U)) => s__modalAttribute(s__holdsDuring(V__T, ( ? [V__P:$i] : ((s__instance(V__P, s__ComputerProcess) & s__agent(V__P, V__U) & s__instrument(V__P, V__C))))), s__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 |
| ! [V__DEPOSITION : $i,V__OBJ : $i,V__X : $real,V__Y : $real] : (((s__instance(V__DEPOSITION, s__Deposition) & s__patient(V__DEPOSITION, V__OBJ) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEPOSITION)), s__measure(V__OBJ, s__MeasureFn(V__X, s__Joule))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEPOSITION)), s__measure(V__OBJ, s__MeasureFn(V__Y, s__Joule)))) => ($less(V__Y,V__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 |
| ! [V__OBJ : $i,V__SUBLIMATION : $i,V__X : $real,V__Y : $real] : (((s__instance(V__SUBLIMATION, s__Sublimation) & s__patient(V__SUBLIMATION, V__OBJ) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__SUBLIMATION)), s__measure(V__OBJ, s__MeasureFn(V__X, s__Joule))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__SUBLIMATION)), s__measure(V__OBJ, s__MeasureFn(V__Y, s__Joule)))) => ($greater(V__Y,V__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 |
| ! [V__H : $i,V__I : $i] : (((s__instance(V__I, s__Impacting) & s__patient(V__I, V__H) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__I)), s__attribute(V__H, s__ImpairedBodyPartFn(s__Brain)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__I)), s__attribute(V__H, s__Concussion)), s__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 |
| ! [V__Compression : $i,V__Data : $i,V__Measure : $i,V__Memory : $real,V__NewMemory : $real] : (((s__instance(V__Compression, s__DataCompression) & s__dataProcessed(V__Compression, V__Data) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__Compression)), s__memorySize(V__Data, s__MeasureFn(V__Memory, V__Measure))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__Compression)), s__memorySize(V__Data, s__MeasureFn(V__NewMemory, V__Measure)))) => ($less(V__NewMemory,V__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 |
|
|
| ! [V__C : $i,V__P : $i,V__R : $i] : (((s__resourceExhausted(V__P, V__R) & s__instance(V__R, V__C)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__P)), ~(( ? [V__OBJ1:$i] : ((s__part(V__OBJ1, V__R) & s__instance(V__OBJ1, V__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 |
| ! [V__ENTITY : $i,V__FORMULA : $i,V__NORM : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__confersNorm(V__ENTITY, V__NORM, V__FORMULA)) => (s__holdsDuring(s__ImmediatePastFn(V__TIME), ~(s__modalAttribute(V__FORMULA, V__NORM))) & s__holdsDuring(s__ImmediateFutureFn(V__TIME), s__modalAttribute(V__FORMULA, V__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 |
| ! [V__ENTITY : $i,V__FORMULA : $i,V__NORM : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__deprivesNorm(V__ENTITY, V__NORM, V__FORMULA)) => (s__holdsDuring(s__ImmediatePastFn(V__TIME), s__modalAttribute(V__FORMULA, V__NORM)) & s__holdsDuring(s__ImmediateFutureFn(V__TIME), ~(s__modalAttribute(V__FORMULA, V__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 |
| ! [V__INTERVAL] : ((s__instance(V__INTERVAL,s__TimeInterval) => s__starts(s__ImmediateFutureFn(V__INTERVAL) ,s__FutureFn(V__INTERVAL))) )
|
Merge.kif 8737-8739 | If X is an instance of timeframe, then immediately after X starts after X |
| ! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__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 |
| ! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__JOIN)), s__employs(V__ORG, V__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 |
| ! [V__OBJ : $i,V__P : $i] : ((s__objectTransferred(V__P, V__OBJ) => ( ? [V__O:$i, V__D:$i] : ((s__origin(V__P, V__O) & s__destination(V__P, V__D) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__P)), s__located(V__OBJ, V__O)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__P)), s__located(V__OBJ, V__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 |
| ! [V__A : $i,V__DISCOVER : $i,V__DISCOVERING : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__DISCOVER, s__Discovering) & s__agent(V__DISCOVER, V__A) & s__patient(V__DISCOVER, V__OBJ) & s__holdsDuring(s__WhenFn(V__DISCOVER), s__located(V__OBJ, V__PLACE))) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DISCOVERING)), s__knows(V__A, s__located(V__OBJ, V__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 |
| ! [V__C : $i,V__I : $i,V__P : $i] : (((s__instance(V__C, s__Covering) & s__patient(V__C, V__P) & s__instrument(V__C, V__I)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__covers(V__I, V__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 |
| ! [V__AGENT : $i,V__JUDGE : $i,V__OBJ : $i] : (((s__instance(V__JUDGE, s__Judging) & s__agent(V__JUDGE, V__AGENT) & s__patient(V__JUDGE, V__OBJ)) => ( ? [V__ATR:$i] : ((s__instance(V__ATR, s__SubjectiveAssessmentAttribute) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__JUDGE)), s__believes(V__AGENT, s__property(V__OBJ, V__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 |
| ! [V__A : $i,V__H : $i] : (((s__instance(V__A, s__Appointing) & s__patient(V__A, V__H)) => ( ? [V__P:$i, V__ORG:$i] : ((s__holdsDuring(s__BeginFn(s__WhenFn(V__A)), ~(s__occupiesPosition(V__H, V__P, V__ORG))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__A)), s__occupiesPosition(V__H, V__P, V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__Key) => s__hasPurpose(V__X, ( ? [V__LOCK:$i, V__CLOSE:$i, V__OPEN:$i] : ((s__instance(V__LOCK, s__Lock) & s__capability(s__KappaFn(V__CLOSE, (s__instance(V__CLOSE, s__Closing) & s__patient(V__CLOSE, V__LOCK) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__CLOSE)), s__attribute(V__LOCK, s__Locked)))), s__instrument, V__X) & s__capability(s__KappaFn(V__OPEN, (s__instance(V__OPEN, s__Closing) & s__patient(V__OPEN, V__LOCK) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__OPEN)), ~(s__attribute(V__LOCK, s__Locked))))), s__instrument, V__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 |
| ! [V__H,V__R] : ((s__instance(V__H,s__Object) => ((s__instance(V__R,s__RelievingPain) & s__patient(V__R,V__H)) => ((? [V__P1] : ((s__overlapsTemporally(s__WhenFn(V__P1) ,s__ImmediatePastFn(s__WhenFn(V__R))) & s__instance(V__P1,s__Pain) & s__located(V__P1,V__H)))) & ~((? [V__P2] : ((s__overlapsTemporally(s__WhenFn(V__P2) ,s__ImmediateFutureFn(s__WhenFn(V__R))) & s__instance(V__P2,s__Pain) & s__located(V__P2,V__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 |
| ! [V__A : $i,V__P : $i,V__T : $i] : ((s__holdsDuring(V__T, s__fears(V__A, s__instance(V__P, s__Process))) => s__believes(V__A, s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), ( ? [V__D:$i] : ((s__instance(V__D, s__Damaging) & s__patient(V__D, V__A) & s__causes(V__P, V__D))))), s__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 |
| ! [V__WED : $i] : ((s__instance(V__WED, s__Wedding) => ( ? [V__PERSON1:$i, V__PERSON2:$i] : (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__WED)), s__spouse(V__PERSON1, V__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 |
| ! [V__C : $i] : ((s__instance(V__C, s__Clotting) => ( ? [V__B:$i] : ((s__instance(V__B, s__Blood) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__attribute(V__B, s__Liquid)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__attribute(V__B, s__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 |
| ! [V__H : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__Sleepy)) => s__desires(V__H, s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__H, s__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 |
| ! [V__ESCAPE : $i] : ((s__instance(V__ESCAPE, s__Escaping) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__ESCAPE)), ~(( ? [V__AGENT:$i] : (s__holdsRight(V__AGENT, s__agent(V__ESCAPE, V__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 |
| ! [V__A : $i,V__E : $i] : (((s__instance(V__E, s__Escaping) & s__agent(V__E, V__A)) => s__holdsDuring(s__ImmediateFutureFn(s__EndFn(s__WhenFn(V__E))), ~(( ? [V__C:$i] : ((s__instance(V__C, s__Confining) & s__patient(V__C, V__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 |
| ! [V__A : $i,V__ALOC : $i,V__D : $i,V__O : $i,V__P : $i] : (((s__instance(V__P, s__Pushing) & s__origin(V__P, V__O) & s__agent(V__P, V__A) & s__holdsDuring(s__BeginFn(V__P), s__located(V__A, V__ALOC)) & s__destination(V__P, V__D)) => s__holdsDuring(s__ImmediateFutureFn(s__BeginFn(V__P)), ( ? [V__LARGER:$real, V__U:$i, V__SMALLER:$real] : ((s__distance(V__ALOC, V__D, s__MeasureFn(V__SMALLER, V__U)) & s__distance(V__ALOC, V__O, s__MeasureFn(V__LARGER, V__U)) & ($greater(V__LARGER,V__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 |
| ! [V__A : $i,V__ALOC : $i,V__D : $i,V__O : $i,V__P : $i] : (((s__instance(V__P, s__Pulling) & s__origin(V__P, V__O) & s__agent(V__P, V__A) & s__holdsDuring(s__BeginFn(V__P), s__located(V__A, V__ALOC)) & s__destination(V__P, V__D)) => s__holdsDuring(s__ImmediateFutureFn(s__BeginFn(V__P)), ( ? [V__LARGER:$real, V__U:$i, V__SMALLER:$real] : ((s__distance(V__ALOC, V__D, s__MeasureFn(V__SMALLER, V__U)) & s__distance(V__ALOC, V__O, s__MeasureFn(V__LARGER, V__U)) & ($greater(V__LARGER,V__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 |
| ! [V__B : $i,V__E : $i] : (((s__instance(V__B, s__Blinking) & s__patient(V__B, V__E) & s__instance(V__E, s__BothEyes)) => ( ? [V__T:$i] : ((s__holdsDuring(V__T, s__attribute(V__E, s__Closed)) & s__during(s__WhenFn(V__B), V__T) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__B)), s__attribute(V__E, s__Open)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__B)), s__attribute(V__E, s__Open))))))) | Mid-level-ontology.kif 22029-22047 | If X is an instance of blinking, Y is a patient of X, and Y is an instance of both eyes, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
| ! [V__H : $i,V__N : $i] : (((s__instance(V__N, s__Nausea) & s__experiencer(V__N, V__H)) => s__believes(V__H, s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__N)), ( ? [V__V:$i] : ((s__instance(V__V, s__Vomiting) & s__experiencer(V__V, 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 |
| ! [V__O : $i,V__OPEN : $i] : (((s__instance(V__O, s__Object) & s__instance(V__OPEN, s__Opening) & s__patient(V__OPEN, V__O)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__OPEN)), s__attribute(V__O, s__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 |
| ! [V__C : $i,V__O : $i] : (((s__instance(V__O, s__Object) & s__instance(V__C, s__Closing) & s__patient(V__C, V__O)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__attribute(V__O, s__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 |
|
|
| ! [V__TIME : $i] : (s__holdsDuring(s__ImmediateFutureFn(V__TIME), (s__instance(V__TIME, s__YearFn(1996)) & s__conventionalLongName("Agency for the French_Speaking Community", s__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 |
| ! [V__T : $i] : (s__holdsDuring(s__ImmediateFutureFn(V__T), (s__instance(V__T, s__DayFn(1, s__MonthFn(s__October, s__YearFn(1992)))) & s__conventionalLongName("Andean Community of Nations", s__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 |
|