guo4 qu4 shi2 jian1 han2 shi4 (PastFn)

A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shi2 jian1 guan1 xi4
is instance of

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

yi1 yuan2 han2 shu4
is instance of

guo4 qu4 shi2 jian1 han2 shi4

Coordinate term(s)

jue2 dui4 zhi2 han2 shu4 miao2 shu4 han2 shu4 hu2 yu2 xian2 hu2 zheng4 xian2 hu2 zheng4 qie1 fan3 mian4 han2 shu4 shi2 jian1 kai1 shi3 han2 shu4 zui4 chu1 jie2 dian3 han2 shu4 ji4 shu4 han2 shu4 shang4 xian4 han2 shu4 hu4 bu3 han2 shu4 yu2 xian2 han2 shu4 xiang1 jiao1 lu4 jing4 han2 shu4 ri4 han2 shu4 dan1 wei4 han2 shu4 shi2 jian1 jie2 shu4 han2 shi4 zui4 hou4 jie2 dian3 han2 shu4 fan4 wei2 han2 shu4 xia4 xian4 han2 shu4 zheng4 mian4 han2 shu4 shi2 jian1 wei4 lai2 han2 shi4 gai4 hua4 han2 shu4 gai4 hua4 lian2 ji2 han2 shu4 shi2 yi4 ji4 han2 shu4 xiao3 shi2 han2 shu4 xu1 shu4 han2 shu4 zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4 zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4 qi3 shi3 jie2 dian3 han2 shu4 zheng3 shu4 ping2 fang1 gen1 han2 shu4 qian1 ji4 han2 shu4 lie4 zhang3 han2 shu4 ji2 shu4 han2 shu4 bai3 wan4 ji4 han2 shu4 bai3 wan4 fen1 zhi1 yi1 ji4 han2 shu4 qian1 fen1 zhi1 yi1 ji4 han2 shu4 zui4 xiao3 xiang1 jiao1 lu4 jing4 han2 shu4 fen1 zhong1 han2 shu4 yue4 fen4 han2 shu4 nai4 mi3 han2 shu4 fen1 zi3 han2 shu4 zu3 zhi1 han2 shu4 lu4 jing4 liang4 han2 shu4 zhao4 fen1 zhi1 yi1 ji4 han2 shu4 mi4 ji2 he2 han2 shu4 qian2 shu4 han2 shu4 zhu3 ti1 han2 shu4 huo4 ran2 lv4 han2 shu4 te4 xing4 han2 shu4 you3 li3 shu4 han2 shu4 shi2 shu4 han2 shu4 dao3 shu4 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 zheng3 shu4 han2 shu4 miao3 zhong1 han2 shu4 zheng4 fu4 hao4 han2 shu4 zheng4 xian2 han2 shu4 biao3 pi2 han2 shu4 ping2 fang1 gen1 han2 shu4 hou4 shu4 han2 shu4 zheng4 qie1 han2 shu4 shi2 jian1 dan1 wei4 han2 shu4 zhao4 ji4 han2 shu4 zhong1 jie2 dian3 han2 shu4 shi2 jian1 li4 cheng2 han2 shu4 cai2 chan3 han2 shu4 cun2 zai4 shi2 jian1 han2 shu4 nian2 fen4 han2 shu4 xian1 yu1 xian1 yu1 huo4 tong5 shi2 gong4 sheng1 jiao4 zao3 wan2 cheng2 shi2 duan4 xiang1 jie1 shi2 duan4 zhong4 die2 shi2 jian1 jie4 yu1 shi2 jian1 jie4 yu1 huo4 tong5 shi2 shi2 jian1

Type restrictions

shi2 duan4 PastFn(shi2 jian1)

Related WordNet synsets

pastness: the quality of being past
past, past times, yesteryear, yore: the time that has elapsed; "forget the past"
old: past times (especially in the phrase "in days of old")
past: earlier than the present time; no longer current; "time past"; "his youth is past"; "this past Thursday"; "the past year"

See more related synsets on a separate page.

Axioms (6)

If attr1 shi4 attr2 de5 xu4 jie1 shu3 xing4 and entity you3 shu3 xing4 attr2 time1a(zhi1 zhong1) time1, then there exists time2 so_that_not time2 shi4 "time1 zhi1 qian2" de5 bu4 fen5 and entity you3 shu3 xing4 attr1 time2a(zhi1 zhong1) time2.

(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2" (mei2) xiang1 jie1s "thing cun2 zai4 de5 shi2 jian1".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 qian2" deng3 yu1 "shi2 jian1 qi3 dian3/gen4 gu3 he2 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 jian1 ju4".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" (mei2) wan2 cheng2s ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2".

(=>
      (instance ?THING Physical)
      (finishes
            (ImmediatePastFn
                  (WhenFn ?THING))
            (PastFn
                  (WhenFn ?THING))))

If decode shi4 jie3 ma3 de5 shi2 li4 and doc1 shi4 decode de5 shou4 shi4 zhe3, then there exist encode,doc2,time so_that_not doc2 (bu2) bao1 han2s) xun4 xi1 %2 and doc1 (bu2) bao1 han2s) xun4 xi1 %2 and time shi4 ""decode cun2 zai4 de5 shi2 jian1" zhi1 qian2" de5 bu4 fen5 and encode shi4 bian1 ma3 de5 shi2 li4 and doc2 shi4 encode de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time.

(=>
      (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))))))

If you4 ti1 de5 shi4 org de5 shu3 xing4 timea(zhi1 zhong1) time, then there exists dan4 sheng1 birth so_that_not org (mei2) ti3 yan4not(s) birth "time zhi1 qian2"a(zhi1 zhong1) time zhi1 qian2.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Larval))
      (holdsDuring
            (PastFn ?TIME)
            (exists
                  (?BIRTH)
                  (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?ORG)))))