(=>     (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	如果 金融交易 是 存款 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融交易 在 那个 金融账户 的 currency 结束 和 实数 测量单位 是 那个 金融交易 的 transaction 总额 和 那个 金融账户 对于 %3 的 current 帐户存款 和 另一个 实数 equal (第三 实数 和 那个 实数)， 然后 那个 金融账户 对于 %3 的 current 帐户存款
(=>     (and         (instance ?E Entombing)         (destination ?E ?T))     (instance ?T Tomb))	Mid-level-ontology.kif 18048-18052	如果 过程 是 埋葬 的 instance 和 那个 过程 在 实体 结束， 然后 那个 实体 是 墓 的 instance
(=>     (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 1723-1739	如果 躯体性物体 是 Exhaust 的 instance 和 汽油 是 那个 躯体性物体 的材料 和 转移 是 转移 的 instance 和 那个 躯体性物体NG 是 发动机 的 instance 和 那个 躯体性物体NG 是 那个 转移 的源头 和 物理 是 CatalyticConverter 的 instance 和 那个 转移 在 那个 物理 结束 和 objectTransferred 那个 转移 and 那个 躯体性物体， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 燃烧 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 那个 躯体性物体 是 那个 实体 的 patient 和 那个 实体 是 located 在 那个 物理
(=>     (and         (instance ?E RadioEmission)         (destination ?E ?D))     (instance ?D ReceiverDevice))	Mid-level-ontology.kif 1807-1811	如果 过程 是 无线电发射 的 instance 和 那个 过程 在 实体 结束， 然后 那个 实体 是 接收器设备 的 instance
(=>     (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 2501-2511	如果 过程 是 疏散 的 instance 和 客体 是 那个 过程 的源头 和 那个 过程 在 实体 结束， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 易位 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 在 那个 实体 结束 和 那个 客体 是 那个 另外 过程 的源头
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (destination ?EXPORT ?AREA))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2447-2454	如果 过程 是 出口 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 地缘政治区域 的 instance 和 那个 过程 在 那个 另外 实体 结束， 然后 那个 实体 是 located 在 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (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 2468-2476	如果 过程 是 出口 的 instance 和 实体 是 那个 过程 的 patient 和 客体 是 地缘政治区域 的 instance 和 那个 客体 是 那个 过程 的源头 和 另一个 实体 是 地缘政治区域 的 instance 和 那个 过程 在 那个 另外 实体 结束， 然后 那个 客体 不 equal 那个 另外 实体
(=>     (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 2478-2486	如果 过程 是 出口 的 instance 和 实体 是 那个 过程 的 patient 和 客体 是 地缘政治区域 的 instance 和 那个 客体 是 那个 过程 的源头 和 物理 是 地缘政治区域 的 instance 和 那个 过程 在 那个 物理 结束， 然后 那个 物理 不 是 located 在 那个 客体
(=>     (and         (instance ?F Feeding)         (destination ?F ?A))     (instance ?A Animal))	Mid-level-ontology.kif 11581-11585	如果 过程 是 馈送 的 instance 和 那个 过程 在 实体 结束， 然后 那个 实体 是 动物 的 instance
(=>     (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 7230-7239	如果 过程 是 奖学金 的 instance 和 那个 过程 在 实体 结束， 然后 那个 过程 的 目的 是 有存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 教育计划 的 instance 和 那个 第三 实体 表示 那个 另外 实体 的内容 和 那个 实体 经历了 那个 第三 实体
(=>     (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 5561-5570	如果 水域 是 瀑布 的 instance 和 水运动 是 水运动 的 instance 和 那个 水域 是 那个 水运动 的 flow 流量 和 客体 是 那个 水运动 的源头 和 那个 水运动 在 另一个 客体 结束 和 那个 客体 是 水域 的 instance 和 那个 另外 客体 是 水域 的 instance， 然后 那个 客体 在 那个 另外 客体 的 以上
(=>     (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	如果 客体 是 FuelPump 的 instance 和 另一个 客体 是 汽车 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 运动 是 运输 的 instance 和 过程 是 汽油 的 instance 和 那个 过程 是 那个 运动 的 patient 和 那个 客体 是导致 那个 过程 的 instrument 和 第三 客体 是 GasTank 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 和 第四 客体 是 EngineCylinder 的 instance 和 那个 第四 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 是 那个 运动 的源头 和 那个 运动 在 那个 第四 客体 结束 和 第五 客体%n是那个 运动发生的path， 然后 那个 运动 的 目的 是 有存在 那个 过程F 这样 那个 过程F 是 FuelFilter 的 instance 和 那个 第三 客体 對於 那个 第四 客体 between 在路徑 那个 过程F
(=>     (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	如果 过程 是 给予 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 另一个 施事体 结束 和 那个 另外 施事体 是 施事体 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 获得 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 施事体 是 那个 另外 过程 的源头 和 那个 实体 是 那个 另外 过程 的 patient
(=>     (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	如果 转移 是 消化 的 instance 和 objectTransferred 那个 转移 and 客体 和 那个 客体 是 迷幻剂 的 instance 和 那个 转移 在 实体 结束， 然后 有存在 那个 客体AL 这样 那个 客体AL 是 Hallucination 的 instance 和 那个 实体 经历了 那个 客体AL 的声明 has 容易 的语气
(=>     (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 3628-3644	如果 转移 是 注射 的 instance 和 客体 是 Adalimumab 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 那个 转移 是 located 在 另一个 客体 和 那个 另外 客体 是 身体部位 的 instance 和 那个 转移 在 实体 结束， 然后 有存在 另一个 实体 这样 PainFn 那个 另外 客体 是 那个 实体 的 attribute 在 那个 另外 实体 holdsDuring 和 那个 另外 实体 在 那个 转移 出现 的 time 之后 时段内发生 的声明 has 容易 的语气
(=>     (and         (instance ?I SoftwareInstallation)         (dataProcessed ?I ?P)         (instance ?P ComputerProgram)         (destination ?I ?C))     (hasPurpose ?I         (exists (?PROC)             (computerRunning ?PROC ?C))))	ComputingBrands.kif 3593-3601	如果 电脑程序 是 安装 的 instance 和 数字数据 是由 那个 电脑程序 processed 和 那个 数字数据 是 电脑程序 的 instance 和 那个 电脑程序 在 实体 结束， 然后 那个 电脑程序 的 目的 是 有存在 那个 数字数据ROC 这样 那个 数字数据ROC 是 running 在 那个 实体
(=>     (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 11446-11453	如果 过程 是 插入 的 instance 和 实体 是 那个 过程 的 patient 和 那个 过程 在 另一个 实体 结束， 然后 那个 另外 实体 doesn't contains 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 contains 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (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 1332-1355	如果 客体 是 Lever 的 instance 和 过程 是 Pushing 的 instance 和 物理 是 运动 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 那个 过程 在 另一个 客体 结束 和 physicalEnd 那个 另外 客体 and 那个 客体 和 physicalEnd 第三 客体 and 那个 客体 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 located 在 那个 过程1 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 另外 客体 是 located 在 那个 过程2 在 紧接 那个 物理 出现 的 time after holdsDuring 和 那个 第三 客体 是 located 在 那个 过程3 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 第三 客体 是 located 在 那个 过程4 在 紧接 那个 物理 出现 的 time after holdsDuring 和 那个 过程1 和 那个 过程2 的 distance 是 实数 那个 测量单位 和 那个 过程3 和 那个 过程4 的 distance 是 另一个 实数 那个 测量单位， 然后 那个 另外 实数 是 greaterThan 那个 实数
(=>     (and         (instance ?L LoadingWeapon)         (destination ?L ?W))     (instance ?W ProjectileLauncher))	Mid-level-ontology.kif 1378-1382	如果 过程 是 装载武器 的 instance 和 那个 过程 在 实体 结束， 然后 那个 实体 是 抛射物发射器 的 instance
(=>     (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 11766-11777	如果 过程 是 借出 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 另一个 施事体 结束 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 借入 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 施事体 是 那个 另外 过程 的源头 和 那个 实体 是 那个 另外 过程 的 patient
(=>     (and         (instance ?MOTION Motion)         (moves ?MOTION ?OBJ)         (destination ?MOTION ?PLACE))     (holdsDuring         (EndFn             (WhenFn ?MOTION))         (located ?OBJ ?PLACE)))	Merge.kif 11074-11079	如果 运动 是 运动 的 instance 和 移动 那个 运动 and 客体 和 那个 运动 在 实体 结束， 然后 那个 客体 是 located 在 那个 实体 在 那个 运动 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?MTP MovingAwayFromPeople)         (origin ?MTP ?O)         (destination ?MTP ?D))     (not         (equal ?O ?D)))	emotion.kif 1385-1391	如果 过程 是 MovingAwayFromPeople 的 instance 和 客体 是 那个 过程 的源头 和 那个 过程 在 实体 结束， 然后 那个 客体 不 equal 那个 实体
(=>     (and         (instance ?MTP MovingTowardsPeople)         (origin ?MTP ?O)         (destination ?MTP ?D))     (not         (equal ?O ?D)))	emotion.kif 1419-1425	如果 过程 是 MovingTowardsPeople 的 instance 和 客体 是 那个 过程 的源头 和 那个 过程 在 实体 结束， 然后 那个 客体 不 equal 那个 实体
(=>     (and         (instance ?P BankCardPayment)         (destination ?P ?AGENT))     (capability BankCardPayment destination ?AGENT))	Dining.kif 437-441	如果 过程 是 BankCardPayment 的 instance 和 那个 过程 在 客体 结束， 然后 那个 客体 能够担当 终点 的角色做 BankCardPayment
(=>     (and         (instance ?P FoodPickup)         (agent ?P ?AGENT)         (destination ?P ?CUST)         (patient ?P ?FOOD))     (and         (instance ?FOOD             (FoodForFn Human))         (exists (?LOC ?T ?G)             (and                 (located ?AGENT ?LOC)                 (instance ?T Translocation)                 (agent ?T ?CUST)                 (destination ?T ?LOC)                 (instance ?G Getting)                 (origin ?G ?AGENT)                 (destination ?G ?CUST)                 (patient ?G ?FOOD)))))	Dining.kif 610-627	如果 过程 是 FoodPickup 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 另一个 施事体 结束 和 实体 是 那个 过程 的 patient， 然后 那个 实体 是 food for 人类 的 instance 和 有存在 客体， 另一个 过程， and 和 第三 过程 这样 那个 施事体 是 located 在 那个 客体 和 那个 另外 过程 是 易位 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 客体 结束 和 那个 第三 过程 是 获得 的 instance 和 那个 施事体 是 那个 第三 过程 的源头 和 那个 第三 过程 在 那个 另外 施事体 结束 和 那个 实体 是 那个 第三 过程 的 patient
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