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 8518-8520
(documentation PastFn JapaneseLanguage "UnaryFunction は、TimePosition を TimeInterval にマッピングし、NegativeInfinity で始まる。") japanese_format.kif 1465-1466
(domain PastFn 1 TimePosition) Merge.kif 8515-8515 Die Zahl 1 Argument von PastFn ist ein fall von TimePosition %n{nicht}
(instance PastFn TemporalRelation) Merge.kif 8512-8512 PastFn ist ein fall von TemporalRelation %n{nicht}
(instance PastFn TotalValuedRelation) Merge.kif 8514-8514 PastFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PastFn UnaryFunction) Merge.kif 8513-8513 PastFn ist ein fall von UnaryFunction %n{nicht}
(range PastFn TimeInterval) Merge.kif 8516-8516 bildbereich von PastFn ist ein fall von TimeInterval {nicht}

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
(format FrenchLanguage PastFn "avant %1") french_format.kif 265-265
(format ItalianLanguage PastFn "prima %1") relations-it.txt 215-215
(format JapaneseLanguage PastFn "%1 の before") japanese_format.kif 2055-2055
(format PortugueseLanguage PastFn "antes de %1") portuguese_format.kif 217-217
(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 ro PastFn "before%t{înainte de} %1") relations-ro.kif 286-286
(format sv PastFn "före %1") relations-sv.txt 292-292
(format tg PastFn "bago %1") relations-tg.txt 407-407
(termFormat ChineseLanguage PastFn "过去") domainEnglishFormat.kif 44738-44738
(termFormat ChineseLanguage PastFn "过去函数") chinese_format.kif 458-458
(termFormat ChineseTraditionalLanguage PastFn "過去") domainEnglishFormat.kif 44737-44737
(termFormat EnglishLanguage PastFn "past") domainEnglishFormat.kif 44736-44736

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 12761-12774
(=>
    (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 22255-22266
(=>
    (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 19375-19381
(=>
    (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 8700-8711
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 8526-8528
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))		 Merge.kif 8540-8542
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))		 Merge.kif 8522-8524
(=>
    (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 9435-9445


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