PastFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage PastFn "%1 before") | chinese_format.kif 457-457 | |
(format EnglishLanguage PastFn "before %1") | english_format.kif 463-463 | |
(format FrenchLanguage PastFn "avant %1") | french_format.kif 265-265 | |
(format ItalianLanguage PastFn "prima %1") | relations-it.txt 215-215 | |
(format JapaneseLanguage PastFn "%1 の before") | japanese_format.kif 2055-2055 | |
(format PortugueseLanguage PastFn "antes de %1") | portuguese_format.kif 217-217 | |
(format cz PastFn "p�ed %1'") | relations-cz.txt 271-271 | |
(format de PastFn "vor %1") | relations-de.txt 598-598 | |
(format hi PastFn "%1 ke pahale") | relations-hindi.txt 253-253 | |
(format ro PastFn "before%t{înainte de} %1") | relations-ro.kif 286-286 | |
(format sv PastFn "före %1") | relations-sv.txt 292-292 | |
(format tg PastFn "bago %1") | relations-tg.txt 407-407 | |
(termFormat ChineseLanguage PastFn "过去") | domainEnglishFormat.kif 44736-44736 | |
(termFormat ChineseLanguage PastFn "过去函数") | chinese_format.kif 458-458 | |
(termFormat ChineseTraditionalLanguage PastFn "過去") | domainEnglishFormat.kif 44735-44735 | |
(termFormat EnglishLanguage PastFn "past") | domainEnglishFormat.kif 44734-44734 |
consequent |
(=> (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 12715-12728 |
|
(=> (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 22203-22214 |
|
(=> (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 19348-19354 |
|
(=> (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 8673-8684 |
|
(=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL)))) |
Merge.kif 8490-8492 |
|
(=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL))) |
Merge.kif 8504-8506 |
|
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL)) |
Merge.kif 8486-8488 |
|
(=> (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 9408-9418 |
|