存在時間函數 (WhenFn)
A UnaryFunction that maps an Object or
Process to the exact TimeInterval during which it exists. Note
that, for every TimePoint time outside of the TimeInterval
(WhenFn thing), (time thing time) does not hold.
Ontology
SUMO / TEMPORAL-CONCEPTSClass(es)
Coordinate term(s)
絕對值函數
描述函數
弧餘弦
弧正弦
弧正切
反面函數
（時間）開始函數
最初節點函數
計數函數
上限函數
互補函數
餘弦函數
相交路徑函數
日函數
單位函數
（時間）結束函式
最後節點函數
範圍函數
下限函數
正面函數
（時間）未來函式
概化函數
概化聯集函數
十億計函數
小時函數
虛數函數
最近未來時間函數
最近過去時間函數
起始節點函數
整數平方根函數
千計函數
列長函數
級數函數
百萬計函數
百萬分之一計函數
千分之一計函數
最小相交路徑函數
分鐘函數
月份函數
奈米函數
分子函數
組織函數
過去時間函式
路徑量函數
兆分之一計函數
冪集合函數
前數函數
主體函數
或然率函數
特性函數
有理數函數
實數函數
倒數函數
週期性時距函數
相對時間函數
整數函數
秒鐘函數
正負號函數
正弦函數
表皮函數
平方根函數
後數函數
正切函數
時間單位函數
兆計函數
終節點函數
時間歷程函數
財產函數
年份函數
先於
先於或同時
共生
較早
完成
時段相接
時段重疊
時間介於
時間介於或同時
時間
Type restrictions
時段 WhenFn(物質的)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (69)
位置函數 內部相關於 存在時間函數.
(relatedInternalConcept WhereFn WhenFn)
pos 是 "thing 存在 的 時間" 的 部分 if and only if thing (不) 存在s pos 期間.
(<=>
(temporalPart
?POS
(WhenFn ?THING))
(time ?THING ?POS))
If process (不) �_源s 於 obj, then "process 在 ""process 存在 的 時間" 的 �}始" 的 ""process 存在 的 時間" 的 �}始"位置" 位於 "obj 在 ""obj 存在 的 時間" 的 �}始" 的 ""obj 存在 的 時間" 的 �}始"位置".
(=>
(origin ?PROCESS ?OBJ)
(located
(WhereFn
?PROCESS
(BeginFn
(WhenFn ?PROCESS)))
(WhereFn
?OBJ
(BeginFn
(WhenFn ?OBJ)))))
- if obj 是 proc 的 結果,
- then for all time holds: if time (沒) 發生?{s} 在 ""proc 存在 的 時間" 的 �}始" 之前, then obj not(不) 存在 time 期間
.
(=>
(result ?PROC ?OBJ)
(forall
(?TIME)
(=>
(before
?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(time ?OBJ ?TIME)))))
phys (不) 存在s time 期間 and time 是 時點 的 實例 if and only if time 在 ""phys 存在 的 時間" 的 �}始" 和 ""phys 存在 的 時間" 的 結束" 或 之間 .
(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))
If rel 是 空間關係 的 實例 and rel(obj1,obj2) (不) 成立s, then "obj2 存在 的 時間" (沒) 與 1 ?重疊s.
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally
(WhenFn ?OBJ1)
(WhenFn ?OBJ2)))
phys1 (沒) 與 phys2 同時 發生not(s) if and only if "phys1 存在 的 時間" 等於 "phys2 存在 的 時間".
(<=>
(cooccur ?PHYS1 ?PHYS2)
(equal
(WhenFn ?PHYS1)
(WhenFn ?PHYS2)))
If thing 是 物質的 的 實例, then ""thing 存在 的 時間" 的 �}始" (沒) 發生?{s} 在 ""thing 存在 的 時間" 的 結束" 之前.
(=>
(instance ?THING Physical)
(before
(BeginFn
(WhenFn ?THING))
(EndFn
(WhenFn ?THING))))
If thing 是 物質的 的 實例, then ""thing 存在 的 時間" 之前" (沒) 相接s "thing 存在 的 時間".
(=>
(instance ?THING Physical)
(meetsTemporally
(PastFn
(WhenFn ?THING))
(WhenFn ?THING)))
If process 是 物質的 的 實例, then ""process 存在 的 時間" 之前" 等於 "時間起點/亙古 和 ""process 存在 的 時間" 的 �}始" 的 間距".
(=>
(instance ?PROCESS Physical)
(equal
(PastFn
(WhenFn ?PROCESS))
(TimeIntervalFn
NegativeInfinity
(BeginFn
(WhenFn ?PROCESS)))))
If thing 是 物質的 的 實例, then ""thing 存在 的 時間" 不久 之前" (沒) 完成s ""thing 存在 的 時間" 之前".
(=>
(instance ?THING Physical)
(finishes
(ImmediatePastFn
(WhenFn ?THING))
(PastFn
(WhenFn ?THING))))
If obj 對 proc 是 資源 and obj 的 測量 是 quant1 ""proc 存在 的 時間" 不久 之前"a(之中) "proc 存在 的 時間" 不久 之前 and obj 的 測量 是 quant2 ""proc 存在 的 時間" 不久 之後"a(之中) "proc 存在 的 時間" 不久 之後, then quant1 (不) 大於 quant2.
(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2))
If thing 是 物質的 的 實例, then "thing 存在 的 時間" (沒) 相接s ""thing 存在 的 時間" 之後".
(=>
(instance ?THING Physical)
(meetsTemporally
(WhenFn ?THING)
(FutureFn
(WhenFn ?THING))))
If process 是 物質的 的 實例, then ""process 存在 的 時間" 之後" 等於 """process 存在 的 時間" 的 結束" 和 時間終點/永遠 的 間距".
(=>
(instance ?PROCESS Physical)
(equal
(FutureFn
(WhenFn ?PROCESS))
(TimeIntervalFn
(EndFn
(WhenFn ?PROCESS))
PositiveInfinity)))
If thing 是 物質的 的 實例, then ""thing 存在 的 時間" 不久 之後" (沒) �}始s ""thing 存在 的 時間" 之後".
(=>
(instance ?THING Physical)
(starts
(ImmediateFutureFn
(WhenFn ?THING))
(FutureFn
(WhenFn ?THING))))
If subproc 是 proc 的 次歷�{, then "subproc 存在 的 時間" 等於 "proc 存在 的 時間" or "subproc 存在 的 時間" (沒) 發生not(s) 在 "proc 存在 的 時間" 期間.
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal
(WhenFn ?SUBPROC)
(WhenFn ?PROC))
(during
(WhenFn ?SUBPROC)
(WhenFn ?PROC))))
If death 是 死亡 的 實例 and agent (沒) 體驗not(s) death, then 死 是 agent 的 屬性 ""death 存在 的 時間" 之後"a(之中) "death 存在 的 時間" 之後.
(=>
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT))
(holdsDuring
(FutureFn
(WhenFn ?DEATH))
(attribute ?AGENT Dead)))
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)))))
If digest 是 消化 的 實例 and digest 是 organism 的 施事者, then there exists 攝食 ingest so that ingest 是 organism 的 施事者 and "digest 存在 的 時間" (沒) 與 1 ?重疊s.
(=>
(and
(instance ?DIGEST Digesting)
(agent ?DIGEST ?ORGANISM))
(exists
(?INGEST)
(and
(instance ?INGEST Ingesting)
(agent ?INGEST ?ORGANISM)
(overlapsTemporally
(WhenFn ?INGEST)
(WhenFn ?DIGEST)))))
If join 是 加入組織 的 實例 and org 是 組織 的 實例 and join 是 org 的 施事者 and person 是 join 的 受事者, then person 是 org的 成員 ""join 存在 的 時間" 不久 之後"a(之中) "join 存在 的 時間" 不久 之後.
(=>
(and
(instance ?JOIN JoiningAnOrganization)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(member ?PERSON ?ORG)))
If leave 是 脫離組織 的 實例 and org 是 組織 的 實例 and leave 是 org 的 施事者 and person 是 leave 的 受事者, then person 是 org的 成員 ""leave 存在 的 時間" 不久 之後"a(之中) "leave 存在 的 時間" 不久 之後.
(=>
(and
(instance ?LEAVE LeavingAnOrganization)
(instance ?ORG Organization)
(agent ?LEAVE ?ORG)
(patient ?LEAVE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?LEAVE))
(not
(member ?PERSON ?ORG))))
If hire 是 僱用 的 實例 and org 是 組織 的 實例 and hire 是 org 的 施事者 and person 是 hire 的 受事者, then org (沒) 雇用not(s) person ""hire 存在 的 時間" 不久 之後"a(之中) "hire 存在 的 時間" 不久 之後.
(=>
(and
(instance ?HIRE Hiring)
(instance ?ORG Organization)
(agent ?HIRE ?ORG)
(patient ?HIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HIRE))
(employs ?ORG ?PERSON)))
If fire 是 解僱 的 實例 and org 是 組織 的 實例 and fire 是 org 的 施事者 and person 是 fire 的 受事者, then org not(沒) 雇用(s) person ""fire 存在 的 時間" 不久 之後"a(之中) "fire 存在 的 時間" 不久 之後.
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))
If increase 是 增加 的 實例 and obj 是 increase 的 受事者, then there exist unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""increase 存在 的 時間" 不久 之前"a(之中) "increase 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""increase 存在 的 時間" 不久 之後"a(之中) "increase 存在 的 時間" 不久 之後 and quant2 (不) 大於 quant1.
(=>
(and
(instance ?INCREASE Increasing)
(patient ?INCREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
If heat 是 加溫 的 實例 and obj 是 heat 的 受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""heat 存在 的 時間" 不久 之前"a(之中) "heat 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""heat 存在 的 時間" 不久 之後"a(之中) "heat 存在 的 時間" 不久 之後 and quant2 (不) 大於 quant1.
(=>
(and
(instance ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
If decrease 是 減少 的 實例 and obj 是 decrease 的 受事者, then there exist unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""decrease 存在 的 時間" 不久 之前"a(之中) "decrease 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""decrease 存在 的 時間" 不久 之後"a(之中) "decrease 存在 的 時間" 不久 之後 and quant2 小於 quant1.
(=>
(and
(instance ?DECREASE Decreasing)
(patient ?DECREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
If cool 是 降溫 的 實例 and obj 是 cool 的 受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""cool 存在 的 時間" 不久 之前"a(之中) "cool 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""cool 存在 的 時間" 不久 之後"a(之中) "cool 存在 的 時間" 不久 之後 and quant2 小於 quant1.
(=>
(and
(instance ?COOL Cooling)
(patient ?COOL ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
If motion 是 移動 的 實例 and obj 是 motion 的 受事者 and motion (不) �_源s 於 place, then obj 位於 place ""motion 存在 的 時間" 不久 之前"a(之中) "motion 存在 的 時間" 不久 之前.
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(origin ?MOTION ?PLACE))
(holdsDuring
(ImmediatePastFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE)))
If motion 是 移動 的 實例 and obj 是 motion 的 受事者 and motion (不) 終結not(s) place, then obj 位於 place ""motion 存在 的 時間" 不久 之後"a(之中) "motion 存在 的 時間" 不久 之後.
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE)))
If proc 是 方向的改變 的 實例, then there exists 方向屬性 attr so that - proc 以 方式 attr 執行 ""proc 存在 的 時間" 不久 之前"a(之中) "proc 存在 的 時間" 不久 之前 and proc 以 方式 attr 執行 ""proc 存在 的 時間" 不久 之後"a(之中) "proc 存在 的 時間" 不久 之後
or - proc 以 方式 attr 執行 ""proc 存在 的 時間" 不久 之後"a(之中) "proc 存在 的 時間" 不久 之後 and proc 以 方式 attr 執行 ""proc 存在 的 時間" 不久 之前"a(之中) "proc 存在 的 時間" 不久 之前
.
(=>
(instance ?PROC DirectionChange)
(exists
(?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))))))
If remove 是 移除 的 實例 and remove (不) �_源s 於 place and obj 是 remove 的 受事者, then obj 位於 place ""remove 存在 的 時間" 不久 之前"a(之中) "remove 存在 的 時間" 不久 之前 and obj 位於 place ""remove 存在 的 時間" 不久 之後"a(之中) "remove 存在 的 時間" 不久 之後.
(=>
(and
(instance ?REMOVE Removing)
(origin ?REMOVE ?PLACE)
(patient ?REMOVE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?REMOVE))
(located ?OBJ ?PLACE))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?REMOVE))
(not
(located ?OBJ ?PLACE)))))
If put 是 放置 的 實例 and put (不) 終結not(s) place and obj 是 put 的 受事者, then obj 位於 place ""put 存在 的 時間" 不久 之前"a(之中) "put 存在 的 時間" 不久 之前 and obj 位於 place ""put 存在 的 時間" 不久 之後"a(之中) "put 存在 的 時間" 不久 之後.
(=>
(and
(instance ?PUT Putting)
(destination ?PUT ?PLACE)
(patient ?PUT ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PUT))
(not
(located ?OBJ ?PLACE)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PUT))
(located ?OBJ ?PLACE))))
If touch 是 觸動 的 實例 and touch 是 obj1 的 施事者 and obj2 是 touch 的 受事者, then obj1 與 obj2 相連 ""touch 存在 的 時間" 不久 之後"a(之中) "touch 存在 的 時間" 不久 之後.
(=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?OBJ1)
(patient ?TOUCH ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?TOUCH))
(connected ?OBJ1 ?OBJ2)))
If impact 是 影響 的 實例 and obj 是 impact 的 受事者, then there exists 穿透 impel so that obj 是 impel 的 受事者 and "impel 存在 的 時間" (沒) 比 "impact 存在 的 時間" 較早 發生not(s).
(=>
(and
(instance ?IMPACT Impacting)
(patient ?IMPACT ?OBJ))
(exists
(?IMPEL)
(and
(instance ?IMPEL Impelling)
(patient ?IMPEL ?OBJ)
(earlier
(WhenFn ?IMPEL)
(WhenFn ?IMPACT)))))
If change 是 擁有權的轉移 的 實例 and obj 是 change 的 受事者 and agent1 (沒) 擁有not(s) obj ""change 存在 的 時間" 不久 之前"a(之中) "change 存在 的 時間" 不久 之前 and agent2 (沒) 擁有not(s) obj ""change 存在 的 時間" 不久 之後"a(之中) "change 存在 的 時間" 不久 之後, then agent1 等於 agent2.
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2)))
If change 是 擁有權的轉移 的 實例 and change (不) �_源s 於 agent1 and change (不) 終結not(s) agent2 and agent2 是 施事者 的 實例 and obj 是 change 的 受事者, then agent1 (沒) 擁有not(s) obj ""change 存在 的 時間" 不久 之前"a(之中) "change 存在 的 時間" 不久 之前 and agent2 (沒) 擁有not(s) obj ""change 存在 的 時間" 不久 之後"a(之中) "change 存在 的 時間" 不久 之後.
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(origin ?CHANGE ?AGENT1)
(destination ?CHANGE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?CHANGE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ))))
If meas 是 測量 的 實例 and meas 是 agent 的 施事者 and obj 是 meas 的 受事者, then there exist quant,unit so that agent (不）知道s) %2 ""meas 存在 的 時間" 不久 之後"a(之中) "meas 存在 的 時間" 不久 之後.
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
If predict 是 預測 的 實例 and formula 是 predict 的 受事者, then there exists time so that formula (沒) 為真 timea(之中) time and time (沒) 發生?{s} 在 "predict 存在 的 時間" 之前 or time (沒) 比 "predict 存在 的 時間" 較早 發生not(s).
(=>
(and
(instance ?PREDICT Predicting)
(patient ?PREDICT ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?PREDICT))
(earlier
?TIME
(WhenFn ?PREDICT))))))
If remember 是 記憶 的 實例 and formula 是 remember 的 受事者, then there exists time so that formula (沒) 為真 timea(之中) time and time (沒) 發生?{s} 在 "remember 存在 的 時間" 之前 or time (沒) 比 "remember 存在 的 時間" 較早 發生not(s).
(=>
(and
(instance ?REMEMBER Remembering)
(patient ?REMEMBER ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?REMEMBER))
(earlier
?TIME
(WhenFn ?REMEMBER))))))
If keep 是 保有 的 實例 and keep 是 agent 的 施事者 and obj 是 keep 的 受事者, then there exists 放置 put so that put 是 agent 的 施事者 and obj 是 put 的 受事者 and "put 存在 的 時間" (沒) 比 "keep 存在 的 時間" 較早 發生not(s).
(=>
(and
(instance ?KEEP Keeping)
(agent ?KEEP ?AGENT)
(patient ?KEEP ?OBJ))
(exists
(?PUT)
(and
(instance ?PUT Putting)
(agent ?PUT ?AGENT)
(patient ?PUT ?OBJ)
(earlier
(WhenFn ?PUT)
(WhenFn ?KEEP)))))
- if keep 是 保有 的 實例 and obj 是 keep 的 受事者,
- then there exists place so that for all time holds: if time 是 "keep 存在 的 時間" 的 部分, then obj 位於 place timea(之中) time
.
(=>
(and
(instance ?KEEP Keeping)
(patient ?KEEP ?OBJ))
(exists
(?PLACE)
(forall
(?TIME)
(=>
(temporalPart
?TIME
(WhenFn ?KEEP))
(holdsDuring
?TIME
(located ?OBJ ?PLACE))))))
If repair 是 修護 的 實例 and obj 是 repair 的 受事者, then there exists 損害 damage so that obj 是 damage 的 受事者 and "damage 存在 的 時間" (沒) 比 "repair 存在 的 時間" 較早 發生not(s).
(=>
(and
(instance ?REPAIR Repairing)
(patient ?REPAIR ?OBJ))
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)
(earlier
(WhenFn ?DAMAGE)
(WhenFn ?REPAIR)))))
process 是 毀滅 的 實例 if and only if there exists patient so that patient 是 process 的 受事者 and patient (不) 存在s ""process 存在 的 時間" 不久 之前" 期間 and patient not(不) 存在 ""process 存在 的 時間" 不久 之後" 期間.
(<=>
(instance ?PROCESS Destruction)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))))))
If kill 是 殺害 的 實例 and patient 是 kill 的 受事者, then 活的 是 patient 的 屬性 ""kill 存在 的 時間" 不久 之前"a(之中) "kill 存在 的 時間" 不久 之前 and 死 是 patient 的 屬性 ""kill 存在 的 時間" 之後"a(之中) "kill 存在 的 時間" 之後.
(=>
(and
(instance ?KILL Killing)
(patient ?KILL ?PATIENT))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?KILL))
(attribute ?PATIENT Living))
(holdsDuring
(FutureFn
(WhenFn ?KILL))
(attribute ?PATIENT Dead))))
If poke 是 戳 的 實例 and poke 是 agent 的 施事者 and obj 是 poke 的 受事者 and inst 對 poke 是 工具, then inst 連結 agent 和 obj "poke 存在 的 時間"a(之中) poke 存在 的 時間.
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ)))
If attach 是 貼附 的 實例 and obj1 是 attach 的 受事者 and obj2 是 attach 的 受事者, then obj1 與 obj2 相連 ""attach 存在 的 時間" 不久 之前"a(之中) "attach 存在 的 時間" 不久 之前 and obj1 與 obj2 相連 ""attach 存在 的 時間" 不久 之後"a(之中) "attach 存在 的 時間" 不久 之後.
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2))))
If detach 是 脫離 的 實例 and obj1 是 detach 的 受事者 and obj2 是 detach 的 受事者, then obj1 與 obj2 相連 ""detach 存在 的 時間" 不久 之前"a(之中) "detach 存在 的 時間" 不久 之前 and obj1 與 obj2 相連 ""detach 存在 的 時間" 不久 之後"a(之中) "detach 存在 的 時間" 不久 之後.
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?OBJ2)))))
combine 是 結合 的 實例 and obj1 對 combine 是 資源 and obj2 是 combine 的 結果 if and only if obj1 是 obj2 的 部分) ""combine 存在 的 時間" 不久 之前"a(之中) "combine 存在 的 時間" 不久 之前 and obj1 是 obj2 的 部分) ""combine 存在 的 時間" 不久 之後"a(之中) "combine 存在 的 時間" 不久 之後.
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2))))
If change 是 內在改變 的 實例 and obj 是 change 的 受事者, then there exists property so that - property 是 obj 的 屬性 ""change 存在 的 時間" 不久 之前"a(之中) "change 存在 的 時間" 不久 之前 and property 是 obj 的 屬性 ""change 存在 的 時間" 不久 之後"a(之中) "change 存在 的 時間" 不久 之後
or - property 是 obj 的 屬性 ""change 存在 的 時間" 不久 之前"a(之中) "change 存在 的 時間" 不久 之前 and property 是 obj 的 屬性 ""change 存在 的 時間" 不久 之後"a(之中) "change 存在 的 時間" 不久 之後
.
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists
(?PROPERTY)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))))))
If alt 是 表面改變 的 實例 and obj 是 alt 的 受事者, then there exist part,property so that part 是 obj的 �~表部分 and property 是 part 的 屬性 ""alt 存在 的 時間" 不久 之前"a(之中) "alt 存在 的 時間" 不久 之前 and property 是 part 的 屬性 ""alt 存在 的 時間" 不久 之後"a(之中) "alt 存在 的 時間" 不久 之後.
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists
(?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))))
If alt 是 形狀改變 的 實例 and obj 是 alt 的 受事者, then there exists 形狀屬性 property so that - property 是 obj 的 屬性 ""alt 存在 的 時間" 不久 之前"a(之中) "alt 存在 的 時間" 不久 之前 and property 是 obj 的 屬性 ""alt 存在 的 時間" 不久 之後"a(之中) "alt 存在 的 時間" 不久 之後
or - property 是 obj 的 屬性 ""alt 存在 的 時間" 不久 之前"a(之中) "alt 存在 的 時間" 不久 之前 and property 是 obj 的 屬性 ""alt 存在 的 時間" 不久 之後"a(之中) "alt 存在 的 時間" 不久 之後
.
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY)))))))
If coloring 是 著色 的 實例 and obj 是 coloring 的 受事者, then there exists 顏色屬性 property so that property 是 obj 的 屬性 ""coloring 存在 的 時間" 不久 之前"a(之中) "coloring 存在 的 時間" 不久 之前 and property 是 obj 的 屬性 ""coloring 存在 的 時間" 不久 之後"a(之中) "coloring 存在 的 時間" 不久 之後.
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ColorAttribute)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COLORING))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COLORING))
(not
(attribute ?OBJ ?PROPERTY))))))
If decode 是 解碼 的 實例 and doc1 是 decode 的 受事者, then there exist encode,doc2,time so that doc2 (不) �]含s) 訊息 %2 and doc1 (不) �]含s) 訊息 %2 and time 是 ""decode 存在 的 時間" 之前" 的 部分 and encode 是 編碼 的 實例 and doc2 是 encode 的 受事者 timea(之中) 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 wet 是 濕潤 的 實例 and obj 是 wet 的 受事者, then 濕的 是 obj 的 屬性 or 潮濕 是 obj 的 屬性 ""wet 存在 的 時間" 不久 之後"a(之中) "wet 存在 的 時間" 不久 之後.
(=>
(and
(instance ?WET Wetting)
(patient ?WET ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WET))
(or
(attribute ?OBJ Wet)
(attribute ?OBJ Damp))))
If dry 是 乾燥 的 實例 and obj 是 dry 的 受事者, then 乾的 是 obj 的 屬性 ""dry 存在 的 時間" 不久 之後"a(之中) "dry 存在 的 時間" 不久 之後.
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DRY))
(attribute ?OBJ Dry)))
process 是 產生 的 實例 if and only if there exists patient so that patient 是 process 的 受事者 and patient (不) 存在s ""process 存在 的 時間" 不久 之後" 期間 and patient not(不) 存在 ""process 存在 的 時間" 不久 之前" 期間.
(<=>
(instance ?PROCESS Creation)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))))))
If investigate 是 調查 的 實例 and investigate 是 agent 的 施事者 and prop 是 investigate 的 受事者, then agent not(不）知道 "investigate 存在 的 時間"a(之中) investigate 存在 的 時間.
(=>
(and
(instance ?INVESTIGATE Investigating)
(agent ?INVESTIGATE ?AGENT)
(patient ?INVESTIGATE ?PROP))
(holdsDuring
(WhenFn ?INVESTIGATE)
(not
(knows ?AGENT ?PROP))))
If state 是 敘述 的 實例 and state 是 agent 的 施事者 and formula 是 state 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent (不)相信 formula "state 存在 的 時間"a(之中) state 存在 的 時間.
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA)))
If question 是 詢問 的 實例 and question 是 agent 的 施事者 and formula 是 question 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent not(不）知道 "question 存在 的 時間"a(之中) question 存在 的 時間.
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA))))
If meet 是 會面 的 實例 and meet 是 agent1 的 施事者 and meet 是 agent2 的 施事者, then agent1 對 agent2 是 接近 "meet 存在 的 時間"a(之中) meet 存在 的 時間.
(=>
(and
(instance ?MEET Meeting)
(agent ?MEET ?AGENT1)
(agent ?MEET ?AGENT2))
(holdsDuring
(WhenFn ?MEET)
(orientation ?AGENT1 ?AGENT2 Near)))
If process 是 狀態改變 的 實例 and obj 是 process 的 受事者, then there exist part,物理狀態 state1,物理狀態 state2 so that part 是 obj 的 部分) and state1 等於 state2 and state1 是 part 的 屬性 ""process 存在 的 時間" 不久 之前"a(之中) "process 存在 的 時間" 不久 之前 and state2 是 part 的 屬性 ""freeze 存在 的 時間" 不久 之後"a(之中) "freeze 存在 的 時間" 不久 之後.
(=>
(and
(instance ?PROCESS StateChange)
(patient ?PROCESS ?OBJ))
(exists
(?PART ?STATE1 ?STATE2)
(and
(part ?PART ?OBJ)
(instance ?STATE1 PhysicalState)
(instance ?STATE2 PhysicalState)
(not
(equal ?STATE1 ?STATE2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROCESS))
(attribute ?PART ?STATE1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART ?STATE2)))))
If melt 是 熔化 的 實例 and obj 是 melt 的 受事者, then there exists part so that part 是 obj 的 部分) and 固體的 是 part 的 屬性 ""melt 存在 的 時間" 不久 之前"a(之中) "melt 存在 的 時間" 不久 之前 and 液體的 是 part 的 屬性 ""melt 存在 的 時間" 不久 之後"a(之中) "melt 存在 的 時間" 不久 之後.
(=>
(and
(instance ?MELT Melting)
(patient ?MELT ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?MELT))
(attribute ?PART Solid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MELT))
(attribute ?PART Liquid)))))
If boil 是 沸騰 的 實例 and obj 是 boil 的 受事者, then there exists part so that part 是 obj 的 部分) and 液體的 是 part 的 屬性 ""boil 存在 的 時間" 不久 之前"a(之中) "boil 存在 的 時間" 不久 之前 and 氣體 是 part 的 屬性 ""boil 存在 的 時間" 不久 之後"a(之中) "boil 存在 的 時間" 不久 之後.
(=>
(and
(instance ?BOIL Boiling)
(patient ?BOIL ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BOIL))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?BOIL))
(attribute ?PART Gas)))))
If cond 是 凝結 的 實例 and obj 是 cond 的 受事者, then there exists part so that part 是 obj 的 部分) and 氣體 是 part 的 屬性 ""cond 存在 的 時間" 不久 之前"a(之中) "cond 存在 的 時間" 不久 之前 and 液體的 是 part 的 屬性 ""cond 存在 的 時間" 不久 之後"a(之中) "cond 存在 的 時間" 不久 之後.
(=>
(and
(instance ?COND Condensing)
(patient ?COND ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COND))
(attribute ?PART Gas))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COND))
(attribute ?PART Liquid)))))
If freeze 是 凝固 的 實例 and obj 是 freeze 的 受事者, then there exists part so that part 是 obj 的 部分) and 液體的 是 part 的 屬性 ""freeze 存在 的 時間" 不久 之前"a(之中) "freeze 存在 的 時間" 不久 之前 and 固體的 是 part 的 屬性 ""freeze 存在 的 時間" 不久 之後"a(之中) "freeze 存在 的 時間" 不久 之後.
(=>
(and
(instance ?FREEZE Freezing)
(patient ?FREEZE ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?FREEZE))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART Solid)))))
If parent 是 child 的 雙親, then ""parent 存在 的 時間" 的 �}始" (沒) 發生?{s} 在 ""child 存在 的 時間" 的 �}始" 之前.
(=>
(parent ?CHILD ?PARENT)
(before
(BeginFn
(WhenFn ?PARENT))
(BeginFn
(WhenFn ?CHILD))))
- if artifact 是 固定人造物 的 實例,
- then there exists place so that for all time holds: if time (沒) 發生?{s} 在 ""artifact 存在 的 時間" 的 結束" 或 之前 and ""artifact 存在 的 時間" 的 �}始" (沒) 發生?{s} 在 time 或 之前, then "artifact 在 time 的 time位置" 等於 place
.
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists
(?PLACE)
(forall
(?TIME)
(=>
(and
(beforeOrEqual
?TIME
(EndFn
(WhenFn ?ARTIFACT)))
(beforeOrEqual
(BeginFn
(WhenFn ?ARTIFACT))
?TIME))
(equal
(WhereFn ?ARTIFACT ?TIME)
?PLACE)))))
If organism 是 生物體 的 實例 and process 是 organism 的 施事者, then 活的 是 organism 的 屬性 "process 存在 的 時間"a(之中) process 存在 的 時間.
(=>
(and
(instance ?ORGANISM Organism)
(agent ?PROCESS ?ORGANISM))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?ORGANISM Living)))
If 完全形成的 是 obj 的 屬性, then there exists 生長 growth so that obj (沒) 體驗not(s) growth and 未完全形成的 是 obj 的 屬性 ""obj 存在 的 時間" 的 �}始"a(之中) "obj 存在 的 時間" 的 �}始.
(=>
(attribute ?OBJ FullyFormed)
(exists
(?GROWTH)
(and
(instance ?GROWTH Growth)
(experiencer ?GROWTH ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?OBJ))
(attribute ?OBJ NonFullyFormed)))))
