存在 (exists)
The existential quantifier of predicate logic.
Ontology
SUMO / STRUCTURAL-ONTOLOGYClass(es)
Coordinate term(s)
若且唯若
若
和
推知
所有
非
或
Type restrictions
exists(序列, SUO-KIF表述式)
Related WordNet synsets
- being, beingness, existence
- the state or fact of existing: "a point of view gradually coming into being"; "laws in existence for centuries"
- reality, realness, realism
- the state of being actual or real: "the reality of his situation slowly dawned on him"
- actuality
- the state of actually existing objectively: "a hope that progressed from possibility to actuality"
- subsistence
- the state of existing in reality; having substance
- exist, be
- have an existence, be extant; "Is there a God?"
See more related synsets on a separate page.
Axioms (290)
If entity 是 class 的 直接 實例, then there doesn't exist class subclass so that entity 是 subclass 的 實例.
(=>
(immediateInstance ?ENTITY ?CLASS)
(not
(exists
(?SUBCLASS)
(and
(subclass ?SUBCLASS ?CLASS)
(instance ?ENTITY ?SUBCLASS)))))
If class1 是 class2 的 直接 次種類, then there doesn't exist class2 class3 so that class1 是 class3 的 次種類 and class2 等於 class3 and class1 等於 class3.
(=>
(immediateSubclass ?CLASS1 ?CLASS2)
(not
(exists
(?CLASS3)
(and
(subclass ?CLASS3 ?CLASS2)
(subclass ?CLASS1 ?CLASS3)
(not
(equal ?CLASS2 ?CLASS3))
(not
(equal ?CLASS1 ?CLASS3))))))
- if 窮盡的屬性,
- then for all obj holds: if attr1 是 class 的 實例, then there exists attr2 so that attr2 是 "()" 的 一 成員 and attr1 等於 attr2
.
(=>
(exhaustiveAttribute ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?ATTR1 ?CLASS)
(exists
(?ATTR2)
(and
(inList
?ATTR2
(ListFn @ROW))
(equal ?ATTR1 ?ATTR2))))))
If attr1 是 attr2 的 續接屬性 and entity 有 屬性 attr2 time1a(之中) time1, then there exists time2 so that time2 是 "time1 之前" 的 部分 and entity 有 屬性 attr1 time2a(之中) time2.
(=>
(and
(successorAttribute ?ATTR1 ?ATTR2)
(holdsDuring
?TIME1
(property ?ENTITY ?ATTR2)))
(exists
(?TIME2)
(and
(temporalPart
?TIME2
(PastFn ?TIME1))
(holdsDuring
?TIME2
(property ?ENTITY ?ATTR1)))))
There exists thing so that thing 是 實體 的 實例.
(exists
(?THING)
(instance ?THING Entity))
phys 是 物質的 的 實例 if and only if there exist loc,time so that phys 位於 loc and phys (不) 存在s time 期間.
(<=>
(instance ?PHYS Physical)
(exists
(?LOC ?TIME)
(and
(located ?PHYS ?LOC)
(time ?PHYS ?TIME))))
If atom 是 原子 的 實例, then there exist 質子 proton,電子 electron so that proton 是 atom 的 元件 and electron 是 atom 的 元件.
(=>
(instance ?ATOM Atom)
(exists
(?PROTON ?ELECTRON)
(and
(component ?PROTON ?ATOM)
(component ?ELECTRON ?ATOM)
(instance ?PROTON Proton)
(instance ?ELECTRON Electron))))
If particle 是 次原子粒子 的 實例, then there exists 原子 atom so that particle 是 atom 的 部分).
(=>
(instance ?PARTICLE SubatomicParticle)
(exists
(?ATOM)
(and
(instance ?ATOM Atom)
(part ?PARTICLE ?ATOM))))
If nucleus 是 原子核 的 實例, then there exist 中子 neutron,質子 proton so that neutron 是 nucleus 的 元件 and proton 是 nucleus 的 元件.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))
If mixture 是 混合物 的 實例, then there exist 純物質 pure1,純物質 pure2 so that pure1 等於 pure2 and pure1 是 mixture 的 �@小部分 and pure2 是 mixture 的 �@小部分.
(=>
(instance ?MIXTURE Mixture)
(exists
(?PURE1 ?PURE2)
(and
(subclass ?PURE1 PureSubstance)
(subclass ?PURE2 PureSubstance)
(not
(equal ?PURE1 ?PURE2))
(piece ?PURE1 ?MIXTURE)
(piece ?PURE2 ?MIXTURE))))
If obj 是 複雜體/非單質體 的 實例, then there exist 物質 substance1,物質 substance2 so that substance1 是 由 obj 組成 and substance2 是 由 obj 組成 and substance1 等於 substance2.
(=>
(instance ?OBJ CorpuscularObject)
(exists
(?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2)))))
If region 是 區域 的 實例, then there exists phys so that phys 位於 region.
(=>
(instance ?REGION Region)
(exists
(?PHYS)
(located ?PHYS ?REGION)))
If coll 是 群集 的 實例, then there exists obj so that obj 是 coll的 成員.
(=>
(instance ?COLL Collection)
(exists
(?OBJ)
(member ?OBJ ?COLL)))
If string 是 符號串 的 實例, then there exists 字元 part so that part 是 string 的 部分).
(=>
(instance ?STRING SymbolicString)
(exists
(?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
If lang 是 人造語言 的 實例, then there exists 計畫 plan so that lang 是 plan 的 結果.
(=>
(instance ?LANG ConstructedLanguage)
(exists
(?PLAN)
(and
(instance ?PLAN Planning)
(result ?PLAN ?LANG))))
agent 是 施事者 的 實例 if and only if there exists proc so that proc 是 agent 的 施事者.
(<=>
(instance ?AGENT Agent)
(exists
(?PROC)
(agent ?PROC ?AGENT)))
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)))))
abs 是 抽象的 的 實例 if and only if there doesn't exist point so that abs 位於 point or abs (不) 存在s point 期間.
(<=>
(instance ?ABS Abstract)
(not
(exists
(?POINT)
(or
(located ?ABS ?POINT)
(time ?ABS ?POINT)))))
If number 是 虛數 的 實例, then there exists 實數 real so that number 等於 "real*" 的 平方根"".
(=>
(instance ?NUMBER ImaginaryNumber)
(exists
(?REAL)
(and
(instance ?REAL RealNumber)
(equal
?NUMBER
(MultiplicationFn
?REAL
(SquareRootFn -1))))))
If number 是 複數 的 實例, then there exist 實數 real1,實數 real2 so that number 等於 "(real1+"real2*" 的 平方根"")".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?REAL1 ?REAL2)
(and
(instance ?REAL1 RealNumber)
(instance ?REAL2 RealNumber)
(equal
?NUMBER
(AdditionFn
?REAL1
(MultiplicationFn
?REAL2
(SquareRootFn -1)))))))
rel 是 全值關係 的 實例 if and only if there exists valence so that rel 是 關係 的 實例 and rel %&有 論元(s) valence and - if for all number,element,class holds: if number 小於 valence and rel 的 論元 number 是 class 的 實例 and element 等於 ""()" 的 第二 元素", then element 是 class 的 實例,
- then there exists item so that rel(,item) (不) 成立s
.
(<=>
(instance ?REL TotalValuedRelation)
(exists
(?VALENCE)
(and
(instance ?REL Relation)
(valence ?REL ?VALENCE)
(=>
(forall
(?NUMBER ?ELEMENT ?CLASS)
(=>
(and
(lessThan ?NUMBER ?VALENCE)
(domain ?REL ?NUMBER ?CLASS)
(equal
?ELEMENT
(ListOrderFn
(ListFn @ROW)
?NUMBER)))
(instance ?ELEMENT ?CLASS)))
(exists
(?ITEM)
(holds ?REL @ROW ?ITEM))))))
If rel 是 二元關係 的 實例, then there don't exist item1,item2,item3, so that rel(item1,item2,item3,) (不) 成立s.
(=>
(instance ?REL BinaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 @ROW))))
If process 是 歷程 的 實例, then there exists cause so that process 是 cause 的 施事者.
(=>
(instance ?PROCESS Process)
(exists
(?CAUSE)
(agent ?PROCESS ?CAUSE)))
If agent (不) 想要not(s) obj, then there exists purp so that obj 對agent 有 意圖 purp.
(=>
(wants ?AGENT ?OBJ)
(exists
(?PURP)
(hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
If agent (不)相信 formula, then there exists time so that agent (不) 考�{p{s} formula timea(之中) time.
(=>
(believes ?AGENT ?FORMULA)
(exists
(?TIME)
(holdsDuring
?TIME
(considers ?AGENT ?FORMULA))))
If rel 是 三元關係 的 實例, then there don't exist item1,item2,item3,item4, so that rel(item1,item2,item3,item4,) (不) 成立s.
(=>
(instance ?REL TernaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))
If rel 是 四元關係 的 實例, then there don't exist item1,item2,item3,item4,item5, so that rel(item1,item2,item3,item4,item5,) (不) 成立s.
(=>
(instance ?REL QuaternaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))
If rel 是 五元關係 的 實例, then there don't exist item1,item2,item3,item4,item5,item6, so that rel(item1,item2,item3,item4,item5,item6,) (不) 成立s.
(=>
(instance ?REL QuintaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))
- if list 是 序列 的 實例,
- then there exists number1 so that there exists item1 so that "list 的 第二 元素" 等於 item1 and for all number2 holds: if number2 是 正整數 的 實例 and number2 小於 number1, then there exists item2 so that "list 的 第二 元素" 等於 item2
.
(=>
(instance ?LIST List)
(exists
(?NUMBER1)
(exists
(?ITEM1)
(and
(not
(equal
(ListOrderFn ?LIST ?NUMBER1)
?ITEM1))
(forall
(?NUMBER2)
(=>
(and
(instance ?NUMBER2 PositiveInteger)
(lessThan ?NUMBER2 ?NUMBER1))
(exists
(?ITEM2)
(equal
(ListOrderFn ?LIST ?NUMBER2)
?ITEM2))))))))
list 等於 空列 if and only if there doesn't exist item so that item 是 list 的 一 成員.
(<=>
(equal ?LIST NullList)
(not
(exists
(?ITEM)
(inList ?ITEM ?LIST))))
- if class 被 �]含,
- then for all obj holds: if obj 是 class 的 實例, then there exists item so that item 是 "()" 的 一 成員 and obj 是 item 的 實例
.
(=>
(exhaustiveDecomposition ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?OBJ ?CLASS)
(exists
(?ITEM)
(and
(inList
?ITEM
(ListFn @ROW))
(instance ?OBJ ?ITEM))))))
If "list 的 長度" 等於 number1, then for all number2 holds: there exists item so that "list 的 第二 元素" 等於 item if and only if number2 小於或等於 number1.
(=>
(equal
(ListLengthFn ?LIST)
?NUMBER1)
(forall
(?NUMBER2)
(<=>
(exists
(?ITEM)
(equal
(ListOrderFn ?LIST ?NUMBER2)
?ITEM))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
If "list1 的 長度" 等於 number, then there exists list2 so that list1 (沒）初始化not(s) list2 and "(number+1)" 等於 "list2 的 長度" and "list2 的 第二 元素" 等於 item.
(=>
(equal
(ListLengthFn ?LIST1)
?NUMBER)
(exists
(?LIST2)
(and
(initialList ?LIST1 ?LIST2)
(equal
(SuccessorFn ?NUMBER)
(ListLengthFn ?LIST2))
(equal
(ListOrderFn
?LIST2
(SuccessorFn ?NUMBER))
?ITEM))))
item 是 list 的 一 成員 if and only if there exists number so that "list 的 第二 元素" 等於 item.
(<=>
(inList ?ITEM ?LIST)
(exists
(?NUMBER)
(equal
(ListOrderFn ?LIST ?NUMBER)
?ITEM)))
- if list1 是 list2 的 次序列,
- then there exists number3 so that for all item holds: if item 是 list1 的 一 成員, then there exist number1,number2 so that "list1 的 第二 元素" 等於 item and "list2 的 第二 元素" 等於 item and number2 等於 "(number1+number3)"
.
(=>
(subList ?LIST1 ?LIST2)
(exists
(?NUMBER3)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(exists
(?NUMBER1 ?NUMBER2)
(and
(equal
(ListOrderFn ?LIST1 ?NUMBER1)
?ITEM)
(equal
(ListOrderFn ?LIST2 ?NUMBER2)
?ITEM)
(equal
?NUMBER2
(AdditionFn ?NUMBER1 ?NUMBER3))))))))
If rel 是 變異元數關係 的 實例, then there doesn't exist int so that rel %&有 論元(s) int.
(=>
(instance ?REL VariableArityRelation)
(not
(exists
(?INT)
(valence ?REL ?INT))))
If proc1 是 歷程 的 實例, then there exists proc2 so that proc2 (不) 造成 proc1.
(=>
(instance ?PROC1 Process)
(exists
(?PROC2)
(causes ?PROC2 ?PROC1)))
- if 次類肇因,
- then for all inst2 holds: if inst2 是 proc2 的 實例, then there exists proc1 inst1 so that inst1 (不) 造成 inst2
.
(=>
(causesSubclass ?PROC1 ?PROC2)
(forall
(?INST2)
(=>
(instance ?INST2 ?PROC2)
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(causes ?INST1 ?INST2))))))
If obj (不) 利用not(s) agent, then there exists process so that process 是 agent 的 施事者 and obj 對 process 是 資源.
(=>
(exploits ?OBJ ?AGENT)
(exists
(?PROCESS)
(and
(agent ?PROCESS ?AGENT)
(resource ?PROCESS ?OBJ))))
If thing 有 意圖 purpose, then there exists agent so that thing 對agent 有 意圖 purpose.
(=>
(hasPurpose ?THING ?PURPOSE)
(exists
(?AGENT)
(hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
If obj 部分位於 region, then there exists subobj so that subobj 是 obj 的 部分) and subobj 精確位於 region.
(=>
(partlyLocated ?OBJ ?REGION)
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(exactlyLocated ?SUBOBJ ?REGION))))
If obj 精確位於 region, then there doesn't exist otherobj so that otherobj 精確位於 region and otherobj 等於 obj.
(=>
(exactlyLocated ?OBJ ?REGION)
(not
(exists
(?OTHEROBJ)
(and
(exactlyLocated ?OTHEROBJ ?REGION)
(not
(equal ?OTHEROBJ ?OBJ))))))
- 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 proc1 是 proc2 的 先決條件,
- then if there exists inst2 so that inst2 是 proc2 的 實例, then there exists inst1 so that inst1 是 proc1 的 實例
.
(=>
(precondition ?PROC1 ?PROC2)
(=>
(exists
(?INST2)
(instance ?INST2 ?PROC2))
(exists
(?INST1)
(instance ?INST1 ?PROC1))))
If 抑制(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so that inst1 位於 place timea(之中) time" (不）降低s) %2 的 可能性.
(=>
(inhibits ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(decreasesLikelihood
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE)))))))
- if proc1 避免 proc2 的 發生,
- then for all time,place holds: if there exists proc1 inst1 so that inst1 位於 place timea(之中) time, then there exists proc2 inst2 so that inst2 位於 place timea(之中) time
.
(=>
(prevents ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(=>
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(not
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE))))))))
If rep 以語言 language 呈�{ entity, then there exists agent so that agent 使用 rep 表示 entity.
(=>
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)
(exists
(?AGENT)
(representsForAgent ?REP ?ENTITY ?AGENT)))
class1 �]容 class2 if and only if for all obj2,info holds: if obj2 是 class2 的 實例 and obj2 (不) �]含s) 訊息 %2, then there exists class1 obj1 so that obj1 (不) �]含s) 訊息 %2.
(<=>
(subsumesContentClass ?CLASS1 ?CLASS2)
(forall
(?OBJ2 ?INFO)
(=>
(and
(instance ?OBJ2 ?CLASS2)
(containsInformation ?OBJ2 ?INFO))
(exists
(?OBJ1)
(and
(instance ?OBJ1 ?CLASS1)
(containsInformation ?OBJ1 ?INFO))))))
If process 表達 prop 的 內容, then there exists 內容載體 obj so that obj (不) �]含s) 訊息 %2.
(=>
(realization ?PROCESS ?PROP)
(exists
(?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))
express 以 language 語言 表達 if and only if there exists prop so that express 以語言 language 呈�{ prop.
(<=>
(expressedInLanguage ?EXPRESS ?LANGUAGE)
(exists
(?PROP)
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))
If agent 使用 obj, then there exists proc so that proc 是 agent 的 施事者 and obj 對 proc 是 工具.
(=>
(uses ?OBJ ?AGENT)
(exists
(?PROC)
(and
(agent ?PROC ?AGENT)
(instrument ?PROC ?OBJ))))
If number 是 有理數 的 實例, then there exist 整數 int1,整數 int2 so that number 等於 "int1/int2".
(=>
(instance ?NUMBER RationalNumber)
(exists
(?INT1 ?INT2)
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer)
(equal
?NUMBER
(DivisionFn ?INT1 ?INT2)))))
If "number 的 上限" 等於 int, then there doesn't exist 整數 otherint so that otherint 大於或等於 number and otherint 小於 int.
(=>
(equal
(CeilingFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(greaterThanOrEqualTo ?OTHERINT ?NUMBER)
(lessThan ?OTHERINT ?INT)))))
If "最大 整數 小於 或 等於 number" 等於 int, then there doesn't exist 整數 otherint so that otherint 小於或等於 number and otherint (不) 大於 int.
(=>
(equal
(FloorFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(lessThanOrEqualTo ?OTHERINT ?NUMBER)
(greaterThan ?OTHERINT ?INT)))))
- if " 的 最大公約數" 等於 number,
- then there doesn't exist greater so that greater (不) 大於 number and for all element holds: if element 是 "()" 的 一 成員, then "element 取餘數 greater" 等於
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(not
(exists
(?GREATER)
(and
(greaterThan ?GREATER ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?GREATER)
0)))))))
If number 是 複數 的 實例, then there exist part1,part2 so that part1 等於 "number 的 實數" and part2 等於 "number 的 虛數".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?PART1 ?PART2)
(and
(equal
?PART1
(RealNumberFn ?NUMBER))
(equal
?PART2
(ImaginaryPartFn ?NUMBER)))))
- if " 的 最小公倍數" 等於 number,
- then there doesn't exist less so that less 小於 number and for all element holds: if element 是 "()" 的 一 成員, then "less 取餘數 element" 等於
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(not
(exists
(?LESS)
(and
(lessThan ?LESS ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?LESS ?ELEMENT)
0)))))))
There doesn't exist element so that element 是 空集合 的 元素.
(not
(exists
(?ELEMENT)
(element ?ELEMENT NullSet)))
If set 是 有限集合 的 實例, then there exists 非負整數 number so that number 等於 "set 中 實例 的 數目".
(=>
(instance ?SET FiniteSet)
(exists
(?NUMBER)
(and
(instance ?NUMBER NonnegativeInteger)
(equal
?NUMBER
(CardinalityFn ?SET)))))
- if class 是 互斥類 的 實例,
- then for all inst1,inst2 holds: if inst1 是 class 的 實例 and inst2 是 inst1 的 實例, then there exists class inst3 so that inst2 是 inst3 的 實例
.
(=>
(instance ?CLASS MutuallyDisjointClass)
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?INST1))
(exists
(?INST3)
(and
(instance ?INST3 ?CLASS)
(not
(instance ?INST2 ?INST3)))))))
If graph 是 圖 的 實例 and node1 是 圖節點 的 實例 and node2 是 圖節點 的 實例 and node1 是 graph 的 部分 and node2 是 graph 的 部分 and node1 等於 node2, then there exist arc,path so that - arc (沒) 連結not(s) node1 和 node2
or - path 是 graph 的 次圖
and - path 是 圖路徑 的 實例
and - "path 的 最初�`點" 等於 node1 and "path 的 最後�`點" 等於 node2
or - "path 的 最初�`點" 等於 node2 and "path 的 最後�`點" 等於 node1
(=>
(and
(instance ?GRAPH Graph)
(instance ?NODE1 GraphNode)
(instance ?NODE2 GraphNode)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(not
(equal ?NODE1 ?NODE2)))
(exists
(?ARC ?PATH)
(or
(links ?NODE1 ?NODE2 ?ARC)
(and
(subGraph ?PATH ?GRAPH)
(instance ?PATH GraphPath)
(or
(and
(equal
(BeginNodeFn ?PATH)
?NODE1)
(equal
(EndNodeFn ?PATH)
?NODE2))
(and
(equal
(BeginNodeFn ?PATH)
?NODE2)
(equal
(EndNodeFn ?PATH)
?NODE1)))))))
If graph 是 圖 的 實例, then there exist node1,node2,node3,arc1,arc2 so that node1 是 graph 的 部分 and node2 是 graph 的 部分 and node3 是 graph 的 部分 and arc1 是 graph 的 部分 and arc2 是 graph 的 部分 and node2 (沒) 連結not(s) arc1 和 node1 and node3 (沒) 連結not(s) arc2 和 node2 and node1 等於 node2 and node2 等於 node3 and node1 等於 node3 and arc1 等於 arc2.
(=>
(instance ?GRAPH Graph)
(exists
(?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
(and
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(graphPart ?NODE3 ?GRAPH)
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(links ?ARC1 ?NODE1 ?NODE2)
(links ?ARC2 ?NODE2 ?NODE3)
(not
(equal ?NODE1 ?NODE2))
(not
(equal ?NODE2 ?NODE3))
(not
(equal ?NODE1 ?NODE3))
(not
(equal ?ARC1 ?ARC2)))))
If graph 是 有向圖 的 實例 and arc 是 圖弧線 的 實例 and arc 是 graph 的 部分, then there exist node1,node2 so that "arc 的 �_始節點" 等於 node1 and "arc 的 最終�`點" 等於 node2.
(=>
(and
(instance ?GRAPH DirectedGraph)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(exists
(?NODE1 ?NODE2)
(and
(equal
(InitialNodeFn ?ARC)
?NODE1)
(equal
(TerminalNodeFn ?ARC)
?NODE2))))
If graph 是 樹狀圖 的 實例, then there doesn't exist 圖迴圈 loop so that loop 是 graph 的 部分.
(=>
(instance ?GRAPH Tree)
(not
(exists
(?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH)))))
- if graph 是 圖路徑 的 實例 and arc 是 圖弧線 的 實例 and arc 是 graph 的 部分,
- then if "arc 的 �_始節點" 等於 node, then there doesn't exist other so that "other 的 �_始節點" 等於 node and other 等於 arc
.
(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(InitialNodeFn ?ARC)
?NODE)
(not
(exists
(?OTHER)
(and
(equal
(InitialNodeFn ?OTHER)
?NODE)
(not
(equal ?OTHER ?ARC)))))))
- if graph 是 圖路徑 的 實例 and arc 是 圖弧線 的 實例 and arc 是 graph 的 部分,
- then if "arc 的 最終�`點" 等於 node, then there doesn't exist other so that "other 的 最終�`點" 等於 node and other 等於 arc
.
(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(TerminalNodeFn ?ARC)
?NODE)
(not
(exists
(?OTHER)
(and
(equal
(TerminalNodeFn ?OTHER)
?NODE)
(not
(equal ?OTHER ?ARC)))))))
graph 是 圖形迴路 的 實例 if and only if there exists node so that "graph 的 最初�`點" 等於 node and "graph 的 最後�`點" 等於 node.
(<=>
(instance ?GRAPH GraphCircuit)
(exists
(?NODE)
(and
(equal
(BeginNodeFn ?GRAPH)
?NODE)
(equal
(EndNodeFn ?GRAPH)
?NODE))))
graph 是 多圖 的 實例 if and only if there exist arc1,arc2,node1,node2 so that arc1 是 graph 的 部分 and arc2 是 graph 的 部分 and node1 是 graph 的 部分 and node2 是 graph 的 部分 and arc1 (沒) 連結not(s) node1 和 node2 and arc2 (沒) 連結not(s) node1 和 node2 and arc1 等於 arc2.
(<=>
(instance ?GRAPH MultiGraph)
(exists
(?ARC1 ?ARC2 ?NODE1 ?NODE2)
(and
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(links ?NODE1 ?NODE2 ?ARC1)
(links ?NODE1 ?NODE2 ?ARC2)
(not
(equal ?ARC1 ?ARC2)))))
graph 是 擬圖 的 實例 if and only if there exists 圖迴圈 loop so that loop 是 graph 的 部分.
(<=>
(instance ?GRAPH PseudoGraph)
(exists
(?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH))))
If part 是 圖元件 的 實例, then there exists 圖 graph so that part 是 graph 的 部分.
(=>
(instance ?PART GraphElement)
(exists
(?GRAPH)
(and
(instance ?GRAPH Graph)
(graphPart ?PART ?GRAPH))))
If node 是 圖節點 的 實例, then there exist other,arc so that arc (沒) 連結not(s) node 和 other.
(=>
(instance ?NODE GraphNode)
(exists
(?OTHER ?ARC)
(links ?NODE ?OTHER ?ARC)))
If arc 是 圖弧線 的 實例, then there exist node1,node2 so that arc (沒) 連結not(s) node1 和 node2.
(=>
(instance ?ARC GraphArc)
(exists
(?NODE1 ?NODE2)
(links ?NODE1 ?NODE2 ?ARC)))
loop 是 圖迴圈 的 實例 if and only if there exists node so that loop (沒) 連結not(s) node 和 node.
(<=>
(instance ?LOOP GraphLoop)
(exists
(?NODE)
(links ?NODE ?NODE ?LOOP)))
- if "劃分 graph 為 兩 獨立 圖表 的 最小相交路�|" 等於 pathclass,
- then there exists number so that for all path holds: if path 是 pathclass 的 實例, then path 的 路�|長 是 number
.
(=>
(equal
(MinimalCutSetFn ?GRAPH)
?PATHCLASS)
(exists
(?NUMBER)
(forall
(?PATH)
(=>
(instance ?PATH ?PATHCLASS)
(pathLength ?PATH ?NUMBER)))))
There don't exist 劃分 graph 為 兩 獨立 圖表 的 相交路�| path1,劃分 graph 為 兩 獨立 圖表 的 最小相交路�| path2 so that path1 的 路�|長 是 number1 and path2 的 路�|長 是 number2 and number1 小於 number2.
(not
(exists
(?PATH1 ?PATH2)
(and
(instance
?PATH1
(CutSetFn ?GRAPH))
(instance
?PATH2
(MinimalCutSetFn ?GRAPH))
(pathLength ?PATH1 ?NUMBER1)
(pathLength ?PATH2 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))))
If 標高(obj1,obj2,height) holds, then there exists top so that obj1 的 頂端 是 top and top 和 obj2 之間 距離 是 height.
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(exists
(?TOP)
(and
(top ?TOP ?OBJ1)
(distance ?TOP ?OBJ2 ?HEIGHT))))
If 深度, then there exists bottom so that obj1 的 底部 是 bottom and bottom 和 obj2 之間 距離 是 depth.
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists
(?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH))))
If point 是 時點 的 實例 and point 等於 時間終點/永遠, then there exists otherpoint so that otherpoint 在 point 和 時間終點/永遠 之間 .
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT PositiveInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
If point 是 時點 的 實例 and point 等於 時間起點/亙古, then there exists otherpoint so that otherpoint 在 時間起點/亙古 和 point 之間 .
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT NegativeInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
- if 每 time1 發生 proc,
- then for all time2 holds: if time2 的 持續 是 time1, then there exists position so that position 是 time2 的 部分 and there exists inst so that inst 是 proc 的 實例 positiona(之中) position
.
(=>
(frequency ?PROC ?TIME1)
(forall
(?TIME2)
(=>
(duration ?TIME2 ?TIME1)
(exists
(?POSITION)
(and
(temporalPart ?POSITION ?TIME2)
(holdsDuring
?POSITION
(exists
(?INST)
(instance ?INST ?PROC))))))))
If point 是 時點 的 實例, then there exists 時段 interval so that point 是 interval 的 部分.
(=>
(instance ?POINT TimePoint)
(exists
(?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))
If interval 是 時段 的 實例, then there exists 時點 point so that point 是 interval 的 部分.
(=>
(instance ?INTERVAL TimeInterval)
(exists
(?POINT)
(and
(instance ?POINT TimePoint)
(temporalPart ?POINT ?INTERVAL))))
- if obj 是 物體 的 實例,
- then there exist 時點 time1,時點 time2 so that time1 (沒) 發生?{s} 在 time2 之前 and for all time holds: if time1 (沒) 發生?{s} 在 time 或 之前 and time (沒) 發生?{s} 在 time2 或 之前, then obj (不) 存在s time 期間
.
(=>
(instance ?OBJ Object)
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 TimePoint)
(instance ?TIME2 TimePoint)
(before ?TIME1 ?TIME2)
(forall
(?TIME)
(=>
(and
(beforeOrEqual ?TIME1 ?TIME)
(beforeOrEqual ?TIME ?TIME2))
(time ?OBJ ?TIME))))))
interval2 (沒) 與 1 ?重疊s if and only if there exists 時段 interval3 so that interval3 是 interval1 的 部分 and interval3 是 interval2 的 部分.
(<=>
(overlapsTemporally ?INTERVAL1 ?INTERVAL2)
(exists
(?INTERVAL3)
(and
(instance ?INTERVAL3 TimeInterval)
(temporalPart ?INTERVAL3 ?INTERVAL1)
(temporalPart ?INTERVAL3 ?INTERVAL2))))
If interval 是 "從 timeclass1 到 timeclass2 的 �^歸間隔" 的 實例, then there exist timeclass1 time1,timeclass2 time2 so that time1 (沒) �}始s interval and time2 (沒) 完成s interval.
(=>
(instance
?INTERVAL
(RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 ?TIMECLASS1)
(instance ?TIME2 ?TIMECLASS2)
(starts ?TIME1 ?INTERVAL)
(finishes ?TIME2 ?INTERVAL))))
- if "interval 分解成 ? interval-types" 等於 class,
- then for all time1,time2 holds: if time1 是 interval-type 的 實例 and time2 是 class 的 實例, then there exists duration so that time1 的 持續 是 duration and time2 的 持續 是 duration
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?INTERVAL-TYPE)
(instance ?TIME2 ?CLASS))
(exists
(?DURATION)
(and
(duration ?TIME1 ?DURATION)
(duration ?TIME2 ?DURATION))))))
If "interval 分解成 ? interval-types" 等於 class, then there exists class time so that time (沒) �}始s interval.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(exists
(?TIME)
(and
(instance ?TIME ?CLASS)
(starts ?TIME ?INTERVAL))))
If "interval 分解成 ? interval-types" 等於 class, then there exists class time so that time (沒) 完成s interval.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(exists
(?TIME)
(and
(instance ?TIME ?CLASS)
(finishes ?TIME ?INTERVAL))))
- 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 "interval 分解成 ? interval-types" 等於 class,
- then for all time holds: if time 是 時點 的 實例 and time 是 interval 的 部分, then there exists class instance so that time 是 instance 的 部分
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME)
(=>
(and
(instance ?TIME TimePoint)
(temporalPart ?TIME ?INTERVAL))
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?CLASS)
(temporalPart ?TIME ?INSTANCE))))))
obj1 (沒) 與 obj2 重�|s if and only if there exists obj3 so that obj3 是 obj1 的 部分) and obj3 是 obj2 的 部分).
(<=>
(overlapsSpatially ?OBJ1 ?OBJ2)
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2))))
If rel 是 格位角色 的 實例 and rel(process,obj) (不) 成立s, then there exists time so that "process 在 time 的 time位置" (沒) 與 obj 重�|s.
(=>
(and
(instance ?REL CaseRole)
(holds ?REL ?PROCESS ?OBJ))
(exists
(?TIME)
(overlapsSpatially
(WhereFn ?PROCESS ?TIME)
?OBJ)))
obj1 (沒) 與 obj2 部分 重�|s if and only if - obj1 是 obj2 的 部分)
and - obj2 是 obj1 的 部分)
and - there exists obj3 so that obj3 是 obj1 的 部分) and obj3 是 obj2 的 部分)
.
(<=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2)))))
If obj1 是 obj2的 �~表部分, then obj1 是 obj2 的 一 內部 and there doesn't exist obj3 so that obj3 是 obj1 的 一 內部.
(=>
(superficialPart ?OBJ1 ?OBJ2)
(and
(not
(interiorPart ?OBJ1 ?OBJ2))
(not
(exists
(?OBJ3)
(interiorPart ?OBJ3 ?OBJ1)))))
If object 的 側面 是 side and part 是 object 的 部分) and part 與 side 相連, then there exists direct so that side 對 part 是 direct.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
object 的 寬度 是 width if and only if there exist side1,side2 so that object 的 側面 是 side1 and object 的 側面 是 side2 and side1 和 side2 之間 距離 是 width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))
hole 是 洞 的 實例 if and only if there exists obj so that hole 在 obj 是 �}.
(<=>
(instance ?HOLE Hole)
(exists
(?OBJ)
(hole ?HOLE ?OBJ)))
If hole 在 obj1 是 �} and hole 在 obj2 是 �}, then there exists obj3 so that obj3 是 "obj1 和 obj2 的 交集" 的 正部分 and hole 在 obj3 是 �}.
(=>
(and
(hole ?HOLE ?OBJ1)
(hole ?HOLE ?OBJ2))
(exists
(?OBJ3)
(and
(properPart
?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(hole ?HOLE ?OBJ3))))
If hole1 是 洞 的 實例, then there exists hole2 so that hole2 是 hole1 的 正部分.
(=>
(instance ?HOLE1 Hole)
(exists
(?HOLE2)
(properPart ?HOLE2 ?HOLE1)))
If obj1 等於 "洞 hole 的 主體", then for all obj2 holds: obj2 (沒) 與 obj1 重�|s if and only if there exists obj3 so that hole 在 obj3 是 �} and obj2 (沒) 與 obj3 重�|s.
(=>
(equal
?OBJ1
(PrincipalHostFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
If hole1 是 洞 的 實例 and hole2 是 hole1 的 正部分, then there exists obj so that hole1 (沒) 接觸s obj and hole2 not(沒) 接觸 obj.
(=>
(and
(instance ?HOLE1 Hole)
(properPart ?HOLE2 ?HOLE1))
(exists
(?OBJ)
(and
(meetsSpatially ?HOLE1 ?OBJ)
(not
(meetsSpatially ?HOLE2 ?OBJ)))))
If there exists time so that obj (沒) 填充s hole timea(之中) time, then 可填充的 是 hole 的 屬性.
(=>
(exists
(?TIME)
(holdsDuring
?TIME
(fills ?OBJ ?HOLE)))
(attribute ?HOLE Fillable))
可填充的 是 hole1 的 屬性 if and only if there exists 洞 hole2 so that hole1 是 hole2 的 部分).
(<=>
(attribute ?HOLE1 Fillable)
(exists
(?HOLE2)
(and
(instance ?HOLE2 Hole)
(part ?HOLE1 ?HOLE2))))
If obj (沒) 部分填充s hole1, then there exists hole2 so that hole2 是 hole1 的 部分) and obj (沒) 填充s hole2.
(=>
(partiallyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(completelyFills ?OBJ ?HOLE2))))
If obj (沒) 適當填充s hole1, then there exists hole2 so that hole2 是 hole1 的 部分) and obj (沒) 填充s hole2.
(=>
(properlyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(fills ?OBJ ?HOLE2))))
If obj1 (沒) 填充s hole, then there exists obj2 so that obj2 是 obj1 的 部分) and obj2 (沒) 填充s hole.
(=>
(completelyFills ?OBJ1 ?HOLE)
(exists
(?OBJ2)
(and
(part ?OBJ2 ?OBJ1)
(fills ?OBJ2 ?HOLE))))
If obj1 等於 "洞 hole 的 表皮", then for all obj2 holds: obj2 (沒) 與 obj1 重�|s if and only if there exists obj3 so that obj3 是 "洞 hole 的 主體"的 �~表部分 and hole (沒) 接觸s obj3 and obj2 (沒) 與 obj3 重�|s.
(=>
(equal
?OBJ1
(SkinFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(superficialPart
?OBJ3
(PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
If proc 是 歷程 的 實例 and subproc 是 proc 的 次歷�{, then there exists time so that subproc (不) 存在s time 期間.
(=>
(and
(instance ?PROC Process)
(subProcess ?SUBPROC ?PROC))
(exists
(?TIME)
(time ?SUBPROC ?TIME)))
If proc 是 生物歷程 的 實例, then there exists 生物體 obj so that proc 位於 obj.
(=>
(instance ?PROC BiologicalProcess)
(exists
(?OBJ)
(and
(instance ?OBJ Organism)
(located ?PROC ?OBJ))))
If birth 是 誕生 的 實例 and agent (沒) 體驗not(s) birth, then there exists 死亡 death so that agent (沒) 體驗not(s) death.
(=>
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?AGENT))
(exists
(?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT))))
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 digest 是 消化 的 實例, then there exists 化學分解 decomp so that decomp 是 digest 的 次歷�{.
(=>
(instance ?DIGEST Digesting)
(exists
(?DECOMP)
(and
(instance ?DECOMP ChemicalDecomposition)
(subProcess ?DECOMP ?DIGEST))))
If rep 是 複製 的 實例, then there exists 生殖構造 body so that body 是 rep 的 結果.
(=>
(instance ?REP Replication)
(exists
(?BODY)
(and
(instance ?BODY ReproductiveBody)
(result ?REP ?BODY))))
If rep 是 有性生殖 的 實例 and organism 是 rep 的 結果, then there don't exist mother,father so that mother 是 organism 的 母親 and father 是 organism 的 父親.
(=>
(and
(instance ?REP SexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?MOTHER ?FATHER)
(and
(mother ?ORGANISM ?MOTHER)
(father ?ORGANISM ?FATHER)))))
If rep 是 無性生殖 的 實例 and organism 是 rep 的 結果, then there don't exist parent1,parent2 so that parent1 是 organism 的 雙親 and parent2 是 organism 的 雙親 and parent1 等於 parent2.
(=>
(and
(instance ?REP AsexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?PARENT1 ?PARENT2)
(and
(parent ?ORGANISM ?PARENT1)
(parent ?ORGANISM ?PARENT2)
(not
(equal ?PARENT1 ?PARENT2))))))
If process 是 心理歷程 的 實例, then there exists 動物 animal so that animal (沒) 體驗not(s) process.
(=>
(instance ?PROCESS PsychologicalProcess)
(exists
(?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))
If proc 是 器官或組織歷程 的 實例, then there exists thing so that proc 位於 thing and thing 是 器官 的 實例 or thing 是 組織 的 實例.
(=>
(instance ?PROC OrganOrTissueProcess)
(exists
(?THING)
(and
(located ?PROC ?THING)
(or
(instance ?THING Organ)
(instance ?THING Tissue)))))
If path 是 病理歷程 的 實例 and org (沒) 體驗not(s) path, then there exist part,疾病或症候群 disease so that part 是 org 的 部分) and disease 是 part 的 屬性.
(=>
(and
(instance ?PATH PathologicProcess)
(experiencer ?PATH ?ORG))
(exists
(?PART ?DISEASE)
(and
(part ?PART ?ORG)
(instance ?DISEASE DiseaseOrSyndrome)
(attribute ?PART ?DISEASE))))
If inj 是 傷害 的 實例, then there exists 解剖構造 struct so that struct 是 inj 的 受事者.
(=>
(instance ?INJ Injuring)
(exists
(?STRUCT)
(and
(instance ?STRUCT AnatomicalStructure)
(patient ?INJ ?STRUCT))))
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 poison 是 中毒 的 實例, then there exists 活性生物物質 substance so that substance 對 poison 是 工具.
(=>
(instance ?POISON Poisoning)
(exists
(?SUBSTANCE)
(and
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(instrument ?POISON ?SUBSTANCE))))
If proc 是 意向性歷程 的 實例 and proc 是 agent 的 施事者, then there exists purp so that proc 對agent 有 意圖 purp.
(=>
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?AGENT))
(exists
(?PURP)
(hasPurposeForAgent ?PROC ?PURP ?AGENT)))
If proc 是 意向性歷程 的 實例, then there exists 具認知力施事者 agent so that proc 是 agent 的 施事者.
(=>
(instance ?PROC IntentionalProcess)
(exists
(?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
If act 是 組織性的歷程 的 實例 and act 是 agent 的 施事者, then - agent 是 組織 的 實例
or - there exists 組織 org so that agent 是 org的 成員
.
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists
(?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG)))))
If act 是 宗教歷程 的 實例 and act 是 agent 的 施事者, then - agent 是 宗教組織 的 實例
or - there exists 宗教組織 org so that agent 是 org的 成員
.
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists
(?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization)))))
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
- path1 伴隨 process 發生 的 process路徑
and - process (不) �_源s 於 source
and - process (不) 終結not(s) dest
and - path1 的 長度 是 measure1
and - there don't exist path2,measure2 so that path2 伴隨 process 發生 的 process路徑 and process (不) �_源s 於 origin and process (不) 終結not(s) dest and path2 的 長度 是 measure2 and measure2 小於 measure1
, - then for all obj holds: if obj 是 path1 的 部分), then obj 介於 source 和 dest 中間
.
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1 ?MEASURE1)
(not
(exists
(?PATH2 ?MEASURE2)
(and
(path ?PROCESS ?PATH2)
(origin ?PROCESS ?ORIGIN)
(destination ?PROCESS ?DEST)
(length ?PATH2 ?MEASURE2)
(lessThan ?MEASURE2 ?MEASURE1)))))
(forall
(?OBJ)
(=>
(part ?OBJ ?PATH1)
(between ?SOURCE ?OBJ ?DEST))))
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 walk 是 行走 的 實例 and walk 是 agent 的 施事者, then there exists 陸地 area so that agent 位於 area.
(=>
(and
(instance ?WALK Walking)
(agent ?WALK ?AGENT))
(exists
(?AREA)
(and
(instance ?AREA LandArea)
(located ?AGENT ?AREA))))
If swim 是 遊泳 的 實例 and swim 是 agent 的 施事者, then there exists 水域 area so that agent 位於 area.
(=>
(and
(instance ?SWIM Swimming)
(agent ?SWIM ?AGENT))
(exists
(?AREA)
(and
(instance ?AREA WaterArea)
(located ?AGENT ?AREA))))
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 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 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 trans 是 運輸 的 實例, then there exists 運輸工具 device so that device 對 trans 是 工具.
(=>
(instance ?TRANS Transportation)
(exists
(?DEVICE)
(and
(instance ?DEVICE TransportationDevice)
(instrument ?TRANS ?DEVICE))))
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 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))))
If give 是 單方面的給與 的 實例, then there doesn't exist 交易 trans so that give 是 trans 的 次歷�{.
(=>
(instance ?GIVE UnilateralGiving)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GIVE ?TRANS)))))
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 get 是 單方面的獲取 的 實例, then there doesn't exist 交易 trans so that get 是 trans 的 次歷�{.
(=>
(instance ?GET UnilateralGetting)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GET ?TRANS)))))
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 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)))))))
compound 是 化合物 的 實例 if and only if there exist 基本物質 element1,基本物質 element2,化學合成 process so that element1 等於 element2 and element1 對 process 是 資源 and element2 對 process 是 資源 and compound 是 process 的 結果.
(<=>
(instance ?COMPOUND CompoundSubstance)
(exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(and
(instance ?ELEMENT1 ElementalSubstance)
(instance ?ELEMENT2 ElementalSubstance)
(not
(equal ?ELEMENT1 ?ELEMENT2))
(instance ?PROCESS ChemicalSynthesis)
(resource ?PROCESS ?ELEMENT1)
(resource ?PROCESS ?ELEMENT2)
(result ?PROCESS ?COMPOUND))))
If combustion 是 燃燒 的 實例, then there exist 加溫 heat,光線 light so that heat 是 combustion 的 次歷�{ and light 是 combustion 的 次歷�{.
(=>
(instance ?COMBUSTION Combustion)
(exists
(?HEAT ?LIGHT)
(and
(instance ?HEAT Heating)
(instance ?LIGHT RadiatingLight)
(subProcess ?HEAT ?COMBUSTION)
(subProcess ?LIGHT ?COMBUSTION))))
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 read 是 閱讀 的 實例, then there exist 文本 text,prop so that text (不) �]含s) 訊息 %2 and read 表達 prop 的 內容.
(=>
(instance ?READ Reading)
(exists
(?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP))))
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 是 濕潤 的 實例, then there exists obj so that 液體的 是 obj 的 屬性 and obj 是 wet 的 受事者.
(=>
(instance ?WET Wetting)
(exists
(?OBJ)
(and
(attribute ?OBJ Liquid)
(patient ?WET ?OBJ))))
If action 是 產生 的 實例, then there exists result so that result 是 action 的 結果.
(=>
(instance ?ACTION Creation)
(exists
(?RESULT)
(result ?ACTION ?RESULT)))
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)))))))
There exists 建構 build so that artifact 是 build 的 結果 if and only if artifact 是 固定人造物 的 實例.
(<=>
(exists
(?BUILD)
(and
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT)))
(instance ?ARTIFACT StationaryArtifact))
If cook 是 烹飪 的 實例, then there exists 食物 food so that food 是 cook 的 結果.
(=>
(instance ?COOK Cooking)
(exists
(?FOOD)
(and
(instance ?FOOD Food)
(result ?COOK ?FOOD))))
If proc 是 診斷歷程 的 實例 and proc 是 agent 的 施事者, then there exists cause so that proc 對agent 有 意圖 "agent (不）知道s) %2".
(=>
(and
(instance ?PROC DiagnosticProcess)
(agent ?PROC ?AGENT))
(exists
(?CAUSE)
(hasPurposeForAgent
?PROC
(knows
?AGENT
(causes ?CAUSE ?PROC))
?AGENT)))
If interaction 是 人際互動 的 實例, then there exist agent1,agent2 so that interaction 是 agent1 的 施事者 and interaction 是 agent2 的 施事者 and agent1 等於 agent2.
(=>
(instance ?INTERACTION SocialInteraction)
(exists
(?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))
If pretend 是 偽裝 的 實例, then there exist person,prop so that pretend 有 意圖 "person (不)相信 prop" and prop &$是 真的.
(=>
(instance ?PRETEND Pretending)
(exists
(?PERSON ?PROP)
(and
(hasPurpose
?PRETEND
(believes ?PERSON ?PROP))
(true ?PROP True))))
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 disseminate 是 散佈 的 實例, then there exist 具認知力施事者 agent1,具認知力施事者 agent2 so that disseminate (不) 終結not(s) agent1 and disseminate (不) 終結not(s) agent2 and agent1 等於 agent2.
(=>
(instance ?DISSEMINATE Disseminating)
(exists
(?AGENT1 ?AGENT2)
(and
(destination ?DISSEMINATE ?AGENT1)
(instance ?AGENT1 CognitiveAgent)
(destination ?DISSEMINATE ?AGENT2)
(instance ?AGENT2 CognitiveAgent)
(not
(equal ?AGENT1 ?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 express 是 表達 的 實例 and express 是 agent 的 施事者, then there exists 心理狀態 state so that state 是 agent 的 屬性 and express 表達 state.
(=>
(and
(instance ?EXPRESS Expressing)
(agent ?EXPRESS ?AGENT))
(exists
(?STATE)
(and
(instance ?STATE StateOfMind)
(attribute ?AGENT ?STATE)
(represents ?EXPRESS ?STATE))))
If declare 是 宣告 的 實例 and declare 是 agent1 的 施事者, then there exist proc,agent2 so that declare 賦予 agent2 權力 執行 類型 proc 任務 or declare 賦予 agent2 義務 執行 類型 proc 任務.
(=>
(and
(instance ?DECLARE Declaring)
(agent ?DECLARE ?AGENT1))
(exists
(?PROC ?AGENT2)
(or
(confersRight ?PROC ?DECLARE ?AGENT2)
(confersObligation ?PROC ?DECLARE ?AGENT2))))
- if cooperate 是 合作 的 實例,
- then there exists purp so that for all agent holds: if cooperate 是 agent 的 施事者, then cooperate 對agent 有 意圖 purp
.
(=>
(instance ?COOPERATE Cooperation)
(exists
(?PURP)
(forall
(?AGENT)
(=>
(agent ?COOPERATE ?AGENT)
(hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
If meet 是 會面 的 實例, then there exist agent1,agent2 so that meet 是 agent1 的 施事者 and meet 是 agent2 的 施事者 and meet 有 意圖 "there exists 溝通 comm so that comm 是 agent1 的 施事者 and comm 是 agent2 的 施事者".
(=>
(instance ?MEET Meeting)
(exists
(?AGENT1 ?AGENT2)
(and
(agent ?MEET ?AGENT1)
(agent ?MEET ?AGENT2)
(hasPurpose
?MEET
(exists
(?COMM)
(and
(instance ?COMM Communication)
(agent ?COMM ?AGENT1)
(agent ?COMM ?AGENT2)))))))
If contest 是 競爭 的 實例, then there exist agent1,agent2,purp1,purp2 so that contest 是 agent1 的 施事者 and contest 是 agent2 的 施事者 and contest 對agent1 有 意圖 purp1 and contest 對agent2 有 意圖 purp2 and agent1 等於 agent2 and purp1 等於 purp2.
(=>
(instance ?CONTEST Contest)
(exists
(?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
(and
(agent ?CONTEST ?AGENT1)
(agent ?CONTEST ?AGENT2)
(hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
(hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?PURP1 ?PURP2)))))
If war 是 戰爭 的 實例, then there exists 戰役 battle so that battle 是 war 的 次歷�{.
(=>
(instance ?WAR War)
(exists
(?BATTLE)
(and
(instance ?BATTLE Battle)
(subProcess ?BATTLE ?WAR))))
If battle 是 戰役 的 實例, then there exists 戰爭 war so that battle 是 war 的 次歷�{.
(=>
(instance ?BATTLE Battle)
(exists
(?WAR)
(and
(instance ?WAR War)
(subProcess ?BATTLE ?WAR))))
If battle 是 戰役 的 實例, then there exists 暴力性的競爭 attack so that attack 是 battle 的 次歷�{.
(=>
(instance ?BATTLE Battle)
(exists
(?ATTACK)
(and
(instance ?ATTACK ViolentContest)
(subProcess ?ATTACK ?BATTLE))))
If move 是 調遣 的 實例, then there exists 競爭 contest so that move 是 contest 的 次歷�{.
(=>
(instance ?MOVE Maneuver)
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))
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))))
If tactile 是 觸覺 的 實例, then there exists 觸動 touch so that touch 是 tactile 的 次歷�{.
(=>
(instance ?TACTILE TactilePerception)
(exists
(?TOUCH)
(and
(instance ?TOUCH Touching)
(subProcess ?TOUCH ?TACTILE))))
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 emit 是 聲音 的 實例 and emit 是 sound 的 施事者, then there exists 聲音屬性 attr so that attr 是 sound 的 屬性.
(=>
(and
(instance ?EMIT RadiatingSound)
(agent ?EMIT ?SOUND))
(exists
(?ATTR)
(and
(instance ?ATTR SoundAttribute)
(attribute ?SOUND ?ATTR))))
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 是 熔化 的 實例, then there exists 加溫 heat so that heat 是 melt 的 次歷�{.
(=>
(instance ?MELT Melting)
(exists
(?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?MELT))))
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 是 沸騰 的 實例, then there exists 加溫 heat so that heat 是 boil 的 次歷�{.
(=>
(instance ?BOIL Boiling)
(exists
(?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?BOIL))))
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 是 凝結 的 實例, then there exists 降溫 cool so that cool 是 cond 的 次歷�{.
(=>
(instance ?COND Condensing)
(exists
(?COOL)
(and
(instance ?COOL Cooling)
(subProcess ?COOL ?COND))))
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 是 凝固 的 實例, then there exists 降溫 cool so that cool 是 freeze 的 次歷�{.
(=>
(instance ?FREEZE Freezing)
(exists
(?COOL)
(and
(instance ?COOL Cooling)
(subProcess ?COOL ?FREEZE))))
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 area 是 水域 的 實例, then there exist bed,hole,水 water so that "洞 hole 的 主體" 等於 bed and water (沒) 適當填充s hole and "bed 和 water 的 聯集" 等於 area.
(=>
(instance ?AREA WaterArea)
(exists
(?BED ?HOLE ?WATER)
(and
(equal
(PrincipalHostFn ?HOLE)
?BED)
(instance ?WATER Water)
(properlyFills ?WATER ?HOLE)
(equal
(MereologicalSumFn ?BED ?WATER)
?AREA))))
If land1 是 陸地 的 實例, then there exists land2 so that land1 是 land2 的 部分) and land2 是 大陸 的 實例 or land2 是 島嶼 的 實例.
(=>
(instance ?LAND1 LandArea)
(exists
(?LAND2)
(and
(part ?LAND1 ?LAND2)
(or
(instance ?LAND2 Continent)
(instance ?LAND2 Island)))))
If island 是 島嶼 的 實例, then there don't exist 陸地 area,part1,part2 so that part1 是 island 的 部分) and part2 是 area 的 部分) and island 是 area 的 部分) and area 是 island 的 部分) and part1 與 part2 相連.
(=>
(instance ?ISLAND Island)
(not
(exists
(?AREA ?PART1 ?PART2)
(and
(instance ?AREA LandArea)
(part ?PART1 ?ISLAND)
(part ?PART2 ?AREA)
(not
(part ?ISLAND ?AREA))
(not
(part ?AREA ?ISLAND))
(connected ?PART1 ?PART2)))))
If state 是 州或省 的 實例, then there exists 國家 land so that state 是 land 的 正部分.
(=>
(instance ?STATE StateOrProvince)
(exists
(?LAND)
(and
(instance ?LAND Nation)
(properPart ?STATE ?LAND))))
If obj 的 發展形式 是 attr1 time1a(之中) time1 and attr2 是 attr1 的 封閉續接屬性, then there exists time2 so that time2 (沒) 比 time1 較早 發生not(s) and obj 的 發展形式 是 attr2 time2a(之中) time2.
(=>
(and
(holdsDuring
?TIME1
(developmentalForm ?OBJ ?ATTR1))
(successorAttributeClosure ?ATTR2 ?ATTR1))
(exists
(?TIME2)
(and
(earlier ?TIME2 ?TIME1)
(holdsDuring
?TIME2
(developmentalForm ?OBJ ?ATTR2)))))
If organism 是 生物體 的 實例, then there exists 誕生 birth so that organism (沒) 體驗not(s) birth.
(=>
(instance ?ORGANISM Organism)
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORGANISM))))
If organism 住s 在 obj, then there exists time so that organism 位於 obj timea(之中) time.
(=>
(inhabits ?ORGANISM ?OBJ)
(exists
(?TIME)
(holdsDuring
?TIME
(located ?ORGANISM ?OBJ))))
If organism 是 生物體 的 實例, then there exists parent so that parent 是 organism 的 雙親.
(=>
(instance ?ORGANISM Organism)
(exists
(?PARENT)
(parent ?ORGANISM ?PARENT)))
animal1 是 animal2 的 兄弟姊妹 if and only if there exist father,mother so that father 是 animal1 的 父親 and father 是 animal2 的 父親 and mother 是 animal1 的 母親 and mother 是 animal2 的 母親.
(<=>
(sibling ?ANIMAL1 ?ANIMAL2)
(exists
(?FATHER ?MOTHER)
(and
(father ?ANIMAL1 ?FATHER)
(father ?ANIMAL2 ?FATHER)
(mother ?ANIMAL1 ?MOTHER)
(mother ?ANIMAL2 ?MOTHER))))
If alga 是 藻類 的 實例, then there exists 水 water so that alga 住s 在 water.
(=>
(instance ?ALGA Alga)
(exists
(?WATER)
(and
(inhabits ?ALGA ?WATER)
(instance ?WATER Water))))
- if bacterium 是 細菌 的 實例,
- then there exists 細胞 cell1 so that cell1 是 bacterium 的 元件 and for all cell2 holds: if cell2 是 bacterium 的 元件 and cell2 是 細胞 的 實例, then cell1 等於 cell2
.
(=>
(instance ?BACTERIUM Bacterium)
(exists
(?CELL1)
(and
(component ?CELL1 ?BACTERIUM)
(instance ?CELL1 Cell)
(forall
(?CELL2)
(=>
(and
(component ?CELL2 ?BACTERIUM)
(instance ?CELL2 Cell))
(equal ?CELL1 ?CELL2))))))
- if virus 是 病毒 的 實例,
- then there exists 分子 mol1 so that mol1 是 virus 的 元件 and for all mol2 holds: if mol2 是 virus 的 元件 and mol2 是 分子 的 實例, then mol1 等於 mol2
.
(=>
(instance ?VIRUS Virus)
(exists
(?MOL1)
(and
(component ?MOL1 ?VIRUS)
(instance ?MOL1 Molecule)
(forall
(?MOL2)
(=>
(and
(component ?MOL2 ?VIRUS)
(instance ?MOL2 Molecule))
(equal ?MOL1 ?MOL2))))))
If virus 是 病毒 的 實例 and proc 是 複製 的 實例 and proc 是 virus 的 施事者, then there exists 細胞 cell so that proc 位於 cell.
(=>
(and
(instance ?VIRUS Virus)
(instance ?PROC Replication)
(agent ?PROC ?VIRUS))
(exists
(?CELL)
(and
(located ?PROC ?CELL)
(instance ?CELL Cell))))
If fish 是 魚類 的 實例, then there exists 水 water so that fish 住s 在 water.
(=>
(instance ?FISH Fish)
(exists
(?WATER)
(and
(inhabits ?FISH ?WATER)
(instance ?WATER Water))))
If organism 是 毒性生物 的 實例, then there exists 活性生物物質 substance so that substance 是 organism 的 部分).
(=>
(instance ?ORGANISM ToxicOrganism)
(exists
(?SUBSTANCE)
(and
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(part ?SUBSTANCE ?ORGANISM))))
If food 是 食物 的 實例, then there exists 養份 nutrient so that nutrient 是 food 的 部分).
(=>
(instance ?FOOD Food)
(exists
(?NUTRIENT)
(and
(instance ?NUTRIENT Nutrient)
(part ?NUTRIENT ?FOOD))))
- if food 是 食物 的 實例,
- then for all part1 holds: if part1 是 food 的 部分), then there exist part2,動物 animal so that part1 是 part2 的 部分) and part2 是 animal 的 部分)
.
(=>
(instance ?FOOD Food)
(forall
(?PART1)
(=>
(part ?PART1 ?FOOD)
(exists
(?PART2 ?ANIMAL)
(and
(part ?PART1 ?PART2)
(part ?PART2 ?ANIMAL)
(instance ?ANIMAL Animal))))))
- if meat 是 肉 的 實例,
- then for all part holds: if part 是 meat 的 部分), then there exist subpart,time,animal so that subpart 是 part 的 部分) and animal 是 動物 的 實例 and subpart 是 animal 的 部分) timea(之中) time
.
(=>
(instance ?MEAT Meat)
(forall
(?PART)
(=>
(part ?PART ?MEAT)
(exists
(?SUBPART ?TIME ?ANIMAL)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?ANIMAL Animal)
(part ?SUBPART ?ANIMAL))))))))
- if veg 是 蔬果 的 實例,
- then for all part holds: if part 是 veg 的 部分), then there exist subpart,time,plant so that subpart 是 part 的 部分) and plant 是 植物 的 實例 and subpart 是 plant 的 部分) timea(之中) time
.
(=>
(instance ?VEG FruitOrVegetable)
(forall
(?PART)
(=>
(part ?PART ?VEG)
(exists
(?SUBPART ?TIME ?PLANT)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?PLANT Plant)
(part ?SUBPART ?PLANT))))))))
If anat 是 解剖構造 的 實例, then there exists 生物體 organism so that anat 是 organism 的 部分).
(=>
(instance ?ANAT AnatomicalStructure)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?ANAT ?ORGANISM))))
If part 是 解剖構造 的 實例, then there exists 細胞 cell so that cell 是 part 的 部分).
(=>
(instance ?PART AnatomicalStructure)
(exists
(?CELL)
(and
(instance ?CELL Cell)
(part ?CELL ?PART))))
If part 是 軀體部件 的 實例, then there doesn't exist 病理歷程 proc so that part 是 proc 的 結果.
(=>
(instance ?PART BodyPart)
(not
(exists
(?PROC)
(and
(instance ?PROC PathologicProcess)
(result ?PROC ?PART)))))
If cover 是 軀體表面（覆蓋物） 的 實例, then there exists body so that cover 是 body的 �~表部分 and body 是 生物體 的 實例 or body 是 軀體部件 的 實例.
(=>
(instance ?COVER BodyCovering)
(exists
(?BODY)
(and
(superficialPart ?COVER ?BODY)
(or
(instance ?BODY Organism)
(instance ?BODY BodyPart)))))
If junct 是 軀體接點 的 實例, then there exists 軀體部件 struct so that junct 是 struct 的 元件.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT)
(and
(instance ?STRUCT BodyPart)
(component ?JUNCT ?STRUCT))))
If junct 是 軀體接點 的 實例, then there exist 軀體部件 struct1,軀體部件 struct2 so that junct 與 struct1 相連 and junct 與 struct2 相連 and struct1 等於 struct2.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT1 ?STRUCT2)
(and
(connected ?JUNCT ?STRUCT1)
(connected ?JUNCT ?STRUCT2)
(instance ?STRUCT1 BodyPart)
(instance ?STRUCT2 BodyPart)
(not
(equal ?STRUCT1 ?STRUCT2)))))
If organ 是 器官 的 實例, then there exists purp so that organ 有 意圖 purp.
(=>
(instance ?ORGAN Organ)
(exists
(?PURP)
(hasPurpose ?ORGAN ?PURP)))
If stuff 是 組織 的 實例, then there exists 細胞 part so that part 是 stuff 的 部分).
(=>
(instance ?STUFF Tissue)
(exists
(?PART)
(and
(instance ?PART Cell)
(part ?PART ?STUFF))))
If stuff 是 組織 的 實例, then there exists 生物體 organism so that stuff 是 organism 的 部分).
(=>
(instance ?STUFF Tissue)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?STUFF ?ORGANISM))))
If bone 是 骨骼 的 實例, then there exists 脊椎動物 vert so that bone 是 vert 的 部分).
(=>
(instance ?BONE Bone)
(exists
(?VERT)
(and
(instance ?VERT Vertebrate)
(part ?BONE ?VERT))))
If morph 是 詞素 的 實例, then there doesn't exist 詞素 othermorph so that othermorph 是 morph 的 部分) and othermorph 等於 morph.
(=>
(instance ?MORPH Morpheme)
(not
(exists
(?OTHERMORPH)
(and
(instance ?OTHERMORPH Morpheme)
(part ?OTHERMORPH ?MORPH)
(not
(equal ?OTHERMORPH ?MORPH))))))
If morph 是 詞素 的 實例, then there exists 詞 word so that morph 是 word 的 部分).
(=>
(instance ?MORPH Morpheme)
(exists
(?WORD)
(and
(instance ?WORD Word)
(part ?MORPH ?WORD))))
If word 是 詞 的 實例, then there exists 詞素 part so that part 是 word 的 部分).
(=>
(instance ?WORD Word)
(exists
(?PART)
(and
(part ?PART ?WORD)
(instance ?PART Morpheme))))
If phrase 是 詞組 的 實例, then there exist 詞 part1,詞 part2 so that part1 是 phrase 的 部分) and part2 是 phrase 的 部分) and part1 等於 part2.
(=>
(instance ?PHRASE Phrase)
(exists
(?PART1 ?PART2)
(and
(part ?PART1 ?PHRASE)
(part ?PART2 ?PHRASE)
(instance ?PART1 Word)
(instance ?PART2 Word)
(not
(equal ?PART1 ?PART2)))))
If sentence 是 句子 的 實例, then there exist 名詞詞組 phrase1,動詞詞組 phrase2 so that phrase1 是 sentence 的 部分) and phrase2 是 sentence 的 部分).
(=>
(instance ?SENTENCE Sentence)
(exists
(?PHRASE1 ?PHRASE2)
(and
(instance ?PHRASE1 NounPhrase)
(instance ?PHRASE2 VerbPhrase)
(part ?PHRASE1 ?SENTENCE)
(part ?PHRASE2 ?SENTENCE))))
If text 是 文本 的 實例, then there exists 命題 prop so that text (不) �]含s) 訊息 %2.
(=>
(instance ?TEXT Text)
(exists
(?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?TEXT ?PROP))))
If text 是 文本 的 實例, then there exists 句子 part so that part 是 text 的 部分).
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
If text 是 文本 的 實例, then there exists 寫作 write so that text 是 write 的 結果.
(=>
(instance ?TEXT Text)
(exists
(?WRITE)
(and
(instance ?WRITE Writing)
(result ?WRITE ?TEXT))))
If sent 是 句子 的 實例, then there exist 名詞詞組 noun,動詞詞組 verb so that noun 是 sent 的 部分) and verb 是 sent 的 部分).
(=>
(instance ?SENT Sentence)
(exists
(?NOUN ?VERB)
(and
(instance ?NOUN NounPhrase)
(instance ?VERB VerbPhrase)
(part ?NOUN ?SENT)
(part ?VERB ?SENT))))
If 作者(agent,text) holds, then there exist process,text instance so that process 是 agent 的 施事者 and text 是 process 的 結果.
(=>
(authors ?AGENT ?TEXT)
(exists
(?PROCESS ?INSTANCE)
(and
(agent ?PROCESS ?AGENT)
(instance ?INSTANCE ?TEXT)
(result ?PROCESS ?TEXT))))
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 是 摘要 的 實例, then there exists 文本 text2 so that text2 �]容 text.
(=>
(instance ?TEXT Summary)
(exists
(?TEXT2)
(and
(instance ?TEXT2 Text)
(subsumesContentInstance ?TEXT2 ?TEXT))))
If series 是 系列刊物 的 實例, then there exist 書籍 book1,書籍 book2 so that series �]容 book1 and series �]容 book2 and book1 等於 book2.
(=>
(instance ?SERIES Series)
(exists
(?BOOK1 ?BOOK2)
(and
(instance ?BOOK1 Book)
(instance ?BOOK2 Book)
(subsumesContentInstance ?SERIES ?BOOK1)
(subsumesContentInstance ?SERIES ?BOOK2)
(not
(equal ?BOOK1 ?BOOK2)))))
If article 是 文章 的 實例, then there exists 書籍 book so that book �]容 article.
(=>
(instance ?ARTICLE Article)
(exists
(?BOOK)
(and
(instance ?BOOK Book)
(subsumesContentInstance ?BOOK ?ARTICLE))))
If doc 是 證書 的 實例 and agent (沒) 擁有not(s) doc, then there exists proc so that doc 賦予 agent 權力 執行 類型 proc 任務 or doc 賦予 agent 義務 執行 類型 proc 任務.
(=>
(and
(instance ?DOC Certificate)
(possesses ?AGENT ?DOC))
(exists
(?PROC)
(or
(confersRight ?PROC ?DOC ?AGENT)
(confersObligation ?PROC ?DOC ?AGENT))))
If mole 是 分子 的 實例, then there exist 原子 atom1,原子 atom2 so that atom1 是 mole 的 部分) and atom2 是 mole 的 部分) and atom1 等於 atom2.
(=>
(instance ?MOLE Molecule)
(exists
(?ATOM1 ?ATOM2)
(and
(instance ?ATOM1 Atom)
(instance ?ATOM2 Atom)
(part ?ATOM1 ?MOLE)
(part ?ATOM2 ?MOLE)
(not
(equal ?ATOM1 ?ATOM2)))))
artifact 是 人造物 的 實例 if and only if there exists 製作 making so that artifact 是 making 的 結果.
(<=>
(instance ?ARTIFACT Artifact)
(exists
(?MAKING)
(and
(instance ?MAKING Making)
(result ?MAKING ?ARTIFACT))))
If product 是 產品 的 實例, then there exists 生產 manufacture so that product 是 manufacture 的 結果.
(=>
(instance ?PRODUCT Product)
(exists
(?MANUFACTURE)
(and
(instance ?MANUFACTURE Manufacture)
(result ?MANUFACTURE ?PRODUCT))))
- 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 building 是 建築物 的 實例, then there exists 人類 human so that - human 住s 在 building
or - there exists act so that act 是 human 的 施事者 and act 位於 building
.
(=>
(instance ?BUILDING Building)
(exists
(?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists
(?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))
If room 是 房間 的 實例, then there exists 建築物 build so that room 是 build 的 正部分.
(=>
(instance ?ROOM Room)
(exists
(?BUILD)
(and
(instance ?BUILD Building)
(properPart ?ROOM ?BUILD))))
If clothing 是 衣物 的 實例, then there exists 織物 fabric so that fabric 是 clothing 的 部分).
(=>
(instance ?CLOTHING Clothing)
(exists
(?FABRIC)
(and
(instance ?FABRIC Fabric)
(part ?FABRIC ?CLOTHING))))
If device 是 裝置 的 實例, then there exists 歷程 proc so that device 可以 任角色 工具 做 proc.
(=>
(instance ?DEVICE Device)
(exists
(?PROC)
(and
(subclass ?PROC Process)
(capability ?PROC instrument ?DEVICE))))
If device 是 裝置 的 實例, then there exists 歷程 proc so that device 有 意圖 "device 可以 任角色 工具 做 proc".
(=>
(instance ?DEVICE Device)
(exists
(?PROC)
(and
(subclass ?PROC Process)
(hasPurpose
?DEVICE
(capability ?PROC instrument ?DEVICE)))))
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 machine 是 機器 的 實例,
- then for all proc holds: if machine 對 proc 是 工具, then there exist resource,result so that resource 對 proc 是 資源 and result 是 proc 的 結果
.
(=>
(instance ?MACHINE Machine)
(forall
(?PROC)
(=>
(instrument ?PROC ?MACHINE)
(exists
(?RESOURCE ?RESULT)
(and
(resource ?PROC ?RESOURCE)
(result ?PROC ?RESULT))))))
If comp 是 工程元件 的 實例, then there exists 裝置 device so that comp 是 device 的 元件.
(=>
(instance ?COMP EngineeringComponent)
(exists
(?DEVICE)
(and
(instance ?DEVICE Device)
(component ?COMP ?DEVICE))))
comp1 與 comp2 連結 if and only if there exists connection so that connection 連結 comp1 和 comp2.
(<=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(exists
(?CONNECTION)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
If connection 是 工程連結元件 的 實例, then there exist comp1,comp2 so that connection 連結 comp1 和 comp2.
(=>
(instance ?CONNECTION EngineeringConnection)
(exists
(?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
If organism1 和 organism2 相關, then there exists organism3 so that organism3 和 organism1 相關 and organism3 和 organism2 相關.
(=>
(familyRelation ?ORGANISM1 ?ORGANISM2)
(exists
(?ORGANISM3)
(and
(familyRelation ?ORGANISM3 ?ORGANISM1)
(familyRelation ?ORGANISM3 ?ORGANISM2))))
If pol 是 政治組織 的 實例, then there exists 政治歷程 proc so that proc 是 pol 的 施事者.
(=>
(instance ?POL PoliticalOrganization)
(exists
(?PROC)
(and
(instance ?PROC PoliticalProcess)
(agent ?PROC ?POL))))
If plan 是 計畫 的 實例 and obj 是 內容載體 的 實例 and obj (不) �]含s) 訊息 %2, then there exists 計畫 planning so that obj 是 planning 的 結果.
(=>
(and
(instance ?PLAN Plan)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PLAN))
(exists
(?PLANNING)
(and
(instance ?PLANNING Planning)
(result ?PLANNING ?OBJ))))
If plan 是 計畫 的 實例, then there exists purp so that plan 有 意圖 purp.
(=>
(instance ?PLAN Plan)
(exists
(?PURP)
(hasPurpose ?PLAN ?PURP)))
If org (沒) 雇用not(s) person, then there exists position so that person 佔 position 的 職位 在 org.
(=>
(employs ?ORG ?PERSON)
(exists
(?POSITION)
(occupiesPosition ?PERSON ?POSITION ?ORG)))
If agent 有義務 執行 類型 process 任務, then 陳述 "there exists process instance so that instance 是 agent 的 施事者" 有 義務 的 型態意義.
(=>
(holdsObligation ?PROCESS ?AGENT)
(modalAttribute
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?PROCESS)
(agent ?INSTANCE ?AGENT)))
Obligation))
If agent 有 權 使 process 為真, then 陳述 "there exists process instance so that instance 是 agent 的 施事者" 有 許可 的 型態意義.
(=>
(holdsRight ?PROCESS ?AGENT)
(modalAttribute
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?PROCESS)
(agent ?INSTANCE ?AGENT)))
Permission))
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)))))
obj 是 物質 的 實例 if and only if there exists 物理狀態 attr so that attr 是 obj 的 屬性.
(<=>
(instance ?OBJ Substance)
(exists
(?ATTR)
(and
(instance ?ATTR PhysicalState)
(attribute ?OBJ ?ATTR))))
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 obj 是 食物 的 實例, then there exists 味覺屬性 attr so that attr 是 obj 的 屬性.
(=>
(instance ?OBJ Food)
(exists
(?ATTR)
(and
(instance ?ATTR TasteAttribute)
(attribute ?OBJ ?ATTR))))
If 多彩的 是 obj 的 屬性, then there exist part1,part2,顏色屬性 color1,顏色屬性 color2 so that part1 是 obj的 �~表部分 and part2 是 obj的 �~表部分 and color1 是 part1 的 屬性 and color2 是 part2 的 屬性 and color1 等於 color2.
(=>
(attribute ?OBJ Polychromatic)
(exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(and
(superficialPart ?PART1 ?OBJ)
(superficialPart ?PART2 ?OBJ)
(attribute ?PART1 ?COLOR1)
(attribute ?PART2 ?COLOR2)
(instance ?COLOR1 ColorAttribute)
(instance ?COLOR2 ColorAttribute)
(not
(equal ?COLOR1 ?COLOR2)))))
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 subobj so that subobj 是 obj 的 部分) and 液體的 是 subobj 的 屬性.
(=>
(attribute ?OBJ Dry)
(not
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(attribute ?SUBOBJ Liquid)))))
- if 濕的 是 obj 的 屬性,
- then for all part holds: if part 是 obj 的 部分), then there exists subpart so that subpart 是 part 的 部分) and 液體的 是 subpart 的 屬性
.
(=>
(attribute ?OBJ Wet)
(forall
(?PART)
(=>
(part ?PART ?OBJ)
(exists
(?SUBPART)
(and
(part ?SUBPART ?PART)
(attribute ?SUBPART Liquid))))))
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)))))
If org 是 生物體 的 實例, then there exists 有生屬性 attr so that attr 是 org 的 屬性.
(=>
(instance ?ORG Organism)
(exists
(?ATTR)
(and
(instance ?ATTR AnimacyAttribute)
(attribute ?ORG ?ATTR))))
If animal 是 動物 的 實例, then there exists 性別屬性 attr so that attr 是 animal 的 屬性.
(=>
(instance ?ANIMAL Animal)
(exists
(?ATTR)
(and
(instance ?ATTR SexAttribute)
(attribute ?ANIMAL ?ATTR))))
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)))))
If org 是 生物體 的 實例, then there exists 發展屬性 attr so that attr 是 org 的 屬性.
(=>
(instance ?ORG Organism)
(exists
(?ATTR)
(and
(instance ?ATTR DevelopmentalAttribute)
(attribute ?ORG ?ATTR))))
If 幼體的 是 org 的 屬性 timea(之中) time, then there exists 誕生 birth so that org (沒) 體驗not(s) birth "time 之前"a(之中) time 之前.
(=>
(holdsDuring
?TIME
(attribute ?ORG Larval))
(holdsDuring
(PastFn ?TIME)
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORG)))))
If 胚胎的 是 org 的 屬性, then there exists 生殖構造 body so that org 位於 body.
(=>
(attribute ?ORG Embryonic)
(exists
(?BODY)
(and
(instance ?BODY ReproductiveBody)
(located ?ORG ?BODY))))
If 胚胎的 是 org 的 屬性 timea(之中) time, then there doesn't exist 誕生 birth so that org (沒) 體驗not(s) birth timea(之中) time.
(=>
(holdsDuring
?TIME
(attribute ?ORG Embryonic))
(holdsDuring
?TIME
(not
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORG))))))
agent 是 能知覺的行為主體 的 實例 and 活的 是 agent 的 屬性 if and only if there exists 意識屬性 attr so that attr 是 agent 的 屬性.
(<=>
(and
(instance ?AGENT SentientAgent)
(attribute ?AGENT Living))
(exists
(?ATTR)
(and
(instance ?ATTR ConsciousnessAttribute)
(attribute ?AGENT ?ATTR))))
entity 是 "superclass 的 所有 元素 的 聯集" 的 實例 if and only if there exists superclass class so that entity 是 class 的 實例.
(<=>
(instance
?ENTITY
(GeneralizedUnionFn ?SUPERCLASS))
(exists
(?CLASS)
(and
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
