| 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 8390-8392 | |
| (domain PastFn 1 TimePosition) | Merge.kif 8387-8387 | 过去函数 的 1 数量 是 时间位置 的 instance |
| (instance PastFn TemporalRelation) | Merge.kif 8384-8384 | 过去函数 是 时间关系 的 instance |
| (instance PastFn TotalValuedRelation) | Merge.kif 8386-8386 | 过去函数 是 总值关系 的 instance |
| (instance PastFn UnaryFunction) | Merge.kif 8385-8385 | 过去函数 是 一元函数 的 instance |
| (range PastFn TimeInterval) | Merge.kif 8388-8388 | 过去函数 的 range 是 时距 的实例 |
| 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 | |
| (termFormat ChineseLanguage PastFn "过去") | domainEnglishFormat.kif 44713-44713 | |
| (termFormat ChineseLanguage PastFn "过去函数") | chinese_format.kif 458-458 | |
| (termFormat ChineseTraditionalLanguage PastFn "過去") | domainEnglishFormat.kif 44712-44712 | |
| (termFormat EnglishLanguage PastFn "past") | domainEnglishFormat.kif 44711-44711 |
| 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 12483-12496 | |
| (=> (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 21683-21694 | |
| (=> (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 18723-18729 |
|
| (=> (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 8280-8291 | |
| (=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL)))) |
Merge.kif 8398-8400 | |
| (=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL))) |
Merge.kif 8412-8414 | |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL)) |
Merge.kif 8394-8396 | |
| (=> (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 9008-9018 |
|
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