| appearance as argument number 1 |
|
| (documentation PastFn ChineseLanguage "这是一个 UnaryFunction， 它把一个 TimePosition 联系 到和它相遇并在 NegativeInfinity 开始的 TimeInterval。") | chinese_format.kif 2739-2740 | |
| (documentation PastFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.") | Merge.kif 7955-7957 | |
| (domain PastFn 1 TimePosition) | Merge.kif 7952-7952 | |
| (instance PastFn TemporalRelation) | Merge.kif 7949-7949 | |
| (instance PastFn TotalValuedRelation) | Merge.kif 7951-7951 | |
| (instance PastFn UnaryFunction) | Merge.kif 7950-7950 | |
| (range PastFn TimeInterval) | Merge.kif 7953-7953 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage PastFn "%1 before") | chinese_format.kif 457-457 | |
| (format EnglishLanguage PastFn "before %1") | english_format.kif 466-466 | |
| (termFormat ChineseLanguage PastFn "过去") | domainEnglishFormat.kif 44659-44659 | |
| (termFormat ChineseLanguage PastFn "过去函数") | chinese_format.kif 458-458 | |
| (termFormat ChineseTraditionalLanguage PastFn "過去") | domainEnglishFormat.kif 44658-44658 | |
| (termFormat EnglishLanguage PastFn "past") | domainEnglishFormat.kif 44657-44657 |
| consequent |
|
|
| (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2)))))) |
Merge.kif 11808-11820 | |
| (=> (and (successorAttribute ?ATTR1 ?ATTR2) (holdsDuring ?TIME1 (property ?ENTITY ?ATTR2))) (exists (?TIME2) (and (temporalPart ?TIME2 (PastFn ?TIME1)) (holdsDuring ?TIME2 (property ?ENTITY ?ATTR1))))) |
Merge.kif 683-690 | |
| (=> (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 20056-20067 | |
| (=> (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 17160-17166 | |
| (=> (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 8336-8347 | |
| (=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL)))) |
Merge.kif 7963-7965 | |
| (=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL))) |
Merge.kif 7977-7979 | |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL)) |
Merge.kif 7959-7961 | |
| (=> (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 9012-9022 |
|
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 is open source software produced by Articulate Software and its partners