(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?T ?TA)         (and             (instance ?T Transportation)             (destination ?T ?O)             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A))             (or                 (agent ?T ?TA)                 (patient ?T ?TA)))))	MilitaryProcesses.kif 2554-2569	例 Process and 疏散 起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Transportation 目的地 Process and Object 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 患者 Process and ProcessA
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?OR)         (agent ?EV ?A))     (exists (?P)         (and             (instance ?P Process)             (geographicSubregion ?OR                 (WhereFn ?P                     (BeginFn                         (WhenFn ?EV))))             (causes ?P ?EV)             (believes ?A                 (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2516-2530	例 Process and 疏散 起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是 哪裡 Process and 開始 何時 Process 的 geographic 次要地區 原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
(=>     (and         (instance ?EVENT Election)         (agent ?EVENT ?AGENT)         (instance ?AGENT GeopoliticalArea))     (instance ?EVENT PoliticalProcess))	Merge.kif 14094-14099	例 Process and 選舉 agent Process and AutonomousAgent 例 AutonomousAgent and GeopoliticalArea 例 Process and PoliticalProcess
(=>     (and         (instance ?EVENT Election)         (agent ?EVENT ?AGENT)         (instance ?AREA GeopoliticalArea)         (instance ?AGENT             (GovernmentFn ?AREA)))     (instance ?EVENT PoliticalProcess))	Merge.kif 14101-14107	例 Process and 選舉 agent Process and AutonomousAgent 例 GeopoliticalArea and GeopoliticalArea 例 AutonomousAgent and 政府 GeopoliticalArea 例 Process and PoliticalProcess
(=>     (and         (instance ?EXPRESS Expressing)         (agent ?EXPRESS ?AGENT))     (exists (?STATE)         (and             (instance ?STATE StateOfMind)             (attribute ?AGENT ?STATE)             (represents ?EXPRESS ?STATE))))	Merge.kif 13138-13146	例 Process and Expressing agent Process and AutonomousAgent Attribute 例 Attribute and StateOfMind attribute AutonomousAgent and Attribute 代表 Process and Attribute
(=>     (and         (instance ?EXPRESS ExpressingApproval)         (agent ?EXPRESS ?AGENT)         (patient ?EXPRESS ?THING))     (or         (wants ?AGENT ?THING)         (desires ?AGENT ?THING)))	Mid-level-ontology.kif 12949-12956	例 Process and 表示贊同 agent Process and CognitiveAgent 患者 Process and Formula 想要 CognitiveAgent and Formula 慾望 CognitiveAgent and Formula
(=>     (and         (instance ?EXPRESS ExpressingDisapproval)         (agent ?EXPRESS ?AGENT)         (patient ?EXPRESS ?THING))     (or         (dislikes ?AGENT ?THING)         (disapproves ?AGENT ?THING)))	Mid-level-ontology.kif 12962-12969	例 Process and 表示不贊成 agent Process and CognitiveAgent 患者 Process and Formula CognitiveAgent dislikes Formula Formula 是 CognitiveAgent 的 disapproves
(=>     (and         (instance ?EXPRESS FacialExpression)         (agent ?EXPRESS ?AGENT))     (exists (?FACE)         (and             (part ?FACE ?AGENT)             (instance ?FACE Face)             (instrument ?EXPRESS ?FACE))))	Mid-level-ontology.kif 13007-13015	例 Process and 表情 agent Process and AutonomousAgent Object 部分 Object and AutonomousAgent 例 Object and 面對 儀器 Process and Object
(=>     (and         (instance ?F             (FailureFn ?C))         (agent ?F ?A))     (and         (desires ?A             (exists (?I)                 (and                     (instance ?I ?C)                     (agent ?I ?A))))         (not             (exists (?I)                 (and                     (instance ?I ?C)                     (during                         (WhenFn ?I)                         (WhenFn ?F))                     (agent ?I ?A))))))	ComputingBrands.kif 4517-4532	例 Process and FailureFn IntentionalProcess agent Process and CognitiveAgent 慾望 CognitiveAgent and Process 例 Process and IntentionalProcess agent Process and CognitiveAgent Process 例 Process and IntentionalProcess 期間 何時 Process and 何時 Process agent Process and CognitiveAgent
(=>     (and         (instance ?F Flexion)         (agent ?F ?A)         (moves ?F ?BP))     (not         (exists (?E)             (and                 (instance ?E Extension)                 (equal                     (WhenFn ?E)                     (WhenFn ?F))                 (agent ?E ?A)                 (moves ?E ?BP)))))	Mid-level-ontology.kif 10633-10644	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於 何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
(=>     (and         (instance ?F MilitaryForce)         (instance ?P Human)         (instance ?I Imprisoning)         (member ?P ?F)         (agent ?I ?E)         (patient ?I ?P)         (enemy ?E ?P)         (eventLocated ?I ?LOC)         (attribute ?LOC WarState))     (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	例 Collection and 軍事力量 例 AutonomousAgent and Human 例 Process and 監禁 會員 AutonomousAgent and Collection agent Process and AutonomousAgent 患者 Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent Process 是 located 在 Object attribute Object and 戰爭狀態 attribute AutonomousAgent and 戰俘
(=>     (and         (instance ?FARMING Farming)         (agent ?FARMING ?FARMER))     (exists (?FARM)         (and             (instance ?FARM Farm)             (holdsDuring                 (WhenFn ?FARMING)                 (located ?FARMER ?FARM)))))	Mid-level-ontology.kif 20506-20513	例 Process and 農業 agent Process and AutonomousAgent Entity 例 Entity and 農場 持有期間 何時 Process and 位於 AutonomousAgent and Entity
(=>     (and         (instance ?FID ForeignInternalDefense)         (agent ?FID ?MIL)         (experiencer ?FID ?HN))     (hasPurpose ?FID         (exists (?ORG ?LEARNING)             (and                 (instance ?LEARNING Learning)                 (experiencer ?LEARNING ?ORG)                 (agent ?LEARNING ?MIL)                 (or                     (militaryOfArea ?ORG ?HN)                     (and                         (instance ?ORG MilitaryForce)                         (located ?ORG ?HN)))))))	MilitaryProcesses.kif 1960-1975	例 Process and 外國內部防禦 agent Process and AutonomousAgent 體驗者 Process and AutonomousAgent 有目的 Process and entity entity 例 entity and Learning 體驗者 entity and entity agent entity and AutonomousAgent AutonomousAgent 是 entity 的 military 區域 例 entity and 軍事力量 位於 entity and AutonomousAgent
(=>     (and         (instance ?FID ForeignInternalDefense)         (agent ?FID ?MIL)         (militaryOfArea ?MIL ?NATION))     (exists (?HN ?MAINTAIN)         (and             (experiencer ?FID ?HN)             (instance ?HN HostNation)             (not                 (equal ?HN ?NATION))             (instance ?MAINTAIN Maintaining)             (agent ?MAINTAIN ?HN))))	MilitaryProcesses.kif 1943-1955	例 Process and 外國內部防禦 agent Process and 軍事組織 GeopoliticalArea 是 軍事組織 的 military 區域 AutonomousAgent Process 體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國 等於 AutonomousAgent and GeopoliticalArea 例 Process and Maintaining agent Process and AutonomousAgent
(=>     (and         (instance ?FIRE TerminatingEmployment)         (instance ?ORG Organization)         (agent ?FIRE ?ORG)         (patient ?FIRE ?PERSON))     (and         (holdsDuring             (BeginFn                 (WhenFn ?FIRE))             (employs ?ORG ?PERSON))         (holdsDuring             (EndFn                 (WhenFn ?FIRE))             (not                 (employs ?ORG ?PERSON)))))	Merge.kif 10762-10770	例 Process and TerminatingEmployment 例 AutonomousAgent and Organization agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 採用 AutonomousAgent and Entity 持有期間 結束 何時 Process and 採用 AutonomousAgent and Entity
(=>     (and         (instance ?FROWN Frowning)         (agent ?FROWN ?AGENT))     (holdsDuring         (WhenFn ?FROWN)         (attribute ?AGENT Unhappiness)))	Mid-level-ontology.kif 13031-13035	例 Process and 皺著眉頭 agent Process and AutonomousAgent 持有期間 何時 Process and attribute AutonomousAgent and 不幸
(=>     (and         (instance ?FVU FearfulVoiceUtterance)         (agent ?FVU ?A))     (exists (?F)         (and             (instance ?F Fear)             (experiencer ?F ?A)             (causes ?F ?FVU))))	emotion.kif 2065-2073	例 Process and FearfulVoiceUtterance agent Process and AutonomousAgent Process 例 Process and Fear 體驗者 Process and AutonomousAgent 原因 Process and Process
(=>     (and         (instance ?G Gaslighting)         (agent ?G ?A)         (suffers ?G ?H))     (exists (?P)         (and             (instance ?P Perception)             (experiencer ?P ?H)             (causesProposition                 (suffers ?G ?H)                 (not                     (knows ?H                         (result ?P ?R)))))))	Medicine.kif 3665-3678	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
(=>     (and         (instance ?G GramStaining)         (agent ?G ?H)         (patient ?G ?B))     (hasPurpose ?G         (knows ?H             (exists (?S)                 (and                     (instance ?S GramStainAttribute)                     (attribute ?B ?S))))))	Medicine.kif 5369-5379	例 Process and GramStaining agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and 知道 AutonomousAgent and entity 例 entity and GramStainAttribute attribute Entity and entity
(=>     (and         (instance ?GET Getting)         (agent ?GET ?AGENT))     (destination ?GET ?AGENT))	Merge.kif 11803-11807	例 Process and Getting agent Process and AutonomousAgent 目的地 Process and AutonomousAgent
(=>     (and         (instance ?GIVE Giving)         (agent ?GIVE ?AGENT))     (origin ?GIVE ?AGENT))	Merge.kif 11709-11713	例 Process and Giving agent Process and AutonomousAgent 起源 Process and AutonomousAgent
(=>     (and         (instance ?GIVE Giving)         (agent ?GIVE ?AGENT1)         (destination ?GIVE ?AGENT2)         (instance ?AGENT2 AutonomousAgent)         (patient ?GIVE ?OBJ))     (exists (?GET)         (and             (instance ?GET Getting)             (agent ?GET ?AGENT2)             (origin ?GET ?AGENT1)             (patient ?GET ?OBJ))))	Merge.kif 11695-11707	例 Process and Giving agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity Process 例 Process and Getting agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity
(=>     (and         (instance ?GRAB Grabbing)         (agent ?GRAB ?AGENT)         (patient ?GRAB ?THING))     (and         (holdsDuring             (BeginFn                 (WhenFn ?GRAB))             (not                 (grasps ?AGENT ?THING)))         (holdsDuring             (EndFn                 (WhenFn ?GRAB))             (grasps ?AGENT ?THING))))	Merge.kif 11531-11538	例 Process and 抓 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 掌握 AutonomousAgent and Entity 持有期間 結束 何時 Process and 掌握 AutonomousAgent and Entity
(=>     (and         (instance ?GRAD Graduation)         (agent ?GRAD ?ORG))     (instance ?ORG EducationalOrganization))	Merge.kif 10724-10728	例 Process and Graduation agent Process and AutonomousAgent 例 AutonomousAgent and EducationalOrganization
(=>     (and         (instance ?GROUP Choir)         (agent ?MUSIC ?GROUP)         (instance ?MUSIC MakingMusic))     (instance ?MUSIC MakingVocalMusic))	Media.kif 1787-1792	例 AutonomousAgent and Choir agent Process and AutonomousAgent 例 Process and MakingMusic 例 Process and 聲樂
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners