PastFn - Sigma Knowledge base Browser

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 8524-8526
(documentation PastFn JapaneseLanguage "UnaryFunction は、TimePosition を TimeInterval にマッピングし、NegativeInfinity で始まる。")	japanese_format.kif 1465-1466
(domain PastFn 1 TimePosition)	Merge.kif 8521-8521	The number 1 argument of past is an instance of time position
(instance PastFn TemporalRelation)	Merge.kif 8518-8518	Past is an instance of temporal relation
(instance PastFn TotalValuedRelation)	Merge.kif 8520-8520	Past is an instance of total valued relation
(instance PastFn UnaryFunction)	Merge.kif 8519-8519	Past is an instance of unary function
(range PastFn TimeInterval)	Merge.kif 8522-8522	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 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 44767-44767
(termFormat ChineseLanguage PastFn "过去函数")	chinese_format.kif 458-458
(termFormat ChineseTraditionalLanguage PastFn "過去")	domainEnglishFormat.kif 44766-44766
(termFormat EnglishLanguage PastFn "past")	domainEnglishFormat.kif 44765-44765
(termFormat de PastFn "VergangenheitFn")	terms-de.txt 184-184

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 12790-12803	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position
(=> (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 23317-23328	If veteran is an attribute of an entity holds during a physical, then there exists a time position such that the time position is a part of before the time of existence of the physical and soldier is an attribute of the entity holds during the time position and soldier is an attribute of the entity doesn't hold during the physical
(=> (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 20437-20443	If surprise is an attribute of an entity holds during a time position, then there exist another time position and another entity such that the other time position is a part of before the time position and the entity expects the other entity will be true holds during the other time position and the other entity is false holds during the time position
(=> (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 9446-9457	If drunk is an attribute of an entity holds during a time position, then there exists another time position such that the other time position is a part of before the time position and there exist another entity and a third entity such that the other entity is an instance of drinking and the third entity is a patient of the other entity and the third entity is an instance of alcoholic beverage and the entity is an agent of the other entity holds during the other time position
(=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL))))	Merge.kif 8532-8534	If a time interval is an instance of time interval, then before the time interval is equal to interval between negative infinity and the beginning of the time interval
(=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL)))	Merge.kif 8546-8548	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL))	Merge.kif 8528-8530	If a time interval is an instance of time interval, then before the time interval meets the time interval
(=> (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 10304-10314	If a physical is an instance of scar, then there exist a time position, a process and an entity such that the time position is a part of before the time of existence of the physical and the entity is an instance of lesion holds during the time position and the process is an instance of organ or tissue process and the entity is a patient of the process and the physical is a result of the process

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