時段相接 (meetsTemporally)

(meetsTemporally interval1 interval2) means that the terminal point of the TimeInterval interval1 is the initial point of the TimeInterval interval2.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

二元述詞

種類

可繼承關係

時間關係

不對稱關係

非可遞關係

時段相接

Coordinate term(s)

反面函數（時間）開始函數計數函數日函數（時間）結束函式正面函數（時間）未來函式小時函數最近未來時間函數最近過去時間函數分鐘函數月份函數過去時間函式主體函數或然率函數週期性時距函數相對時間函數秒鐘函數表皮函數時間單位函數時間歷程函數存在時間函數年份函數弧線重量屬性作者先於先於或同時肇因次類肇因公民封閉於填滿相連的包含訊息共生複製相交日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係填充完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於方式/情狀物質測量成員情態屬性時段重疊雙親偏序於... 部分填充部分位於路徑長穿入擁有先決條件避免正部分適當填充特性出版範圍範圍次種類實現提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性表面時間部分時間介於時間介於或同時時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

meetsTemporally(時段, 時段)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (31)

interval1 (沒) 相接s interval2 if and only if "interval1 的結束" 等於 "interval2 的 �}始".

(<=>
      (meetsTemporally ?INTERVAL1 ?INTERVAL2)
      (equal
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

If thing 是物質的的實例, then ""thing 存在的時間" 之前" (沒) 相接s "thing 存在的時間".

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

If thing 是物質的的實例, then "thing 存在的時間" (沒) 相接s ""thing 存在的時間" 之後".

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

If day1 是 "日 number1" 的實例 and day2 是 "日 number2" 的實例 and "(number2-number1)" 等於 , then day1 (沒) 相接s day2.

(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))

If hour1 是 "小時 number1" 的實例 and hour2 是 "小時 number2" 的實例 and "(number2-number1)" 等於 , then hour1 (沒) 相接s hour2.

(=>
      (and
            (instance
                  ?HOUR1
                  (HourFn ?NUMBER1 ?DAY))
            (instance
                  ?HOUR2
                  (HourFn ?NUMBER2 ?DAY))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?HOUR1 ?HOUR2))

If minute1 是 "分鐘 number1" 的實例 and minute2 是 "分鐘 number2" 的實例 and "(number2-number1)" 等於 , then minute1 (沒) 相接s minute2.

(=>
      (and
            (instance
                  ?MINUTE1
                  (MinuteFn ?NUMBER1 ?HOUR))
            (instance
                  ?MINUTE2
                  (MinuteFn ?NUMBER2 ?HOUR))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?MINUTE1 ?MINUTE2))

If second1 是 "秒鐘函數(number1,minute)" 的實例 and second2 是 "秒鐘函數(number2,minute)" 的實例 and "(number2-number1)" 等於 , then second1 (沒) 相接s second2.

(=>
      (and
            (instance
                  ?SECOND1
                  (SecondFn ?NUMBER1 ?MINUTE))
            (instance
                  ?SECOND2
                  (SecondFn ?NUMBER2 ?MINUTE))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?SECOND1 ?SECOND2))

If year1 是年的實例 and year2 是年的實例 and "(year2-year1)" 等於 , then year1 (沒) 相接s year2.

(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))

If month1 等於 "月份一月" and month2 等於 "月份二月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份二月" and month2 等於 "月份三月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份三月" and month2 等於 "月份四月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn March ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn April ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份四月" and month2 等於 "月份五月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份五月" and month2 等於 "月份六月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份六月" and month2 等於 "月份七月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份七月" and month2 等於 "月份八月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份八月" and month2 等於 "月份九月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn August ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn September ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份九月" and month2 等於 "月份十月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn September ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn October ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份十月" and month2 等於 "月份十一月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份十一月" and month2 等於 "月份十二月", then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 等於 "月份十二月" and month2 等於 "月份一月" and year1 (沒) 相接s year2, then month1 (沒) 相接s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn December ?YEAR1))
            (equal
                  ?MONTH2
                  (MonthFn January ?YEAR2))
            (meetsTemporally ?YEAR1 ?YEAR2))
      (meetsTemporally ?MONTH1 ?MONTH2))

If day1 是星期一的實例 and day2 是星期二的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期二的實例 and day2 是星期三的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期三的實例 and day2 是星期四的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期四的實例 and day2 是星期五的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期五的實例 and day2 是星期六的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期六的實例 and day2 是星期日的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 是星期日的實例 and day2 是星期一的實例 and week1 是週的實例 and week2 是週的實例 and day1 是 week1 的部分 and day2 是 week2 的部分 and week1 (沒) 相接s week2, then day1 (沒) 相接s day2.

(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))

if "interval 分解成 ? interval-types" 等於 class,
then for all time1,time2 holds: if time1 是 class 的實例 and time2 是 class 的實例 and time1 等於 time2, then time1 (沒) 相接s time2 or time2 (沒) 相接s time1 or time1 (沒) 比 time2 較早發生not(s) or time2 (沒) 比 time1 較早發生not(s)

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (instance ?TIME2 ?CLASS)
                        (not
                              (equal ?TIME1 ?TIME2)))
                  (or
                        (meetsTemporally ?TIME1 ?TIME2)
                        (meetsTemporally ?TIME2 ?TIME1)
                        (earlier ?TIME1 ?TIME2)
                        (earlier ?TIME2 ?TIME1)))))

if "interval 分解成 ? interval-types" 等於 class,
then for all time1 holds: if time1 是 class 的實例 and time1 not(沒) 完成 interval, then there exists class time2 so that time1 (沒) 相接s time2

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (finishes ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME1 ?TIME2))))))

if "interval 分解成 ? interval-types" 等於 class,
then for all time1 holds: if time1 是 class 的實例 and time1 not(沒) �}始 interval, then there exists class time2 so that time2 (沒) 相接s time1

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (starts ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME2 ?TIME1))))))

If death 是死亡的實例 and birth 是誕生的實例 and agent (沒) 體驗not(s) death and agent (沒) 體驗not(s) birth, then there exists time so that "birth 存在的時間" (沒) 相接s time and time (沒) 相接s "death 存在的時間" and 活的是 agent 的屬性 timea(之中) time.

(=>
      (and
            (instance ?DEATH Death)
            (instance ?BIRTH Birth)
            (experiencer ?DEATH ?AGENT)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?TIME)
            (and
                  (meetsTemporally
                        (WhenFn ?BIRTH)
                        ?TIME)
                  (meetsTemporally
                        ?TIME
                        (WhenFn ?DEATH))
                  (holdsDuring
                        ?TIME
                        (attribute ?AGENT Living)))))