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。") Merge.kif 8589-8590
(documentation PastFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.") Merge.kif 8586-8588
(domain PastFn 1 TimePosition) Merge.kif 8584-8584 The number 1 argument of past is an instance of time position
(instance PastFn TemporalRelation) Merge.kif 8581-8581 Past is an instance of temporal relation
(instance PastFn TotalValuedRelation) Merge.kif 8583-8583 Past is an instance of total valued relation
(instance PastFn UnaryFunction) Merge.kif 8582-8582 Past is an instance of unary function
(range PastFn TimeInterval) Merge.kif 8585-8585 The range of past is an instance of time interval

appearance as argument number 2
-------------------------


(format ChineseLanguage PastFn "%1 before") chinese_format.kif 457-457
(format EnglishLanguage PastFn "before %1") english_format.kif 276-276
(termFormat ChineseLanguage PastFn "过去函数") chinese_format.kif 458-458 "过去函数" is the printable form of past in ChineseLanguage
(termFormat EnglishLanguage PastFn "past") domainEnglishFormat.kif 7876-7876 "past" is the printable form of past in english language

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 12640-12652
(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 746-753
(=>
    (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 20012-20023
(=>
    (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 17128-17134
(=>
    (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 8352-8363
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 8596-8598
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))
Merge.kif 8611-8613
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))
Merge.kif 8592-8594
(=>
    (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 9028-9038


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