(=>     (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))))	Merge.kif 11836-11847	例 Process and Borrowing agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Lending agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
(=>     (and         (instance ?BUY Buying)         (agent ?BUY ?AGENT))     (destination ?BUY ?AGENT))	Merge.kif 12000-12004	例 Process and Buying agent Process and AutonomousAgent 目的地 Process and AutonomousAgent
(=>     (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))))	Merge.kif 12010-12021	例 Process and Buying agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Selling agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
(=>     (and         (instance ?Bond Bond)         (couponInterest ?Bond ?Interest)         (possesses ?BondHolder ?Bond))     (exists (?Period ?Payment)         (and             (periodicPayment                 (AccountFn ?Bond) ?Interest ?Period)             (destination ?Payment ?BondHolder))))	FinancialOntology.kif 2284-2292	例 鍵 and 鍵 利益 是 鍵 的 coupon 利息 擁有 鍵Holder and 鍵 TimeDuration Process 鍵 的帳號 是 對於 TimeDuration 的 periodic 費用 利益 目的地 Process and 鍵Holder
(=>     (and         (instance ?Bond ZeroCouponBond)         (maturityDate             (AccountFn ?Bond) ?Date)         (possesses ?BondHolder ?Bond)         (principalAmount             (AccountFn ?Bond)             (MeasureFn ?Principal ?CUNIT))         (agreementPeriod             (AccountFn ?Bond) ?Period)         (interestEarned             (AccountFn ?Bond)             (MeasureFn ?Interest ?CUNIT) ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (exists (?Payment)         (and             (instance ?Payment Payment)             (destination ?Payment ?BondHolder)             (origin ?Payment                 (AccountFn ?Bond))             (transactionAmount ?Payment                 (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2347-2369	例 金融資產 and 零息債券 Day 是 金融資產 的帳號 的 maturity 日期 擁有 金融資產Holder and 金融資產 測量 RealNumber and UnitOfMeasure 是 金融資產 的帳號 的 principal 總額 TimeInterval 是 金融資產 的帳號 的 agreement 週期 金融資產 的帳號 是 對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款 目的地 FinancialTransaction and 金融資產Holder 起源 FinancialTransaction and 金融資產 的帳號 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額
(=>     (and         (instance ?C Convoy)         (member ?X1 ?C)         (member ?X2 ?C)         (not             (equal ?X1 ?X2)))     (exists (?P1 ?P2 ?D)         (and             (instance ?P1 Transportation)             (instance ?P2 Transportation)             (agent ?P1 ?X1)             (agent ?P2 ?X2)             (destination ?P1 ?D)             (destination ?P2 ?D))))	Military.kif 108-122	例 Collection and 護航 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 等於 AutonomousAgent and AutonomousAgent Process Process and Entity 例 Process and Transportation 例 Process and Transportation agent Process and AutonomousAgent agent Process and AutonomousAgent 目的地 Process and Entity 目的地 Process and Entity
(=>     (and         (instance ?CD CertificateOfDeposit)         (maturityDate ?CD ?MaturityDate)         (instance ?Withdrawal Withdrawal)         (origin ?Withdrawal             (CurrencyFn ?CD))         (date ?Withdrawal ?DateOfWithdrawal)         (before             (EndFn ?DateOfWithdrawal)             (BeginFn ?MaturityDate)))     (exists (?Penalty)         (and             (instance ?Penalty Penalty)             (destination ?Penalty                 (CurrencyFn ?CD))             (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1087-1099	例 金融賬戶 and 存款證 Day 是 金融賬戶 的 maturity 日期 例 Process and 退出 起源 Process and 金融賬戶 的 currency 日期 Process and Day 之前 結束 Day and 開始 Day Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process
(=>     (and         (instance ?DRIVING Driving)         (subProcess ?TRANSPORT ?DRIVING)         (instance ?TRANSPORT Transportation)         (destination ?DRIVING ?DEST))     (destination ?TRANSPORT ?DEST))	Mid-level-ontology.kif 25232-25238	例 Process and Driving 子過程 Process and Process 例 Process and Transportation 目的地 Process and Entity 目的地 Process and Entity
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1259-1280	例 Process and 塵暴 例 Process and 風 子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位 是 Object 的 surface 風速 比較多 RealNumber and 30.0 例 Transfer and 易位 子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂 例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
(=>     (and         (instance ?Depositing DepositingACheck)         (patient ?Depositing ?Check)         (instance ?Check Check)         (checkAccount ?Check ?Account)         (monetaryValue ?Check ?Amount))     (exists (?Deposit)         (and             (instance ?Deposit Deposit)             (destination ?Deposit                 (CurrencyFn ?Account))             (transactionAmount ?Deposit ?Amount))))	FinancialOntology.kif 340-351	例 Process and 存款支票 患者 Process and 校驗 例 校驗 and 校驗 金融賬戶 是 校驗 的 check 帳戶 貨幣價值 校驗 and CurrencyMeasure FinancialTransaction 例 FinancialTransaction and 存款 目的地 FinancialTransaction and 金融賬戶 的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
(=>     (and         (instance ?E Edema)         (experiencer ?E ?A))     (exists (?T ?P ?L)         (and             (instance ?T Transfer)             (instance ?L Liquid)             (instance ?P BodyPart)             (part ?P ?A)             (destination ?T ?P)             (moves ?T ?L)             (subProcess ?T ?E))))	Mid-level-ontology.kif 11313-11325	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體 例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and Process
(=>     (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 2586-2601	例 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)         (destination ?EV ?D))     (exists (?L)         (and             (instance ?L Translocation)             (subProcess ?L ?EV)             (destination ?L ?D)             (origin ?L ?OR))))	MilitaryProcesses.kif 2533-2543	例 Process and 疏散 起源 Process and Object 目的地 Process and Entity Process 例 Process and 易位 子過程 Process and Process 目的地 Process and Entity 起源 Process and Object
(=>     (and         (instance ?F Facility)         (holdsDuring ?T             (attribute ?F MilitarilySecure))         (instance ?MF MilitaryForce)         (possesses ?MF ?F))     (not         (exists (?A ?E)             (and                 (instance ?A Attack)                 (during ?T                     (WhenFn ?A))                 (destination ?A ?F)                 (agent ?A ?E)                 (enemy ?MF ?E)))))	MilitaryProcesses.kif 2829-2843	例 Object and Facility 持有期間 TimeInterval and attribute Object and MilitarilySecure 例 AutonomousAgent and 軍事力量 擁有 AutonomousAgent and Object Process AutonomousAgent 例 Process and 攻擊 期間 TimeInterval and 何時 Process 目的地 Process and Object agent Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent
(=>     (and         (instance ?F Food)         (attribute ?F DecafAttribute)         (piece ?C ?F)         (instance ?C Caffeine))     (exists (?R)         (and             (instance ?R Removing)             (destination ?R ?F)             (patient ?R ?C))))	Food.kif 425-435	例 Substance and Food attribute Substance and DecafAttribute 片 Substance and Substance 例 Substance and Caffeine Process 例 Process and Removing 目的地 Process and Substance 患者 Process and Substance
(=>     (and         (instance ?F FourStrokeIntake)         (instance ?C EngineCylinder)         (instance ?I InternalCombustionChamber)         (equal ?C             (HoleHostFn ?I))         (eventLocated ?F ?C))     (exists (?FV ?M)         (and             (instance ?M GasMotion)             (instance ?FV FuelVapor)             (subProcess ?M ?F)             (destination ?M ?I)             (patient ?M ?FV))))	Cars.kif 171-184	例 Process and FourStrokeIntake 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ProcessV Process 例 Process and 氣體運動 例 ProcessV and FuelVapor 子過程 Process and Process 目的地 Process and HoleRegion 患者 Process and ProcessV
(=>     (and         (instance ?FP FuelPump)         (instance ?A Automobile)         (part ?FP ?A)         (instance ?T Transportation)         (instance ?F Fuel)         (patient ?T ?F)         (instrument ?F ?FP))     (hasPurpose ?FP         (exists (?GT ?EC)             (and                 (instance ?GT GasTank)                 (part ?GT ?A)                 (instance ?EC EngineCylinder)                 (part ?EC ?A)                 (origin ?T ?GT)                 (destination ?T ?EC)))))	Cars.kif 1051-1068	例 Object and FuelPump 例 Object and 汽車 部分 Object and Object 例 Process and Transportation 例 Process and 汽油 患者 Process and Process 儀器 Process and Object 有目的 Object and entity entity 例 entity and GasTank 部分 entity and Object 例 entity and EngineCylinder 部分 entity and Object 起源 Process and entity 目的地 Process and entity
(=>     (and         (instance ?GERD GERefluxDisease)         (experiencer ?GERD ?H))     (exists (?T ?S ?E)         (and             (instance ?T Transfer)             (origin ?T ?S)             (instance ?S Stomach)             (instance ?E Esophagus)             (destination ?T ?E)             (part ?S ?H)             (part ?E ?H)             (subProcess ?T ?GERD))))	Medicine.kif 1904-1917	例 Process and GERefluxDisease 體驗者 Process and AutonomousAgent Process Object and Object 例 Process and Transfer 起源 Process and Object 例 Object and 胃 例 Object and Esophagus 目的地 Process and Object 部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 子過程 Process and Process
(=>     (and         (instance ?GET Getting)         (agent ?GET ?AGENT))     (destination ?GET ?AGENT))	Merge.kif 11886-11890	例 Process and Getting agent Process and AutonomousAgent 目的地 Process and AutonomousAgent
(=>     (and         (instance ?H Hotline)         (telephoneNumber ?H ?O)         (instance ?O Organization))     (hasPurpose ?H         (exists (?T)             (and                 (instance ?T Telephoning)                 (destination ?T ?O)                 (modalAttribute                     (exists (?C)                         (and                             (instance ?C Communication)                             (instrument ?C ?H)                             (equal                                 (BeginFn                                     (WhenFn ?C))                                 (BeginFn                                     (ImmediateFutureFn                                         (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 26762-26783	例 TelecomNumber and Hotline TelecomNumber 是 AutonomousAgent 的 telephone number 例 AutonomousAgent and Organization 有目的 TelecomNumber and entity 例 entity and 致電 目的地 entity and AutonomousAgent 模態屬性 entity 例 entity and Communication 儀器 entity and TelecomNumber 等於 開始 何時 entity and 開始 眼前的未來 何時 entity and 容易
(=>     (and         (instance ?HA HeartAttack)         (instance ?H Heart)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M Muscle)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 12717-12734	例 Physical and HeartAttack 例 Object and 心 位於 Physical and Object Object 例 Object and Muscle 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
(=>     (and         (instance ?HA Stroke)         (instance ?H Brain)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M NerveCell)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 13264-13281	例 Physical and Stroke 例 Object and 腦 位於 Physical and Object Object 例 Object and 神經細胞 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
(=>     (and         (instance ?I Immigrating)         (agent ?I ?A))     (exists (?N1 ?N2)         (and             (instance ?N1 Nation)             (instance ?N2 Nation)             (origin ?I ?N1)             (destination ?I ?N2)             (not                 (equal ?N1 ?N2))             (member ?A                 (CitizenryFn ?N1))             (not                 (member ?A                     (CitizenryFn ?N2)))             (hasPurpose ?I                 (inhabits ?A ?N2)))))	Mid-level-ontology.kif 18910-18926	例 Process and 移民 agent Process and AutonomousAgent GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and Nation 例 GeopoliticalArea and Nation 起源 Process and GeopoliticalArea 目的地 Process and GeopoliticalArea 等於 GeopoliticalArea and GeopoliticalArea 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 有目的 Process and 棲息 AutonomousAgent and GeopoliticalArea
(=>     (and         (instance ?I Intubation)         (instance ?T Tube)         (objectTransferred ?I ?T)         (experiencer ?I ?H))     (exists (?TH)         (and             (instance ?TH Trachea)             (part ?TH ?H)             (destination ?I ?TH))))	Medicine.kif 4120-4130	例 Transfer and Intubation 例 Object and 管 objectTransferred Transfer and Object 體驗者 Transfer and AutonomousAgent ObjectH 例 ObjectH and Trachea 部分 ObjectH and AutonomousAgent 目的地 Transfer and ObjectH
(=>     (and         (instance ?II IntraosseousInfusion)         (patient ?II ?H))     (exists (?B)         (and             (instance ?B BoneMarrow)             (destination ?II ?B)             (part ?B ?H))))	Medicine.kif 1167-1175	例 Process and IntraosseousInfusion 患者 Process and Object Object 例 Object and BoneMarrow 目的地 Process and Object 部分 Object and Object
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