受事者 (patient)
(patient process entity) means that entity
is a participant in process that may be moved, said, experienced, etc.
For example, the direct objects in the sentences 'The cat swallowed the
canary' and 'Billy likes the beer' would be examples of patients. Note
that the patient of a Process may or may not undergo structural
change as a result of the Process. The CaseRole of patient is used
when one wants to specify as broadly as possible the object of a
Process.
Ontology
SUMO / BASE-ONTOLOGYClass(es)
Subrelation(s)
工具
資源
結果
Coordinate term(s)
施事者
終點
方向
經驗者
起源
路徑
Type restrictions
patient(歷程, 實體)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (98)
If process 是 雙受事歷程 的 實例, then there exist obj1,obj2 so that obj1 是 process 的 受事者 and obj2 是 process 的 受事者 and obj1 等於 obj2.
(=>
(instance ?PROCESS DualObjectProcess)
(exists
(?OBJ1 ?OBJ2)
(and
(patient ?PROCESS ?OBJ1)
(patient ?PROCESS ?OBJ2)
(not
(equal ?OBJ1 ?OBJ2)))))
- if person (沒) 擁有not(s) obj,
- then there exists type so that type 有 權 使 person 為真 and for all process holds: if process 是 type 的 實例, then obj 是 process 的 受事者
.
(=>
(possesses ?PERSON ?OBJ)
(exists
(?TYPE)
(and
(holdsRight ?PERSON ?TYPE)
(forall
(?PROCESS)
(=>
(instance ?PROCESS ?TYPE)
(patient ?PROCESS ?OBJ))))))
If act 是 攝食 的 實例 and food 是 act 的 受事者, then food 是 食物 的 實例.
(=>
(and
(instance ?ACT Ingesting)
(patient ?ACT ?FOOD))
(instance ?FOOD Food))
If act 是 吃 的 實例 and food 是 act 的 受事者, then 固體的 是 food 的 屬性.
(=>
(and
(instance ?ACT Eating)
(patient ?ACT ?FOOD))
(attribute ?FOOD Solid))
If inj 是 傷害 的 實例, then there exists 解剖構造 struct so that struct 是 inj 的 受事者.
(=>
(instance ?INJ Injuring)
(exists
(?STRUCT)
(and
(instance ?STRUCT AnatomicalStructure)
(patient ?INJ ?STRUCT))))
inj 是 傷害 的 實例 if and only if inj 是 損害 的 實例 and 生物體 是 inj 的 受事者.
(<=>
(instance ?INJ Injuring)
(and
(instance ?INJ Damaging)
(patient ?INJ Organism)))
If poison 是 中毒 的 實例, then there exists thing so that thing 是 poison 的 受事者 and thing 是 生物體 的 實例 or thing 是 解剖構造 的 實例.
(=>
(instance ?POISON Poisoning)
(exists
(?THING)
(and
(patient ?POISON ?THING)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))
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 grad 是 畢業 的 實例 and grad 是 org 的 施事者 and person 是 grad 的 受事者, then org 是 教育組織 的 實例.
(=>
(and
(instance ?GRAD Graduation)
(agent ?GRAD ?ORG)
(patient ?GRAD ?PERSON))
(instance ?ORG EducationalOrganization))
If mat 是 正式入學 的 實例 and mat 是 org 的 施事者 and person 是 mat 的 受事者, then org 是 教育組織 的 實例.
(=>
(and
(instance ?MAT Matriculation)
(agent ?MAT ?ORG)
(patient ?MAT ?PERSON))
(instance ?ORG EducationalOrganization))
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 proc 是 政治歷程 的 實例, then there exists 政府 gov so that proc 是 gov 的 施事者 or gov 是 proc 的 受事者.
(=>
(instance ?PROC PoliticalProcess)
(exists
(?GOV)
(and
(instance ?GOV Government)
(or
(agent ?PROC ?GOV)
(patient ?PROC ?GOV)))))
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 motion 是 身體移動 的 實例, then there exist 軀體部件 obj,生物體 agent so that obj 是 motion 的 受事者 and motion 是 agent 的 施事者.
(=>
(instance ?MOTION BodyMotion)
(exists
(?OBJ ?AGENT)
(and
(instance ?OBJ BodyPart)
(patient ?MOTION ?OBJ)
(instance ?AGENT Organism)
(agent ?MOTION ?AGENT))))
If transfer 是 轉移或轉換 的 實例 and transfer 是 agent 的 施事者 and patient 是 transfer 的 受事者, then agent 等於 patient.
(=>
(and
(instance ?TRANSFER Transfer)
(agent ?TRANSFER ?AGENT)
(patient ?TRANSFER ?PATIENT))
(not
(equal ?AGENT ?PATIENT)))
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 sub 是 替換 的 實例, then there exist 放置 put,移除 remove,obj1,obj2,place so that put 是 sub 的 次歷�{ and remove 是 sub 的 次歷�{ and obj1 是 remove 的 受事者 and remove (不) �_源s 於 place and obj2 是 put 的 受事者 and put (不) 終結not(s) place and obj1 等於 obj2.
(=>
(instance ?SUB Substituting)
(exists
(?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(and
(instance ?PUT Putting)
(instance ?REMOVE Removing)
(subProcess ?PUT ?SUB)
(subProcess ?REMOVE ?SUB)
(patient ?REMOVE ?OBJ1)
(origin ?REMOVE ?PLACE)
(patient ?PUT ?OBJ2)
(destination ?PUT ?PLACE)
(not
(equal ?OBJ1 ?OBJ2)))))
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 steer 是 引導 的 實例, then there exists 運輸工具 vehicle so that vehicle 是 steer 的 受事者.
(=>
(instance ?STEER Steering)
(exists
(?VEHICLE)
(and
(instance ?VEHICLE TransportationDevice)
(patient ?STEER ?VEHICLE))))
If education 是 教育歷程 的 實例 and person 是 education 的 受事者, then education 有 意圖 "there exists 學習 learn so that person 是 learn 的 受事者".
(=>
(and
(instance ?EDUCATION EducationalProcess)
(patient ?EDUCATION ?PERSON))
(hasPurpose
?EDUCATION
(exists
(?LEARN)
(and
(instance ?LEARN Learning)
(patient ?LEARN ?PERSON)))))
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 give 是 給與 的 實例 and give 是 agent1 的 施事者 and give (不) 終結not(s) agent2 and agent2 是 施事者 的 實例 and obj 是 give 的 受事者, then there exists 獲取 get so that get 是 agent2 的 施事者 and get (不) �_源s 於 agent1 and obj 是 get 的 受事者.
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT1)
(destination ?GIVE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?GIVE ?OBJ))
(exists
(?GET)
(and
(instance ?GET Getting)
(agent ?GET ?AGENT2)
(origin ?GET ?AGENT1)
(patient ?GET ?OBJ))))
There exists 借取 borrow so that borrow 是 agent1 的 施事者 and borrow (不) �_源s 於 agent2 and object 是 borrow 的 受事者 if and only if there exists 借予 lend so that lend 是 agent2 的 施事者 and lend (不) 終結not(s) agent1 and object 是 lend 的 受事者.
(<=>
(exists
(?BORROW)
(and
(instance ?BORROW Borrowing)
(agent ?BORROW ?AGENT1)
(origin ?BORROW ?AGENT2)
(patient ?BORROW ?OBJECT)))
(exists
(?LEND)
(and
(instance ?LEND Lending)
(agent ?LEND ?AGENT2)
(destination ?LEND ?AGENT1)
(patient ?LEND ?OBJECT))))
If trans 是 交易 的 實例, then there exist agent1,agent2,給與 give1,給與 give2,obj1,obj2 so that give1 是 trans 的 次歷�{ and give2 是 trans 的 次歷�{ and give1 是 agent1 的 施事者 and give2 是 agent2 的 施事者 and obj1 是 give1 的 受事者 and obj2 是 give2 的 受事者 and give1 (不) 終結not(s) agent2 and give2 (不) 終結not(s) agent1 and agent1 等於 agent2 and obj1 等於 obj2.
(=>
(instance ?TRANS Transaction)
(exists
(?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
(and
(instance ?GIVE1 Giving)
(instance ?GIVE2 Giving)
(subProcess ?GIVE1 ?TRANS)
(subProcess ?GIVE2 ?TRANS)
(agent ?GIVE1 ?AGENT1)
(agent ?GIVE2 ?AGENT2)
(patient ?GIVE1 ?OBJ1)
(patient ?GIVE2 ?OBJ2)
(destination ?GIVE1 ?AGENT2)
(destination ?GIVE2 ?AGENT1)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?OBJ1 ?OBJ2)))))
If trans 是 金融交易 的 實例, then there exists 匯率單位 obj so that obj 是 trans 的 受事者.
(=>
(instance ?TRANS FinancialTransaction)
(exists
(?OBJ)
(and
(patient ?TRANS ?OBJ)
(instance ?OBJ CurrencyMeasure))))
There exists 買 buy so that buy 是 agent1 的 施事者 and buy (不) �_源s 於 agent2 and object 是 buy 的 受事者 if and only if there exists 銷售 sell so that sell 是 agent2 的 施事者 and sell (不) 終結not(s) agent1 and object 是 sell 的 受事者.
(<=>
(exists
(?BUY)
(and
(instance ?BUY Buying)
(agent ?BUY ?AGENT1)
(origin ?BUY ?AGENT2)
(patient ?BUY ?OBJECT)))
(exists
(?SELL)
(and
(instance ?SELL Selling)
(agent ?SELL ?AGENT2)
(destination ?SELL ?AGENT1)
(patient ?SELL ?OBJECT))))
If there exists 學習 learn so that learn 是 agent 的 施事者 and prop 是 learn 的 受事者 timea(之中) time, then agent (不)相信 prop "time 不久 之後"a(之中) time 不久 之後.
(=>
(holdsDuring
?TIME
(exists
(?LEARN)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring
(ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
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 count 是 計數 的 實例 and count 是 agent 的 施事者 and entity 是 count 的 受事者, then there exists number so that agent (不）知道s) %2.
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists
(?NUMBER)
(knows
?AGENT
(equal
(CardinalityFn ?ENTITY)
?NUMBER))))
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 confine 是 限定 的 實例, then there exists 人類 human so that human 是 confine 的 受事者.
(=>
(instance ?CONFINE Confining)
(exists
(?HUMAN)
(and
(instance ?HUMAN Human)
(patient ?CONFINE ?HUMAN))))
If confine 是 限定 的 實例 and person 是 confine 的 受事者, then person not(不) 冀求(s) "person 是 confine 的 受事者".
(=>
(and
(instance ?CONFINE Confining)
(patient ?CONFINE ?PERSON))
(not
(desires
?PERSON
(patient ?CONFINE ?PERSON))))
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)))))
If proc 是 治療歷程 的 實例 and bio 是 proc 的 受事者, then - bio 是 生物體 的 實例
or - there exists 生物體 org so that bio 是 org 的 部分)
.
(=>
(and
(instance ?PROC TherapeuticProcess)
(patient ?PROC ?BIO))
(or
(instance ?BIO Organism)
(exists
(?ORG)
(and
(instance ?ORG Organism)
(part ?BIO ?ORG)))))
If act 是 外科手術 的 實例 and animal 是 act 的 受事者, then there exists 切割 subact so that animal 是 動物 的 實例 and cutting 是 animal 的 受事者 and subact 是 act 的 次歷�{.
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists
(?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))
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 kill 是 agent 的 施事者 and patient 是 kill 的 受事者, then agent 是 生物體 的 實例 and patient 是 生物體 的 實例.
(=>
(and
(instance ?KILL Killing)
(agent ?KILL ?AGENT)
(patient ?KILL ?PATIENT))
(and
(instance ?AGENT Organism)
(instance ?PATIENT Organism)))
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)))))
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 develop 是 內容發展 的 實例, then there exists 內容載體 obj so that obj 是 develop 的 受事者.
(=>
(instance ?DEVELOP ContentDevelopment)
(exists
(?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(patient ?DEVELOP ?OBJ))))
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 wet 是 濕潤 的 實例, then there exists obj so that 液體的 是 obj 的 屬性 and obj 是 wet 的 受事者.
(=>
(instance ?WET Wetting)
(exists
(?OBJ)
(and
(attribute ?OBJ Liquid)
(patient ?WET ?OBJ))))
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 pub 是 出版 的 實例 and text 是 pub 的 受事者, then text 是 文本 的 次種類.
(=>
(and
(instance ?PUB Publication)
(patient ?PUB ?TEXT))
(subclass ?TEXT Text))
If search 是 探尋 的 實例 and search 是 agent 的 施事者 and entity 是 search 的 受事者, then agent 在 entity 範圍中.
(=>
(and
(instance ?SEARCH Searching)
(agent ?SEARCH ?AGENT)
(patient ?SEARCH ?ENTITY))
(inScopeOfInterest ?AGENT ?ENTITY))
If pursue 是 追 的 實例 and pursue 是 agent 的 施事者 and obj 是 pursue 的 受事者, then agent (不) 想要not(s) obj pursuea(之中) pursue.
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring
?PURSUE
(wants ?AGENT ?OBJ)))
If pursue 是 追 的 實例 and pursue 是 agent 的 施事者 and obj 是 pursue 的 受事者, then agent not(沒) 擁有(s) obj pursuea(之中) pursue.
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring
?PURSUE
(not
(possesses ?AGENT ?OBJ))))
If investigate 是 調查 的 實例 and prop 是 investigate 的 受事者, then prop 是 SUO-KIF表述式 的 實例.
(=>
(and
(instance ?INVESTIGATE Investigating)
(patient ?INVESTIGATE ?PROP))
(instance ?PROP Formula))
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 communicate 是 溝通 的 實例, then there exist 內容載體 obj,具認知力施事者 agent1,具認知力施事者 agent2 so that obj 是 communicate 的 受事者 and communicate 是 agent1 的 施事者 and communicate (不) 終結not(s) agent2.
(=>
(instance ?COMMUNICATE Communication)
(exists
(?OBJ ?AGENT1 ?AGENT2)
(and
(instance ?OBJ ContentBearingObject)
(patient ?COMMUNICATE ?OBJ)
(instance ?AGENT1 CognitiveAgent)
(agent ?COMMUNICATE ?AGENT1)
(instance ?AGENT2 CognitiveAgent)
(destination ?COMMUNICATE ?AGENT2))))
If advert 是 廣告 的 實例, then there exists obj so that advert 參照 obj and advert 有 意圖 "there exists 銷售 sale so that obj 是 sale 的 受事者".
(=>
(instance ?ADVERT Advertising)
(exists
(?OBJ)
(and
(refers ?ADVERT ?OBJ)
(hasPurpose
?ADVERT
(exists
(?SALE)
(and
(instance ?SALE Selling)
(patient ?SALE ?OBJ)))))))
If communicate 是 語言溝通 的 實例, then there exists 語言表式 obj so that obj 是 communicate 的 受事者.
(=>
(instance ?COMMUNICATE LinguisticCommunication)
(exists
(?OBJ)
(and
(instance ?OBJ LinguisticExpression)
(patient ?COMMUNICATE ?OBJ))))
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 order 是 命令 的 實例 and formula 是 order 的 受事者, then 陳述 formula 有 義務 的 型態意義.
(=>
(and
(instance ?ORDER Ordering)
(patient ?ORDER ?FORMULA))
(modalAttribute ?FORMULA Obligation))
If request 是 請求 的 實例 and request 是 agent 的 施事者 and formula 是 request 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent (不) 冀求not(s) formula.
(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(patient ?REQUEST ?FORMULA)
(instance ?FORMULA Formula))
(desires ?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 commit 是 承諾 的 實例 and formula 是 commit 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then 陳述 formula 有 承諾 的 型態意義.
(=>
(and
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise))
If percept 是 知覺 的 實例 and percept 是 agent 的 施事者 and object 是 percept 的 受事者, then agent (沒) �`意到not(s) object.
(=>
(and
(instance ?PERCEPT Perception)
(agent ?PERCEPT ?AGENT)
(patient ?PERCEPT ?OBJECT))
(notices ?AGENT ?OBJECT))
If see 是 看 的 實例 and see 是 agent 的 施事者 and obj 是 see 的 受事者, then - 被光照的 是 obj 的 屬性
and - there exists 顏色屬性 prop so that agent (不）知道s) %2
.
(=>
(and
(instance ?SEE Seeing)
(agent ?SEE ?AGENT)
(patient ?SEE ?OBJ))
(and
(attribute ?OBJ Illuminated)
(exists
(?PROP)
(and
(instance ?PROP ColorAttribute)
(knows
?AGENT
(attribute ?OBJ ?PROP))))))
If smell 是 聞 的 實例 and obj 是 smell 的 受事者, then there exists 嗅覺屬性 attr so that attr 是 obj 的 屬性.
(=>
(and
(instance ?SMELL Smelling)
(patient ?SMELL ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR OlfactoryAttribute)
(attribute ?OBJ ?ATTR))))
If taste 是 味覺 的 實例 and obj 是 taste 的 受事者, then there exists 味覺屬性 attr so that attr 是 obj 的 屬性.
(=>
(and
(instance ?TASTE Tasting)
(patient ?TASTE ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR TasteAttribute)
(attribute ?OBJ ?ATTR))))
If hear 是 聽 的 實例 and obj 是 hear 的 受事者, then there exists 聲音屬性 attr so that attr 是 obj 的 屬性.
(=>
(and
(instance ?HEAR Hearing)
(patient ?HEAR ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR SoundAttribute)
(attribute ?OBJ ?ATTR))))
There exists 光線 emit so that region 是 emit 的 受事者 and region 是 區域 的 實例 if and only if 被光照的 是 region 的 屬性.
(<=>
(exists
(?EMIT)
(and
(instance ?EMIT RadiatingLight)
(patient ?EMIT ?REGION)
(instance ?REGION Region)))
(attribute ?REGION Illuminated))
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 drink 是 喝 的 實例 and bev 是 drink 的 受事者, then bev 是 飲料 的 實例.
(=>
(and
(instance ?DRINK Drinking)
(patient ?DRINK ?BEV))
(instance ?BEV Beverage))
org 出版 text if and only if there exists 出版 pub so that pub 是 org 的 施事者 and text 是 pub 的 受事者.
(<=>
(publishes ?ORG ?TEXT)
(exists
(?PUB)
(and
(instance ?PUB Publication)
(agent ?PUB ?ORG)
(patient ?PUB ?TEXT))))
If "text 的 版本 int1 " 等於 edition1 and "text 的 版本 int2 " 等於 edition2 and int2 (不) 大於 int1 and pub1 是 出版 的 實例 and pub2 是 出版 的 實例 and edition1 是 pub1 的 受事者 and edition2 是 pub2 的 受事者 and pub1 的 日期 是 date1 and pub2 的 日期 是 date2, then "date1 的 結束" (沒) 發生?{s} 在 "date2 的 結束" 之前.
(=>
(and
(equal
(EditionFn ?TEXT ?INT1)
?EDITION1)
(equal
(EditionFn ?TEXT ?INT2)
?EDITION2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?EDITION1)
(patient ?PUB2 ?EDITION2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))
If text 是 期刊 的 次種類 and "冊 int1 在 系列數 text" 等於 volume1 and "冊 int2 在 系列數 text" 等於 volume2 and int2 (不) 大於 int1 and pub1 是 出版 的 實例 and pub2 是 出版 的 實例 and volume1 是 pub1 的 受事者 and volume2 是 pub2 的 受事者 and pub1 的 日期 是 date1 and pub2 的 日期 是 date2, then "date1 的 結束" (沒) 發生?{s} 在 "date2 的 結束" 之前.
(=>
(and
(subclass ?TEXT Periodical)
(equal
(SeriesVolumeFn ?TEXT ?INT1)
?VOLUME1)
(equal
(SeriesVolumeFn ?TEXT ?INT2)
?VOLUME2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?VOLUME1)
(patient ?PUB2 ?VOLUME2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))
If weapon 是 武器 的 實例, then weapon 有 意圖 "there exist 損害 dest,patient so that patient 是 dest 的 受事者 and - patient 是 固定人造物 的 實例
or - patient 是 動物 的 實例
or - there exists 動物 animal so that animal 住s 在 patient
".
(=>
(instance ?WEAPON Weapon)
(hasPurpose
?WEAPON
(exists
(?DEST ?PATIENT)
(and
(instance ?DEST Damaging)
(patient ?DEST ?PATIENT)
(or
(instance ?PATIENT StationaryArtifact)
(instance ?PATIENT Animal)
(exists
(?ANIMAL)
(and
(instance ?ANIMAL Animal)
(inhabits ?ANIMAL ?PATIENT))))))))
If attr 是 obj 的 屬性 and attr 是 競爭屬性 的 實例, then there exists 競爭 contest so that contest 是 obj 的 施事者 or obj 是 contest 的 受事者.
(=>
(and
(attribute ?OBJ ?ATTR)
(instance ?ATTR ContestAttribute))
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(or
(agent ?CONTEST ?OBJ)
(patient ?CONTEST ?OBJ)))))
If perception 是 知覺 的 實例 and obj 是 perception 的 受事者, then there exists 知覺屬性 prop so that prop 是 obj 的 屬性.
(=>
(and
(instance ?PERCEPTION Perception)
(patient ?PERCEPTION ?OBJ))
(exists
(?PROP)
(and
(instance ?PROP PerceptualAttribute)
(attribute ?OBJ ?PROP))))
If there exists 形狀改變 change so that obj 是 change 的 受事者, then 可變形的 是 obj 的 屬性.
(=>
(exists
(?CHANGE)
(and
(instance ?CHANGE ShapeChange)
(patient ?CHANGE ?OBJ)))
(attribute ?OBJ Pliable))
If 不易碎的 是 obj 的 屬性, then there doesn't exist 損害 damage so that obj 是 damage 的 受事者.
(=>
(attribute ?OBJ Unbreakable)
(not
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)))))
