(=>     (and         (instance ?CONDUCT MusicalConducting)         (patient ?CONDUCT ?PATIENT)         (instance ?M Musician))     (or         (instance ?PATIENT MusicalGroup)         (holdsDuring             (WhenFn ?CONDUCT)             (attribute ?PATIENT ?M))))	Mid-level-ontology.kif 18505-18514	例 Process and MusicalConducting 患者 Process and Entity 例 Entity and 音樂家 例 Entity and 音樂團體 持有期間 何時 Process and attribute Entity and Entity
(=>     (and         (instance ?COOL Cooling)         (patient ?COOL ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (lessThan ?QUANT2 ?QUANT1))))	Merge.kif 10983-10996	例 Process and Cooling 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間 開始 何時 Process and 等於 測量 Entity and Entity and RealNumber 持有期間 結束 何時 Process and 等於 測量 Entity and Entity and RealNumber 少於 RealNumber and RealNumber
(=>     (and         (instance ?CP ChangingAccountInfo)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (accountInformation ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (not                     (equal ?N2 ?N1))                 (accountInformation ?UA ?N2)))))	ComputingBrands.kif 4123-4135	例 Process and ChangingAccountInfo agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 accountInformation 用戶帳號 and Proposition 持有期間 眼前的未來 何時 Process and entity 等於 entity and Proposition accountInformation 用戶帳號 and entity
(=>     (and         (instance ?CP ChangingPassword)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (password ?P1 ?UA))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?P2)             (and                 (instance ?P2 ComputerPassword)                 (not                     (equal ?P2 ?P1))                 (password ?P2 ?UA)))))	ComputingBrands.kif 4079-4092	例 Process and ChangingPassword agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 用戶帳號 有 password 電腦密碼 持有期間 眼前的未來 何時 Process and entity 例 entity and 電腦密碼 等於 entity and 電腦密碼 用戶帳號 有 password entity
(=>     (and         (instance ?CP ChangingUserName)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (userName ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (instance ?N2 UserName)                 (not                     (equal ?N2 ?N1))                 (userName ?UA ?N2)))))	ComputingBrands.kif 4101-4114	例 Process and ChangingUserName agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 用戶帳號 的 user name 是 用戶名 持有期間 眼前的未來 何時 Process and entity 例 entity and 用戶名 等於 entity and 用戶名 用戶帳號 的 user name 是 entity
(=>     (and         (instance ?CP CreatingAnAccount)         (agent ?CP ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?UA ?P1 ?N)             (and                 (hasAccount ?A ?UA)                 (password ?P1 ?UA)                 (userName ?UA ?N)))))	ComputingBrands.kif 4143-4153	例 Process and CreatingAnAccount agent Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and entity entity and entity AutonomousAgent 有 account entity entity 有 password entity entity 的 user name 是 entity
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 137-146	例 Entity and 校驗 例 Process and 處理檢查 患者 Process and Entity Process 例 Process and 存款支票 患者 Process and Entity 時間 Process and 不久的過去 何時 Process
(=>     (and         (instance ?Closing ClosingAnAccount)         (patient ?Closing ?Account))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?Closing))             (instance ?Account FinancialAccount))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?Closing))             (not                 (instance ?Account FinancialAccount)))))	FinancialOntology.kif 391-401	例 Process and 關閉帳戶 患者 Process and Entity 持有期間 不久的過去 何時 Process and 例 Entity and 金融賬戶 持有期間 眼前的未來 何時 Process and 例 Entity and 金融賬戶
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 17170-17190	例 Process and 減速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間 開始 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 持有期間 結束 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (instance ?D DeletingAnAccount)         (instance ?AC Account)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?D))             (hasAccount ?A ?AC))         (patient ?D ?AC)         (agent ?D ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?D))         (not             (hasAccount ?A ?AC))))	ComputingBrands.kif 4566-4576	例 Process and DeletingAnAccount 例 Entity and Account 持有期間 不久的過去 何時 Process and AutonomousAgent 有 account Entity 患者 Process and Entity agent Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and AutonomousAgent 有 account Entity
(=>     (and         (instance ?D Dismounting)         (agent ?D ?A)         (patient ?D ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?D))             (orientation ?A ?O On))         (holdsDuring             (EndFn                 (WhenFn ?D))             (not                 (orientation ?A ?O On)))))	Mid-level-ontology.kif 20002-20014	例 Process and 拆卸 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 方位 AutonomousAgent, Entity and 上 持有期間 結束 何時 Process and 方位 AutonomousAgent, Entity and 上
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 450-463	例 Process and 躲著 agent Process and AutonomousAgent 等於 ProcessT and 何時 Process 有目的 Process and entity 短暫相遇 ProcessT and 何時 entity 暫時重疊 ProcessT and 何時 entity 例 entity and Impacting 患者 entity and AutonomousAgent
(=>     (and         (instance ?DAM Damaging)         (instance ?OBJ Device)         (patient ?DAM ?OBJ))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?DAM))         (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 30067-30075	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間 眼前的未來 何時 Process and attribute Entity and DeviceDamaged
(=>     (and         (instance ?DEACT DeactivatingAnAccount)         (instance ?AC UserAccount)         (patient ?DEACT ?AC))     (and         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?DEACT))             (attribute ?AC AccountDeactivated))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?DEACT))             (attribute ?AC AccountActive))))	ComputingBrands.kif 4498-4507	例 Process and DeactivatingAnAccount 例 Entity and 用戶帳號 患者 Process and Entity 持有期間 眼前的未來 何時 Process and attribute Entity and AccountDeactivated 持有期間 不久的過去 何時 Process and attribute Entity and AccountActive
(=>     (and         (instance ?DEATH Death)         (instance ?ORG Organism)         (experiencer ?DEATH ?ORG))     (exists (?REM ?OBJ)         (and             (result ?DEATH ?REM)             (instance ?REM OrganicObject)             (holdsDuring                 (FutureFn                     (WhenFn ?DEATH))                 (attribute ?REM Dead))             (=>                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?DEATH))                     (part ?OBJ ?REM))                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?DEATH))                     (part ?OBJ ?ORG))))))	Merge.kif 10244-10259	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間 未來 何時 Process and attribute Entity and 死 持有期間 眼前的未來 何時 Process and 部分 entity and Entity 持有期間 不久的過去 何時 Process and 部分 entity and AutonomousAgent
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?A)         (patient ?DECIDE ?S)         (instance ?S Set)         (result ?DECIDE ?X)         (instance ?X ContentBearingPhysical))     (containsFormula ?X         (holdsDuring             (FutureFn                 (WhenFn ?DECIDE))             (exists (?M)                 (and                     (element ?M ?S)                     (instance ?M IntentionalProcess)                     (agent ?M ?A))))))	Merge.kif 12068-12084	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理 例 內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間 未來 何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
(=>     (and         (instance ?DECODE Decoding)         (patient ?DECODE ?DOC1))     (exists (?ENCODE ?DOC2 ?TIME ?PROP)         (and             (containsInformation ?DOC2 ?PROP)             (containsInformation ?DOC1 ?PROP)             (temporalPart ?TIME                 (PastFn                     (WhenFn ?DECODE)))             (holdsDuring ?TIME                 (and                     (instance ?ENCODE Encoding)                     (patient ?ENCODE ?DOC2))))))	Merge.kif 12737-12750	例 Process and Decoding 患者 Process and 內容承載物理 entity 內容承載物理, TimePosition and Proposition 包含信息 內容承載物理 and Proposition 包含信息 內容承載物理 and Proposition 時間部分 TimePosition and 過去 何時 Process 持有期間 TimePosition and 例 entity and Encoding 患者 entity and 內容承載物理
(=>     (and         (instance ?DEPOSITION Deposition)         (patient ?DEPOSITION ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?DEPOSITION))                 (attribute ?PART Gas))             (holdsDuring                 (EndFn                     (WhenFn ?DEPOSITION))                 (attribute ?PART Solid))             (not                 (holdsDuring                     (WhenFn ?DEPOSITION)                     (attribute ?PART Liquid))))))	Geography.kif 6997-7014	例 Process and Deposition 患者 Process and Object Object 部分 Object and Object 持有期間 開始 何時 Process and attribute Object and 加油站 持有期間 結束 何時 Process and attribute Object and 固體 持有期間 何時 Process and attribute Object and 液體
(=>     (and         (instance ?DESERTIFICATION Desertification)         (eventLocated ?DESERTIFICATION ?AREA))     (exists (?A1 ?A2)         (and             (instance ?A1 ArableLand)             (instance ?A2 Desert)             (holdsDuring                 (BeginFn                     (WhenFn ?DESERTIFICATION))                 (overlapsSpatially ?AREA ?A1))             (holdsDuring                 (EndFn                     (WhenFn ?DESERTIFICATION))                 (overlapsSpatially ?AREA ?A2)))))	Weather.kif 2488-2501	例 Process and 荒漠化 Process 是 located 在 Object Entity Entity 例 Entity and 耕地 例 Entity and 沙漠 持有期間 開始 何時 Process and 在空間上重疊 Object and Entity 持有期間 結束 何時 Process and 在空間上重疊 Object and Entity
(=>     (and         (instance ?DETACH Detaching)         (patient ?DETACH ?OBJ1)         (patient ?DETACH ?OBJ2))     (and         (holdsDuring             (BeginFn                 (WhenFn ?DETACH))             (connected ?OBJ1 ?OBJ2))         (holdsDuring             (EndFn                 (WhenFn ?DETACH))             (not                 (connected ?OBJ1 ?OBJ2)))))	Merge.kif 12430-12437	例 Process and Detaching 患者 Process and Entity 患者 Process and Entity 持有期間 開始 何時 Process and 連接的 Entity and Entity 持有期間 結束 何時 Process and 連接的 Entity and Entity
(=>     (and         (instance ?DIGEST Digesting)         (agent ?DIGEST ?ORGANISM))     (exists (?INGEST)         (and             (instance ?INGEST Ingesting)             (agent ?INGEST ?ORGANISM)             (overlapsTemporally                 (WhenFn ?INGEST)                 (WhenFn ?DIGEST)))))	Merge.kif 10311-10319	例 Process and 消化 agent Process and AutonomousAgent Process 例 Process and Ingesting agent Process and AutonomousAgent 暫時重疊 何時 Process and 何時 Process
(=>     (and         (instance ?DISCOVER Discovering)         (patient ?DISCOVER ?OBJ))     (exists (?PURSUE)         (and             (instance ?PURSUE Pursuing)             (meetsTemporally                 (WhenFn ?PURSUE)                 (WhenFn ?DISCOVER)))))	Merge.kif 11986-11993	例 Process and 發現 患者 Process and Entity Physical 例 Physical and Pursuing 短暫相遇 何時 Physical and 何時 Process
(=>     (and         (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)         (patient ?DISMANTLE ?WEAPON))     (exists (?DEVELOP)         (and             (instance ?DEVELOP DevelopingWeaponOfMassDestruction)             (result ?DEVELOP ?WEAPON)             (earlier                 (WhenFn ?DEVELOP)                 (WhenFn ?DISMANTLE)))))	WMD.kif 750-758	例 Process and 拆除大規模殺傷性武器 患者 Process and Entity Process 例 Process and 發展大規模殺傷性武器 結果 Process and Entity 早期 何時 Process and 何時 Process
(=>     (and         (instance ?DREAM Dreaming)         (experiencer ?DREAM ?AGENT))     (holdsDuring         (WhenFn ?DREAM)         (attribute ?AGENT Asleep)))	Mid-level-ontology.kif 18238-18242	例 Process and 做夢 體驗者 Process and AutonomousAgent 持有期間 何時 Process and attribute AutonomousAgent and Asleep
(=>     (and         (instance ?DRESS Dressing)         (agent ?DRESS ?AGENT)         (patient ?DRESS ?CLOTHING))     (and         (instance ?CLOTHING Clothing)         (holdsDuring             (BeginFn                 (WhenFn ?DRESS))             (not                 (wears ?AGENT ?CLOTHING)))         (holdsDuring             (EndFn                 (WhenFn ?DRESS))             (wears ?AGENT ?CLOTHING))))	Mid-level-ontology.kif 5502-5517	例 Process and 調味料 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Clothing 持有期間 開始 何時 Process and 穿 AutonomousAgent and Entity 持有期間 結束 何時 Process and 穿 AutonomousAgent and Entity
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