Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PastFn |
| appearance as argument number 1 |
|
| (instance PastFn TemporalRelation) | Merge.kif 8678-8678 | Past is an instance of temporal relation |
| (instance PastFn UnaryFunction) | Merge.kif 8679-8679 | Past is an instance of unary function |
| (instance PastFn TotalValuedRelation) | Merge.kif 8680-8680 | Past is an instance of total valued relation |
| (domain PastFn 1 TimePosition) | Merge.kif 8681-8681 | The number 1 argument of past is an instance of time position |
| (range PastFn TimeInterval) | Merge.kif 8682-8682 | The range of past is an instance of timeframe |
| (documentation PastFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.") | Merge.kif 8684-8686 | The range of past is an instance of timeframe |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (agent ?RO ?A) (patient ?RO ?O) (holdsDuring (PastFn (WhenFn ?RO)) (possesses ?A ?O))) (exists (?AC) (and (instance ?AC AchievingControl) (destination ?RO ?AC) (result ?RO ?AC) (controlled ?AC ?O) (gainsControl ?AC ?A)))) |
MilitaryProcesses.kif 577-592 | If X is an instance of recovery operation, Y is an agent of X, Z is a patient of X, and Y possesses Z holds during before the time of existence of X, then there exists W such that W is an instance of achieving control, X ends up at W, W is a result of X, Z comes to be physically controlled by an agent during W, and Y gains physical control over some object during W |
| consequent |
|
|
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL)) |
Merge.kif 8688-8690 | If X is an instance of timeframe, then before X meets X |
| (=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL)))) |
Merge.kif 8692-8694 | If X is an instance of timeframe, then equal before X, interval between negative infinity, and the beginning of X |
| (=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL))) |
Merge.kif 8706-8708 | If X is an instance of timeframe, then immediately before X finishes before X |
| (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME ?PROP) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2)))))) |
Merge.kif 13005-13018 | If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V |
| (=> (holdsDuring ?TIME (attribute ?PERSON Drunk)) (exists (?PAST) (and (temporalPart ?PAST (PastFn ?TIME)) (holdsDuring ?PAST (exists (?DRINK ?ALCOHOL) (and (instance ?DRINK Drinking) (patient ?DRINK ?ALCOHOL) (instance ?ALCOHOL AlcoholicBeverage) (agent ?DRINK ?PERSON))))))) |
Mid-level-ontology.kif 10033-10044 | If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z |
| (=> (instance ?S Scar) (exists (?T ?OP ?L) (and (temporalPart ?T (PastFn (WhenFn ?S))) (holdsDuring ?T (instance ?L Lesion)) (instance ?OP OrganOrTissueProcess) (patient ?OP ?L) (result ?OP ?S)))) |
Mid-level-ontology.kif 10900-10910 | If X is an instance of scar, then there exist Y, Z, W such that Y is a part of before the time of existence of X, W is an instance of lesion holds during Y, Z is an instance of organ or tissue process, W is a patient of Z, and X is a result of Z |
| (=> (holdsDuring ?TIME (attribute ?AGENT Surprise)) (exists (?PART ?PROP) (and (temporalPart ?PART (PastFn ?TIME)) (holdsDuring ?PART (expects ?AGENT ?PROP)) (holdsDuring ?TIME (truth ?PROP False))))) |
Mid-level-ontology.kif 21246-21252 | If surprise is an attribute of X holds during Y, then there exist Z, W such that Z is a part of before Y, X expects W will be true holds during Z, and W is false holds during Y |
| (=> (holdsDuring ?T1 (attribute ?H Veteran)) (exists (?T2) (and (temporalPart ?T2 (PastFn (WhenFn ?T1))) (holdsDuring ?T2 (attribute ?H Soldier)) (not (holdsDuring ?T1 (attribute ?H Soldier)))))) |
Mid-level-ontology.kif 24481-24492 | If veteran is an attribute of X holds during Y, then there exists Z such that Z is a part of before the time of existence of Y, soldier is an attribute of X holds during Z, and soldier is not an attribute of X doesn't hold during Y |
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?O) (agent ?RO ?A)) (exists (?CC) (and (instance ?CC ChangeOfControl) (earlier ?CC ?RO) (patient ?CC ?O) (agent ?CC ?E) (enemy ?A ?E) (holdsDuring (PastFn (WhenFn ?CC)) (possesses ?A ?O)) (losesControl ?CC ?A)))) |
MilitaryProcesses.kif 559-575 | If X is an instance of recovery operation, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exists W such that W is an instance of change of control (2) W happens earlier than X (3) Y is a patient of W (4) V is an agent of W (5) Z (6) V are enemies of each other (7) Z possesses Y holds during before the time of existence of W (8) Z loses physical control of some object during W |
|