(=>     (instance ?TA TranexamicAcid)     (hasPurpose ?TA         (exists (?P)             (and                 (instance ?P Human)                 (decreasesLikelihood                     (exists (?I)                         (and                             (instance ?I Ingesting)                             (objectTransferred ?I ?TA)                             (destination ?I ?P)))                     (exists (?P ?B)                         (and                             (instance ?P Human)                             (instance ?B Bleeding)                             (origin ?B ?P))))))))	Medicine.kif 1050-1066	如果 物理 是 TranexamicAcid 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 人类 的 instance 和 有存在 另一个 实体 这样 那个 另外 实体 是 消化 的 instance 和 objectTransferred 那个 另外 实体 and 那个 物理 和 那个 另外 实体 在 那个 实体 结束 减少 有存在 那个 实体 和 第三 实体 这样 那个 实体 是 人类 的 instance 和 那个 第三 实体 是 流血的 的 instance 和 那个 实体 是 那个 第三 实体 的源头 发生的机率
(=>     (instance ?TC TireChanger)     (hasPurpose ?TC         (exists (?P ?T ?R)             (and                 (instance ?P Putting)                 (instance ?T Tire)                 (instance ?R WheelRim)                 (destination ?P ?R)                 (objectTransferred ?P ?T)                 (instrument ?P ?TC)))))	Cars.kif 4875-4885	如果 物理 是 TireChanger 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 放 的 instance 和 那个 另外 实体 是 Tire 的 instance 和 那个 第三 实体 是 WheelRim 的 instance 和 那个 实体 在 那个 第三 实体 结束 和 objectTransferred 那个 实体 and 那个 另外 实体 和 那个 物理 是导致 那个 实体 的 instrument
(=>     (instance ?TC TireChanger)     (hasPurpose ?TC         (exists (?RE ?T ?R)             (and                 (instance ?RE Removing)                 (instance ?T Tire)                 (instance ?R WheelRim)                 (origin ?RE ?R)                 (objectTransferred ?RE ?T)                 (instrument ?RE ?TC)))))	Cars.kif 4887-4897	如果 物理 是 TireChanger 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 移除 的 instance 和 那个 另外 实体 是 Tire 的 instance 和 那个 第三 实体 是 WheelRim 的 instance 和 那个 第三 实体 是 那个 实体 的源头 和 objectTransferred 那个 实体 and 那个 另外 实体 和 那个 物理 是导致 那个 实体 的 instrument
(=>     (instance ?TF TwoFactorLoggingIn)     (exists (?DE ?DD)         (and             (subProcess ?DE ?TF)             (instance ?DE DataEntry)             (instance ?DD DigitalData)             (objectTransferred ?DE ?DD)             (not                 (instance ?DD ComputerPassword))             (not                 (instance ?DD UserName)))))	ComputingBrands.kif 4299-4310	如果 过程 是 TwoFactorLoggingIn 的 instance， 然后 有存在 转移 和 客体 这样 那个 转移%n是那个 过程的subProcess 和 那个 转移 是 DataEntry 的 instance 和 那个 客体 是 数字数据 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 那个 客体 不 是 电脑密码 的 instance 和 那个 客体 不 是 用户名 的 instance
(=>     (instance ?VM VendingMachine)     (hasPurpose ?VM         (exists (?H ?O ?V)             (and                 (instance ?V Vending)                 (instance ?H Human)                 (instance ?O Object)                 (objectTransferred ?V ?O)                 (instrument ?V ?VM)                 (origin ?V ?VM)                 (not                     (instance ?O Currency))                 (destination ?V ?H)))))	Mid-level-ontology.kif 1959-1972	如果 物理 是 售货机 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 第三 实体 是 Vending 的 instance 和 那个 实体 是 人类 的 instance 和 那个 另外 实体 是 客体 的 instance 和 objectTransferred 那个 第三 实体 and 那个 另外 实体 和 那个 物理 是导致 那个 第三 实体 的 instrument 和 那个 物理 是 那个 第三 实体 的源头 和 那个 另外 实体 不 是 货币 的 instance 和 那个 第三 实体 在 那个 实体 结束
(=>     (instance ?WP WaterPump)     (hasPurpose ?WP         (exists (?T ?W)             (and                 (instance ?T Transfer)                 (instance ?W FreshWater)                 (objectTransferred ?T ?W)                 (instrument ?T ?WP)))))	Cars.kif 2769-2777	如果 物理 是 WaterPump 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 转移 的 instance 和 那个 另外 实体 是 淡水 的 instance 和 objectTransferred 那个 实体 and 那个 另外 实体 和 那个 物理 是导致 那个 实体 的 instrument
(=>     (instance ?X Bidet)     (hasPurpose ?X         (exists (?PROC ?WASH ?PART)             (and                 (or                     (instance ?PROC Defecation)                     (instance ?PROC Urination))                 (instrument ?PROC ?PART)                 (instance ?WASH Washing)                 (objectTransferred ?WASH ?PART)                 (instrument ?WASH ?X)                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn ?WASH)))))))	Mid-level-ontology.kif 2182-2196	如果 物理 是 Bidet 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 Defecation 的 instance 或 那个 实体 是 Urination 的 instance 和 那个 第三 实体 是导致 那个 实体 的 instrument 和 那个 另外 实体 是 洗涤 的 instance 和 objectTransferred 那个 另外 实体 and 那个 第三 实体 和 那个 物理 是导致 那个 另外 实体 的 instrument 和 那个 实体 出现 的 time 的开始%n在那个 另外 实体 出现 的 time 的开始before发生
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN Collection)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 2830-2855	如果 rain 的 rate 在 地理区域 期间 时距 是 函数量 ， 然后 有存在 转移， 群体,， ， 物理,， ， 自身连接物体,， ， 实体,， ， 另一个 自身连接物体， and 和 那个 转移FALL 这样 那个 转移 是 下雨 的 instance 和 那个 转移 是 located 在 那个 地理区域 和 那个 转移 出现 的 time 在 那个 时距 时段内发生 和 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 水 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 自身连接物体 是 容器 的 instance 和 那个 自身连接物体 的 bottom 是 那个 另外 自身连接物体 和 平面 是 那个 另外 自身连接物体 的 attribute 和 那个 自身连接物体 是 located 在 那个 地理区域 和 空容器 是 那个 自身连接物体 的 attribute 在 那个 时距 的开始 holdsDuring 和 那个 群体 是 located 在 那个 自身连接物体 和 那个 实体 是 那个 群体 的 top 和 对于 那个 另外 自身连接物体 从 那个 实体 的 depth 是 那个 转移FALL 和 那个 转移FALL equal 那个 时距 和 那个 函数量 在 那个 时距 的结束 holdsDuring
(=>     (snowfallIntensity ?AREA ?TIME ?RATE)     (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)         (and             (instance ?PROCESS Snowing)             (eventLocated ?PROCESS ?AREA)             (during                 (WhenFn ?PROCESS) ?TIME)             (instance ?STUFF Snow)             (objectTransferred ?PROCESS ?STUFF)             (instance ?BOARD BoardOrBlock)             (bottom ?BOTTOM ?BOARD)             (attribute ?BOTTOM Flat)             (located ?BOARD ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (not                     (exists (?X)                         (and                             (instance ?X Object)                             (located ?X ?BOARD)))))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?STUFF ?BOARD)                     (top ?TOP ?STUFF)                     (depth ?TOP ?BOTTOM ?SNOWFALL)                     (equal ?SNOWFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 3035-3062	如果 snow 的下降 rate 在 地理区域 期间 时距 是 函数量 ， 然后 有存在 转移， 客体,， ， 自身连接物体,， ， 实体,， ， 另一个 自身连接物体， and 和 另一个 实体 这样 那个 转移 是 下雪 的 instance 和 那个 转移 是 located 在 那个 地理区域 和 那个 转移 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 是 雪 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 那个 自身连接物体 是 板或块 的 instance 和 那个 自身连接物体 的 bottom 是 那个 另外 自身连接物体 和 平面 是 那个 另外 自身连接物体 的 attribute 和 那个 自身连接物体 是 located 在 那个 地理区域 和 不存在 第三 实体 这样 那个 第三 实体 是 客体 的 instance 和 那个 第三 实体 是 located 在 那个 自身连接物体 在 那个 时距 的开始 holdsDuring 和 那个 客体 是 located 在 那个 自身连接物体 和 那个 实体 是 那个 客体 的 top 和 对于 那个 另外 自身连接物体 从 那个 实体 的 depth 是 那个 另外 实体 和 那个 另外 实体 equal 那个 时距 和 那个 函数量 在 那个 时距 的结束 holdsDuring
(=>     (voltageRatingPrimary ?O ?Q)     (exists (?P ?EC ?P ?E)         (and             (part ?P ?O)             (instance ?EC ElectricTransmission)             (destination ?EC ?P)             (objectTransferred ?EC ?E)             (instance ?E Electricity)             (measure ?E ?Q))))	Mid-level-ontology.kif 31254-31263	如果 voltageRatingPrimary 变压器 and 函数量， 然后 有存在 客体， 转移,， ， 那个 客体， and 和 另一个 客体 这样 那个 客体 是 那个 变压器 的 part 和 那个 转移 是 ElectricTransmission 的 instance 和 那个 转移 在 那个 客体 结束 和 objectTransferred 那个 转移 and 那个 另外 客体 和 那个 另外 客体 是 电力 的 instance 和 那个 另外 客体 的 measure 是 那个 函数量
(=>     (voltageRatingSecondary ?O ?Q)     (exists (?S ?EC ?E)         (and             (part ?S ?O)             (instance ?EC ElectricTransmission)             (origin ?EC ?S)             (objectTransferred ?EC ?E)             (instance ?E Electricity)             (measure ?E ?Q))))	Mid-level-ontology.kif 31296-31305	如果 voltageRatingSecondary 变压器 and 函数量， 然后 有存在 客体， 转移， and 和 另一个 客体 这样 那个 客体 是 那个 变压器 的 part 和 那个 转移 是 ElectricTransmission 的 instance 和 那个 客体 是 那个 转移 的源头 和 objectTransferred 那个 转移 and 那个 另外 客体 和 那个 另外 客体 是 电力 的 instance 和 那个 另外 客体 的 measure 是 那个 函数量

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