Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WhenFn |
| appearance as argument number 1 |
|
| s__instance(s__WhenFn,s__TemporalRelation)
|
Merge.kif 8667-8667 | When is an instance of temporal relation |
| s__instance(s__WhenFn,s__UnaryFunction)
|
Merge.kif 8668-8668 | When is an instance of unary function |
| s__instance(s__WhenFn,s__TotalValuedRelation)
|
Merge.kif 8669-8669 | When is an instance of total valued relation |
| s__domain(s__WhenFn,n__1,s__Physical)
|
Merge.kif 8670-8670 | The number 1 argument of when is an instance of physical |
| s__range(s__WhenFn,s__TimeInterval)
|
Merge.kif 8671-8671 | The range of when is an instance of timeframe |
| s__documentation(s__WhenFn, s__EnglishLanguage, "A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists_ Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold_") | Merge.kif 8673-8676 | The range of when is an instance of timeframe |
| appearance as argument number 2 |
|
|
| s__relatedInternalConcept(s__WhereFn,s__WhenFn)
|
Merge.kif 4340-4340 | Where is internally related to when |
| s__termFormat(s__EnglishLanguage, s__WhenFn, "when") | domainEnglishFormat.kif 62986-62986 | Where is internally related to when |
| s__termFormat(s__ChineseTraditionalLanguage, s__WhenFn, "何時") | domainEnglishFormat.kif 62987-62987 | Where is internally related to when |
| s__termFormat(s__ChineseLanguage, s__WhenFn, "何时") | domainEnglishFormat.kif 62988-62988 | Where is internally related to when |
| s__format(s__EnglishLanguage, s__WhenFn, "the time of existence of %1") | english_format.kif 461-461 | Where is internally related to when |
| antecedent |
|
|
| ! [V__L : $i,V__P : $i,V__T : $i,V__X : $i] : (((s__prevents(V__X, V__P) & s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)) => ~(s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__P) & s__eventLocated(V__Y, V__L)))))))) | Merge.kif 4489-4499 | If X prevents the occurrence of Y, equal the time of existence of X and Z, and X is located at W, then there doesn't exist V such that V is an instance of Y and V is located at W doesn't hold during Z |
| ! [V__POS,V__THING] : (((s__instance(V__POS,s__TimePosition) & s__instance(V__THING,s__Physical)) => (s__temporalPart(V__POS,s__WhenFn(V__THING)) => s__time(V__THING,V__POS))) )
|
Merge.kif 8143-8146 | If X is a part of the time of existence of Y, then Y exists during X |
| ! [V__OBJ : $i,V__PROC : $i,V__QUANT1 : $real,V__QUANT2 : $real] : (((s__resource(V__PROC, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__PROC)), s__measure(V__OBJ, V__QUANT1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__PROC)), s__measure(V__OBJ, V__QUANT2))) => ($greater(V__QUANT1,V__QUANT2)))) | Merge.kif 8199-8204 | If X is a resource for Y, the measure of X is Z holds during the beginning of the time of existence of Y, and the measure of X is W holds during the end of the time of existence of Y, then Z is greater than W |
| ! [V__PHYS,V__TIME] : (((s__instance(V__PHYS,s__Physical) & s__instance(V__TIME,s__TimePoint)) => (s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS)) ,V__TIME,s__EndFn(s__WhenFn(V__PHYS))) => (s__time(V__PHYS,V__TIME) & s__instance(V__TIME,s__TimePoint)))) )
|
Merge.kif 8414-8423 | If X is between or at the beginning of the time of existence of Y and the end of the time of existence of Y, then Y exists during X and X is an instance of time point |
| ! [V__PHYS1,V__PHYS2] : (((s__instance(V__PHYS1,s__Physical) & s__instance(V__PHYS2,s__Physical)) => ((s__WhenFn(V__PHYS1) = s__WhenFn(V__PHYS2)) => s__cooccur(V__PHYS1,V__PHYS2))) )
|
Merge.kif 8604-8606 | If equal the time of existence of X and the time of existence of Y, then X occurs at the same time as Y |
| ! [V__AGENT : $i,V__LENGTH1 : $i,V__LENGTH2 : $i,V__RUN : $i,V__TIME : $i,V__WALK : $i] : (((s__instance(V__WALK, s__Walking) & s__instance(V__RUN, s__Running) & s__agent(V__WALK, V__AGENT) & s__agent(V__RUN, V__AGENT) & s__holdsDuring(s__WhenFn(V__WALK), s__measure(V__AGENT, s__SpeedFn(V__LENGTH1, V__TIME))) & s__holdsDuring(s__WhenFn(V__RUN), s__measure(V__AGENT, s__SpeedFn(V__LENGTH2, V__TIME)))) => ($greater(V__LENGTH2,V__LENGTH1)))) | Merge.kif 11410-11418 | If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W |
| ! [V__L : $i,V__N : $real,V__T : $i,V__W : $i] : (((s__attribute(V__W, s__Windy) & s__located(V__W, V__L) & V__T = s__WhenFn(V__W) & s__holdsDuring(V__T, s__surfaceWindSpeed(V__L, s__MeasureFn(V__N, s__MilesPerHour)))) => ($greater(V__N,20.0)))) | Merge.kif 11545-11553 | If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
| ! [V__AGENT1 : $i,V__AGENT2 : $i,V__CHANGE : $i,V__OBJ : $i] : (((s__instance(V__CHANGE, s__ChangeOfPossession) & s__patient(V__CHANGE, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT1, V__OBJ)) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT2, V__OBJ))) => ~(V__AGENT1 = V__AGENT2))) | Merge.kif 11923-11930 | If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W |
| ! [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__A : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__A, s__Attaching) & s__patient(V__A, V__O1) & s__patient(V__A, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), s__connected(V__O1, V__O2))) => (s__objectAttached(V__A, V__O1) & s__objectAttached(V__A, V__O2)))) | Merge.kif 12671-12685 | If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object |
| ! [V__A : $i,V__D : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__D, s__Detaching) & s__patient(V__D, V__O1) & s__patient(V__D, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__D)), s__connected(V__O1, V__O2)) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2)))) => (s__objectDetached(V__A, V__O1) & s__objectDetached(V__A, V__O2)))) | Merge.kif 12721-12730 | If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
| ! [V__PROCESS,V__PATIENT] : (((s__instance(V__PROCESS,s__Process) & s__instance(V__PATIENT,s__Physical)) => ((s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))) & ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))) => s__instance(V__PROCESS,s__Creation))) )
|
Merge.kif 13094-13100 | If X is a patient of Y, X exists during the end of the time of existence of Y, and X doesn't exist during the beginning of the time of existence of Y, then Y is an instance of creation |
| ! [V__BOILING : $i,V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TYPE : $i] : (((s__instance(V__BOILING, s__Boiling) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__instance(V__SUBSTANCE, V__TYPE) & s__patient(V__BOILING, V__SUBSTANCE) & s__holdsDuring(s__WhenFn(V__BOILING), s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature)) => ($greatereq(V__TEMP2,V__TEMP1)))) | Merge.kif 14140-14148 | If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y |
| ! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Larval)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => s__meetsTemporally(V__BW, V__TIME))) | Merge.kif 18522-18528 | If larval is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W meets Y |
| ! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Embryonic)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => ~(s__overlapsTemporally(V__TIME, V__BW)))) | Merge.kif 18544-18550 | If embryonic is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W doesn't overlap Y |
| ! [V__OBJ : $i,V__REM : $i] : (((s__instance(V__REM, s__OrganismRemains) & s__holdsDuring(s__WhenFn(V__REM), s__part(V__OBJ, V__REM))) => ( ? [V__ORG:$i] : ((s__instance(V__ORG, s__Organism) & s__earlier(s__WhenFn(V__ORG), s__WhenFn(V__REM)) & s__finishes(s__WhenFn(V__REM), s__WhenFn(V__ORG)) & s__holdsDuring(s__WhenFn(V__ORG), s__part(V__OBJ, V__ORG))))))) | Mid-level-ontology.kif 32-43 | If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z |
| ! [V__A : $i,V__D : $i,V__DT : $i] : (((s__instance(V__D, s__Dodging) & s__agent(V__D, V__A) & V__DT = s__WhenFn(V__D)) => s__hasPurpose(V__D, ~(( ? [V__I:$i] : (((s__meetsTemporally(V__DT, s__WhenFn(V__I)) | s__overlapsTemporally(V__DT, s__WhenFn(V__I))) & s__instance(V__I, s__Impacting) & s__patient(V__I, V__A)))))))) | Mid-level-ontology.kif 433-446 | If X is an instance of dodging, Y is an agent of X, and equal Z and the time of existence of X, then X has the purpose there doesn't exist W such that Z meets the time of existence of W or the time of existence of W overlaps Z, W is an instance of impacting, and Y is a patient of W |
| ! [V__DURATION,V__AMBULATE] : ((s__instance(V__DURATION,s__TimeInterval) => ((s__instance(V__AMBULATE,s__Ambulating) & (V__DURATION = s__WhenFn(V__AMBULATE))) => (? [V__STEP1,V__STEPN] : ((s__instance(V__STEP1,s__Stepping) & s__instance(V__STEPN,s__Stepping) & s__subProcess(V__STEP1,V__AMBULATE) & s__subProcess(V__STEPN,V__AMBULATE) & s__starts(s__WhenFn(V__STEP1) ,V__DURATION) & s__finishes(s__WhenFn(V__STEPN) ,V__DURATION) & ~((V__STEP1 = V__STEPN))))))) )
|
Mid-level-ontology.kif 470-482 | If X is an instance of ambulating and equal Y and the time of existence of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of stepping (3) W is an instance of stepping (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of Z starts Y (7) the time of existence of W finishes Y (8) equal Z (9) W |
| ! [V__S1START,V__S2START,V__A,V__S1,V__S2] : (((s__instance(V__S1START,s__TimePoint) & s__instance(V__S2START,s__TimePoint)) => ((s__instance(V__A,s__Ambulating) & s__subProcess(V__S1,V__A) & s__instance(V__S1,s__Stepping) & s__subProcess(V__S2,V__A) & s__instance(V__S2,s__Stepping) & (V__S1START = s__BeginFn(s__WhenFn(V__S1))) & (V__S2START = s__BeginFn(s__WhenFn(V__S2))) & ~((s__before(V__S1START,V__S2START) | s__before(V__S2START,V__S1START)))) => (V__S1 = V__S2))) )
|
Mid-level-ontology.kif 484-497 | If All of the following hold: (1) X is an instance of ambulating (2) Y is a subprocess of X (3) Y is an instance of stepping (4) Z is a subprocess of X (5) Z is an instance of stepping (6) equal W and the beginning of the time of existence of Y (7) equal V and the beginning of the time of existence of Z (8) ~{ W happens before V } and ~{ V happens before W }, then equal Y and Z |
| ! [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__E : $i,V__E2 : $i,V__EC : $i,V__ES : $i,V__H : $i,V__I : $i,V__MS : $i] : (((s__instance(V__I, s__Ingesting) & s__experiencer(V__I, V__H) & s__objectTransferred(V__I, V__MS) & s__instance(V__MS, s__MoodStabilizer) & s__instance(V__E, V__EC) & s__involvedInEvent(V__E, V__H) & s__holdsDuring(s__WhenFn(V__E), s__attribute(V__H, V__ES)) & s__instance(V__ES, s__EmotionalState) & s__instance(V__E2, V__EC) & s__involvedInEvent(V__E2, V__H) & s__earlier(s__WhenFn(V__E2), s__WhenFn(V__I))) => s__modalAttribute(~(s__holdsDuring(V__E2, s__attribute(V__H, V__ES))), s__Unlikely))) | Mid-level-ontology.kif 11219-11240 | If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T has the modal force of unlikely |
| ! [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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| statement |
|
|
| s__holdsDuring(s__WhenFn(s__JesusOfNazareth), s__located(s__JesusOfNazareth, s__Palestine)) | Media.kif 1867-1867 | Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth |
| ( ? [V__TIME:$i] : ((s__instance(V__TIME, s__TimeInterval) & s__finishes(V__TIME, s__WhenFn(s__JesusOfNazareth)) & s__starts(V__TIME, s__WhenFn(s__TwelveApostles)) & ( ! [V__MEM:$i] : ((s__holdsDuring(V__TIME, s__member(V__MEM, s__TwelveApostles)) => s__holdsDuring(V__TIME, s__friend(V__MEM, s__JesusOfNazareth)))))))) | Media.kif 1917-1925 | There exists X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during XJesus of Nazareth is a friend of Y holds during X |
|