(=>     (and         (instance ?Deposit Deposit)         (instance ?Account FinancialAccount)         (destination ?Deposit             (CurrencyFn ?Account))         (transactionAmount ?Deposit             (MeasureFn ?Amount ?CUNIT))         (currentAccountBalance ?Account             (ImmediatePastFn                 (WhenFn ?Deposit))             (MeasureFn ?Balance1 ?CUNIT))         (equal ?Balance2             (AdditionFn ?Balance1 ?Amount)))     (currentAccountBalance ?Account         (ImmediateFutureFn             (FutureFn ?Deposit))         (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 436-453	例 FinancialTransaction and 存款 例 金融賬戶 and 金融賬戶 目的地 FinancialTransaction and 金融賬戶 的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額 金融賬戶 對於 %3 的 current 帳戶存款 等於 RealNumber and 加成 RealNumber and RealNumber 金融賬戶 對於 %3 的 current 帳戶存款
(=>     (and         (instance ?E Entering)         (destination ?E ?F)         (attribute ?F PhysicallyRestrictedRegion)         (not             (entrance ?R ?F)))     (modalAttribute         (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7887-7895	例 Process and Entering 目的地 Process and Region attribute Region and PhysicallyRestrictedRegion entrance Region and Region 模態屬性 路徑 Process and Region and 禁令
(=>     (and         (instance ?E Entering)         (destination ?E ?F)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?R)             (and                 (entrance ?R ?F)                 (path ?E ?R))) Obligation))	Mid-level-ontology.kif 7876-7885	例 Process and Entering 目的地 Process and Object attribute Object and PhysicallyRestrictedRegion 模態屬性 entity entrance entity and Object 路徑 Process and entity and 義務
(=>     (and         (instance ?E Entombing)         (destination ?E ?T))     (instance ?T Tomb))	Mid-level-ontology.kif 19627-19631	例 Process and 埋葬 目的地 Process and Entity 例 Entity and 墓
(=>     (and         (instance ?E Exhaust)         (material Fuel ?E)         (instance ?T Transfer)         (instance ?ENG Engine)         (origin ?T ?ENG)         (instance ?CC CatalyticConverter)         (destination ?T ?CC)         (objectTransferred ?T ?E))     (hasPurpose ?CC         (exists (?C)             (and                 (instance ?C Combustion)                 (instrument ?C ?CC)                 (patient ?C ?E)                 (eventLocated ?C ?CC)))))	Cars.kif 1724-1740	例 CorpuscularObject and Exhaust 材料 汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機 起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
(=>     (and         (instance ?E RadioEmission)         (destination ?E ?D))     (instance ?D ReceiverDevice))	Mid-level-ontology.kif 2276-2280	例 Process and 無線電發射 目的地 Process and Entity 例 Entity and 接收器設備
(=>     (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 ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (destination ?EXPORT ?AREA))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2687-2694	例 Process and 出口 患者 Process and Entity 例 Entity and GeopoliticalArea 目的地 Process and Entity 持有期間 結束 何時 Process and 位於 Entity and Entity
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (origin ?EXPORT ?AREA1)         (instance ?AREA2 GeopoliticalArea)         (destination ?EXPORT ?AREA2))     (not         (equal ?AREA1 ?AREA2)))	Economy.kif 2708-2716	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 起源 Process and Object 例 Entity and GeopoliticalArea 目的地 Process and Entity 等於 Object and Entity
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (origin ?EXPORT ?AREA1)         (instance ?AREA2 GeopoliticalArea)         (destination ?EXPORT ?AREA2))     (not         (located ?AREA2 ?AREA1)))	Economy.kif 2718-2726	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 起源 Process and Object 例 Physical and GeopoliticalArea 目的地 Process and Physical 位於 Physical and Object
(=>     (and         (instance ?F Feeding)         (destination ?F ?A))     (instance ?A Animal))	Mid-level-ontology.kif 12931-12935	例 Process and 饋送 目的地 Process and Entity 例 Entity and Animal
(=>     (and         (instance ?F Scholarship)         (destination ?F ?H))     (hasPurpose ?F         (exists (?EP ?P)             (and                 (instance ?EP EducationalProgram)                 (realization ?P ?EP)                 (experiencer ?P ?H)))))	Mid-level-ontology.kif 8418-8427	例 Process and 獎學金 目的地 Process and Entity 有目的 Process and entity entity 例 entity and 教育計劃 實現 entity and entity 體驗者 entity and Entity
(=>     (and         (instance ?FALL Waterfall)         (instance ?CURRENT WaterMotion)         (flowCurrent ?CURRENT ?FALL)         (origin ?CURRENT ?TOP)         (destination ?CURRENT ?BOTTOM)         (instance ?TOP WaterArea)         (instance ?BOTTOM WaterArea))     (orientation ?TOP ?BOTTOM Above))	Geography.kif 5630-5639	例 WaterArea and 瀑布 例 水運動 and 水運動 WaterArea 是 水運動 的 flow 流量 起源 水運動 and Object 目的地 水運動 and Object 例 Object and WaterArea 例 Object and WaterArea 方位 Object, Object and 以上
(=>     (and         (instance ?FP FuelPump)         (instance ?A Automobile)         (part ?FP ?A)         (instance ?T Transportation)         (instance ?F Fuel)         (patient ?T ?F)         (instrument ?F ?FP)         (instance ?GT GasTank)         (part ?GT ?A)         (instance ?EC EngineCylinder)         (part ?EC ?A)         (origin ?T ?GT)         (destination ?T ?EC)         (path ?T ?P))     (hasPurpose ?T         (exists (?FF)             (and                 (instance ?FF FuelFilter)                 (betweenOnPath ?GT ?FF ?EC ?P)))))	Cars.kif 1070-1090	例 Object and FuelPump 例 Object and 汽車 部分 Object and Object 例 Motion and Transportation 例 Process and 汽油 患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object 有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF
(=>     (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 11778-11790	例 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 ?I Ingesting)         (objectTransferred ?I ?H)         (instance ?H Hallucinogen)         (destination ?I ?P))     (modalAttribute         (exists (?HAL)             (and                 (instance ?HAL Hallucination)                 (experiencer ?HAL ?P))) Likely))	TransnationalIssues.kif 88-99	例 Transfer and Ingesting objectTransferred Transfer and Object 例 Object and 迷幻劑 目的地 Transfer and Entity 模態屬性 ObjectAL 例 ObjectAL and Hallucination 體驗者 ObjectAL and Entity and 容易
(=>     (and         (instance ?I Injecting)         (instance ?A Adalimumab)         (objectTransferred ?I ?A)         (located ?I ?BP)         (instance ?BP BodyPart)         (destination ?I ?H))     (modalAttribute         (exists (?T)             (and                 (holdsDuring ?T                     (attribute ?H                         (PainFn ?BP)))                 (during ?T                     (FutureFn                         (WhenFn ?I))))) Likely))	Medicine.kif 3613-3629	例 Transfer and 注射 例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來 何時 Transfer and 容易
(=>     (and         (instance ?I SoftwareInstallation)         (dataProcessed ?I ?P)         (instance ?P ComputerProgram)         (destination ?I ?C))     (hasPurpose ?I         (exists (?PROC)             (computerRunning ?PROC ?C))))	ComputingBrands.kif 3593-3601	例 電腦程序 and 安裝 數字數據 是由 電腦程序 processed 例 數字數據 and ComputerProgram 目的地 電腦程序 and Entity 有目的 電腦程序 and 數字數據ROC 數字數據ROC 是 running 在 Entity
(=>     (and         (instance ?IMPORT Importing)         (instance ?AREA1 GeopoliticalArea)         (origin ?IMPORT ?AREA1)         (instance ?AREA2 GeopoliticalArea)         (destination ?IMPORT ?AREA2))     (not         (equal ?AREA1 ?AREA2)))	Economy.kif 2876-2884	例 Process and Importing 例 Object and GeopoliticalArea 起源 Process and Object 例 Entity and GeopoliticalArea 目的地 Process and Entity 等於 Object and Entity
(=>     (and         (instance ?IMPORT Importing)         (instance ?AREA1 GeopoliticalArea)         (origin ?IMPORT ?AREA1)         (instance ?AREA2 GeopoliticalArea)         (destination ?IMPORT ?AREA2))     (not         (located ?AREA2 ?AREA1)))	Economy.kif 2885-2893	例 Process and Importing 例 Object and GeopoliticalArea 起源 Process and Object 例 Physical and GeopoliticalArea 目的地 Process and Physical 位於 Physical and Object
(=>     (and         (instance ?IMPORT Importing)         (patient ?IMPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (destination ?IMPORT ?AREA))     (holdsDuring         (EndFn             (WhenFn ?IMPORT))         (located ?ITEM ?AREA)))	Economy.kif 2850-2859	例 Process and Importing 患者 Process and Entity 例 Entity and GeopoliticalArea 目的地 Process and Entity 持有期間 結束 何時 Process and 位於 Entity and Entity
(=>     (and         (instance ?INSERT Inserting)         (patient ?INSERT ?OBJ1)         (destination ?INSERT ?OBJ2))     (and         (holdsDuring             (BeginFn                 (WhenFn ?INSERT))             (not                 (contains ?OBJ2 ?OBJ1)))         (holdsDuring             (EndFn                 (WhenFn ?INSERT))             (contains ?OBJ2 ?OBJ1))))	Merge.kif 11529-11536	例 Process and 插入 患者 Process and Entity 目的地 Process and Entity 持有期間 開始 何時 Process and 包含 Entity and Entity 持有期間 結束 何時 Process and 包含 Entity and Entity
(=>     (and         (instance ?L Lever)         (instance ?P Pushing)         (instance ?M1 Motion)         (instance ?U UnitOfLength)         (destination ?P ?E1)         (physicalEnd ?E1 ?L)         (physicalEnd ?E2 ?L)         (not             (equal ?E1 ?E2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E1 ?P1))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E1 ?P2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E2 ?P3))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E2 ?P4))         (distance ?P1 ?P2             (MeasureFn ?D1 ?U))         (distance ?P3 ?P4             (MeasureFn ?D2 ?U)))     (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1555-1578	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間 不久的過去 何時 Physical and 位於 Object and Process 持有期間 眼前的未來 何時 Physical and 位於 Object and Process 持有期間 不久的過去 何時 Physical and 位於 Object and Process 持有期間 眼前的未來 何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=>     (and         (instance ?L LoadingWeapon)         (destination ?L ?W))     (instance ?W ProjectileLauncher))	Mid-level-ontology.kif 1601-1605	例 Process and 裝載武器 目的地 Process and Entity 例 Entity and 拋射物發射器
(=>     (and         (instance ?LEND Lending)         (agent ?LEND ?AGENT2)         (destination ?LEND ?AGENT1)         (patient ?LEND ?OBJECT))     (exists (?BORROW)         (and             (instance ?BORROW Borrowing)             (agent ?BORROW ?AGENT1)             (origin ?BORROW ?AGENT2)             (patient ?BORROW ?OBJECT))))	Merge.kif 11849-11860	例 Process and Lending agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Borrowing agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process 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