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 8572-8573
(documentation PastFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.") Merge.kif 8569-8571
(domain PastFn 1 TimePosition) Merge.kif 8567-8567
(instance PastFn TemporalRelation) Merge.kif 8564-8564
(instance PastFn TotalValuedRelation) Merge.kif 8566-8566
(instance PastFn UnaryFunction) Merge.kif 8565-8565
(range PastFn TimeInterval) Merge.kif 8568-8568

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
(format FrenchLanguage PastFn "avant %1") french_format.kif 265-265
(format ItalianLanguage PastFn "prima %1") relations-it.txt 215-215
(format PortugueseLanguage PastFn "antes de %1") portuguese_format.kif 217-217
(format ar PastFn "قَبْلَ %1") arabic_format.kif 197-197
(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 tg PastFn "bago %1") relations-tg.txt 407-407
(termFormat ChineseLanguage PastFn "过去函数") chinese_format.kif 458-458
(termFormat EnglishLanguage PastFn "past") domainEnglishFormat.kif 7876-7876
(termFormat ar PastFn "«قَبْلَ»") arabic_format.kif 647-647

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 12582-12594
(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 734-741
(=>
    (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 19954-19965
(=>
    (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 17070-17076
(=>
    (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 8579-8581
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))
Merge.kif 8594-8596
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))
Merge.kif 8575-8577
(=>
    (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