Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PastFn
PastFn

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 7908-7910
(domain PastFn 1 TimePosition) Merge.kif 7905-7905 domain PastFn, 1 and TimePosition
(instance PastFn TemporalRelation) Merge.kif 7902-7902 instance PastFn and TemporalRelation
(instance PastFn TotalValuedRelation) Merge.kif 7904-7904 instance PastFn and TotalValuedRelation
(instance PastFn UnaryFunction) Merge.kif 7903-7903 instance PastFn and UnaryFunction
(range PastFn TimeInterval) Merge.kif 7906-7906 range PastFn and TimeInterval

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 44629-44629
(termFormat ChineseLanguage PastFn "过去函数") chinese_format.kif 458-458
(termFormat ChineseTraditionalLanguage PastFn "過去") domainEnglishFormat.kif 44628-44628
(termFormat EnglishLanguage PastFn "past") domainEnglishFormat.kif 44627-44627

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 11758-11770
(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 682-689
(=>
    (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 20025-20036
(=>
    (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 17130-17136
(=>
    (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 8355-8366
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 7916-7918
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))
Merge.kif 7930-7932
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))
Merge.kif 7912-7914
(=>
    (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 9031-9041


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners