(=>     (instance ?INVOICE Invoice)     (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?INVOICE)             (buys ?BUYER ?SELLER ?ENT)             (confersRight                 (exists (?SELLING)                     (and                         (before                             (BeginFn                                 (WhenFn ?INVOICE))                             (BeginFn                                 (WhenFn ?SELLING)))                         (instance ?SELLING Selling)                         (instance ?PRODUCT Product)                         (objectTransferred ?SELLING ?PRODUCT)                         (refers ?INVOICE ?PRODUCT)                         (agent ?SELLING ?SELLER)                         (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 29868-29888	如果 实体 是 Invoice 的 instance， 然后 有存在 符号串， 有认知的主事,， ， 施事体,， ， 另一个 实体， and 和 第三 实体 这样 那个 符号串 的唯一识别符号 是 那个 实体 和 那个 有认知的主事 buys 那个 另外 实体 从 那个 施事体 和 那个 施事体 允许 那个 有认知的主事 执行 有存在 第四 实体 这样 那个 实体 出现 的 time 的开始%n在那个 第四 实体 出现 的 time 的开始before发生 和 那个 第四 实体 是 出售 的 instance 和 那个 第三 实体 是 产品 的 instance 和 objectTransferred 那个 第四 实体 and 那个 第三 实体 和 那个 实体 提到 那个 第三 实体 和 那个 施事体 是 那个 第四 实体 的 agent 和 那个 有认知的主事 是 那个 第四 实体 的 patient 的任务
(=>     (instance ?LP Lubricating)     (exists (?L)         (and             (instance ?L Lubricant)             (objectTransferred ?LP ?L))))	Cars.kif 2999-3004	如果 转移 是 Lubricating 的 instance， 然后 有存在 客体 这样 那个 客体 是 Lubricant 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?N Needle)     (hasPurpose ?N         (exists (?H ?TP ?F ?RI)             (and                 (instance ?H Animal)                 (instance ?TP TherapeuticProcss)                 (attribute ?F Fluid)                 (patient ?TP ?H)                 (instrument ?TP ?N)                 (or                     (instance ?RI Removing)                     (instance ?RI Inserting))                 (subProcess ?RI ?TP)                 (objectTransferred ?RI ?F)))))	Medicine.kif 924-938	如果 物理 是 Needle 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 动物 的 instance 和 那个 另外 实体 是 TherapeuticProcss 的 instance 和 流体 是 那个 第三 实体 的 attribute 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 物理 是导致 那个 另外 实体 的 instrument 和 那个 第四 实体 是 移除 的 instance 或 那个 第四 实体 是 插入 的 instance 和 那个 第四 实体%n是那个 另外 实体的subProcess 和 objectTransferred 那个 第四 实体 and 那个 第三 实体
(=>     (instance ?OT OrganTransplant)     (exists (?H ?O ?P)         (and             (instance ?H Animal)             (instance ?O Organ)             (instance ?P Putting)             (subProcess ?P ?OT)             (objectTransferred ?P ?O)             (destination ?P ?H))))	Medicine.kif 4642-4651	如果 过程 是 OrganTransplant 的 instance， 然后 有存在 实体， 客体， and 和 转移 这样 那个 实体 是 动物 的 instance 和 那个 客体 是 器官 的 instance 和 那个 转移 是 放 的 instance 和 那个 转移%n是那个 过程的subProcess 和 objectTransferred 那个 转移 and 那个 客体 和 那个 转移 在 那个 实体 结束
(=>     (instance ?P Pedialyte)     (hasPurpose ?P         (exists (?C ?D ?V ?DR)             (and                 (instance ?C HumanChild)                 (instance ?D Diarrhea)                 (instance ?V Vomiting)                 (or                     (and                         (experiencer ?D ?C)                         (earlier                             (WhenFn ?D)                             (WhenFn ?DR)))                     (and                         (experiencer ?V ?C)                         (earlier                             (WhenFn ?V)                             (WhenFn ?DR))))                 (instance ?DR Drinking)                 (agent ?DR ?C)                 (objectTransferred ?DR ?P)))))	Medicine.kif 4816-4833	如果 物理 是 Pedialyte 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 那个 另外 实体R 这样 那个 实体 是 人类的孩子 的 instance 和 那个 另外 实体 是 腹泻 的 instance 和 那个 第三 实体 是 Vomiting 的 instance 和 那个 实体 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 比那个 另外 实体R 出现 的 time发生的earlier 或 那个 实体 经历了 那个 第三 实体 和 那个 第三 实体 出现 的 time 比那个 另外 实体R 出现 的 time发生的earlier 和 那个 另外 实体R 是 饮 的 instance 和 那个 实体 是 那个 另外 实体R 的 agent 和 objectTransferred 那个 另外 实体R and 那个 物理
(=>     (instance ?P Pill)     (hasPurpose ?P         (exists (?A ?I)             (and                 (instance ?A Animal)                 (instance ?I Ingesting)                 (experiencer ?I ?A)                 (objectTransferred ?I ?P)))))	Mid-level-ontology.kif 9255-9263	如果 物理 是 Pill 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 动物 的 instance 和 那个 另外 实体 是 消化 的 instance 和 那个 实体 经历了 那个 另外 实体 和 objectTransferred 那个 另外 实体 and 那个 物理
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3818-3834	如果 物理 是 PositiveCrankcaseVentilationValve 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体， and 和 第五 实体 这样 那个 实体 是 Crankcase 的 instance 和 那个 另外 实体 是 汽油 的 instance 和 那个 第三 实体 是 CombustionChamber 的 instance 和 那个 第四 实体 是 转移 的 instance 和 那个 第五 实体 是 汽车 的 instance 和 那个 实体 是 那个 第五 实体 的 part 和 那个 第三 实体 是 那个 第五 实体 的 part 和 那个 物理 是 那个 第五 实体 的 part 和 那个 实体 是 那个 第四 实体 的源头 和 那个 第四 实体 在 那个 第三 实体 结束 和 objectTransferred 那个 第四 实体 and 那个 另外 实体 和 那个 物理%n是那个 第四 实体发生的path
(=>     (instance ?PO PurchaseOrder)     (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?PO)             (buys ?BUYER ?SELLER ?PRODUCT)             (confersObligation                 (exists (?BUYING)                     (and                         (before                             (BeginFn                                 (WhenFn ?PO))                             (BeginFn                                 (WhenFn ?BUYING)))                         (instance ?BUYING Buying)                         (instance ?PRODUCT Product)                         (objectTransferred ?BUYING ?PRODUCT)                         (refers ?PO ?PRODUCT)                         (agent ?BUYING ?BUYER)                         (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))	Mid-level-ontology.kif 29895-29915	如果 实体 是 PurchaseOrder 的 instance， 然后 有存在 符号串， 有认知的主事,， ， 另一个 有认知的主事， and 和 另一个 实体 这样 那个 符号串 的唯一识别符号 是 那个 实体 和 那个 有认知的主事 buys 那个 另外 实体 从 那个 另外 有认知的主事 和 那个 有认知的主事 要求 那个 另外 有认知的主事 执行 有存在 第三 实体 这样 那个 实体 出现 的 time 的开始%n在那个 第三 实体 出现 的 time 的开始before发生 和 那个 第三 实体 是 购买 的 instance 和 那个 另外 实体 是 产品 的 instance 和 objectTransferred 那个 第三 实体 and 那个 另外 实体 和 那个 实体 提到 那个 另外 实体 和 那个 有认知的主事 是 那个 第三 实体 的 agent 和 那个 另外 有认知的主事 是 那个 第三 实体 的 patient 的任务
(=>     (instance ?PROC Defecation)     (exists (?FECES)         (and             (instance ?FECES Feces)             (objectTransferred ?PROC ?FECES))))	Mid-level-ontology.kif 2146-2151	如果 转移 是 Defecation 的 instance， 然后 有存在 客体 这样 那个 客体 是 Feces 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?PROC Urination)     (exists (?URINE)         (and             (instance ?URINE Urine)             (objectTransferred ?PROC ?URINE))))	Mid-level-ontology.kif 2134-2139	如果 转移 是 Urination 的 instance， 然后 有存在 客体 这样 那个 客体 是 Urine 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?PROCESS Raining)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 2965-2970	如果 转移 是 下雨 的 instance， 然后 有存在 客体 这样 那个 客体 是 雨水 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?PROCESS Sleeting)     (exists (?STUFF ?R ?S ?MELT)         (and             (instance ?STUFF Collection)             (objectTransferred ?PROCESS ?STUFF)             (instance ?R Raindrop)             (instance ?S Snowflake)             (member ?R ?STUFF)             (member ?S ?STUFF)             (instance ?MELT Melting)             (subProcess ?MELT ?PROCESS)             (patient ?MELT ?S))))	Weather.kif 1158-1170	如果 转移 是 雨雪 的 instance， 然后 有存在 群体， 物理,， ， 另一个 物理， and 和 过程 这样 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 雨点 的 instance 和 那个 另外 物理 是 雪花 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 另外 物理 是 那个 群体 的 member 和 那个 过程 是 溶化 的 instance 和 那个 过程%n是那个 转移的subProcess 和 那个 另外 物理 是 那个 过程 的 patient
(=>     (instance ?PROCESS Snowing)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (objectTransferred ?PROCESS ?SNOW))))	Weather.kif 2997-3002	如果 转移 是 下雪 的 instance， 然后 有存在 客体 这样 那个 客体 是 雪 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?RAIN Raining)     (exists (?CLTN ?R ?CLASS)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (instance ?R ?CLASS                 (member ?R ?CLTN)                 (objectTransferred ?RAIN ?CLTN)                 (defaultMinimumSphereRadius ?CLASS                     (MeasureFn 0.1 Millimeter))                 (defaultMaximumSphereRadius ?CLASS                     (MeasureFn 9.0 Millimeter))))))	Weather.kif 1057-1070	如果 实体 是 下雨 的 instance， 然后 有存在 另一个 实体， 第三 实体， and 和 类 这样 那个 另外 实体 是 群体 的 instance 和 那个 第三 实体 是 水 的 instance 和 那个 第三 实体 是 液体滴 的 instance 和 那个 第三 实体 是 那个 类 的 instance
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 9507-9519	如果 物理 是 植物根 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 转移 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 那个 第三 实体 是 那个 实体 的源头 和 那个 第三 实体 在 那个 物理 的 外 和 objectTransferred 那个 实体 and 那个 另外 实体 和 那个 另外 实体 是 淡水 的 instance 或 那个 另外 实体 是 营养 的 instance
(=>     (instance ?S MilitarySurplus)     (exists (?A ?B)         (and             (instance ?B Buying)             (patient ?B ?A)             (objectTransferred ?B ?S)             (not                 (instance ?A MilitaryOrganization))             (not                 (member ?A MilitaryOrganization)))))	Mid-level-ontology.kif 8406-8416	如果 客体 是 军事盈余 的 instance， 然后 有存在 物理 和 转移 这样 那个 转移 是 购买 的 instance 和 那个 物理 是 那个 转移 的 patient 和 objectTransferred 那个 转移 and 那个 客体 和 那个 物理 不 是 军事组织 的 instance 和 那个 物理 不 是 军事组织 的 member
(=>     (instance ?S Supercharger)     (hasPurpose ?S         (exists (?T ?IV ?A)             (and                 (instance ?T GasMotion)                 (origin ?T ?S)                 (instance ?IV IntakeValve)                 (destination ?T ?IV)                 (instance ?A Air)                 (objectTransferred ?T ?A)                 (holdsDuring                     (WhenFn ?T)                     (attribute ?A Pressurized))))))	Cars.kif 5192-5204	如果 物理 是 Supercharger 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 气体运动 的 instance 和 那个 物理 是 那个 实体 的源头 和 那个 另外 实体 是 IntakeValve 的 instance 和 那个 实体 在 那个 另外 实体 结束 和 那个 第三 实体 是 空气 的 instance 和 objectTransferred 那个 实体 and 那个 第三 实体 和 Pressurized 是 那个 第三 实体 的 attribute 在 那个 实体 出现 的 time holdsDuring
(=>     (instance ?SE ShrapnelExplosion)     (exists (?M ?T)         (and             (instance ?M Metal)             (instance ?T Translocation)             (causes ?SE ?T)             (objectTransferred ?T ?M))))	Medicine.kif 6281-6288	如果 过程 是 ShrapnelExplosion 的 instance， 然后 有存在 客体 和 转移 这样 那个 客体 是 金属 的 instance 和 那个 转移 是 易位 的 instance 和 那个 过程 causes 那个 转移 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?SNOW Snowing)     (exists (?CLTN ?I)         (and             (instance ?CLTN Collection)             (instance ?I Ice)             (attribute ?I MonoCrystalline)             (member ?I ?CLTN)             (objectTransferred ?SNOW ?CLTN))))	Weather.kif 1141-1149	如果 转移 是 下雪 的 instance， 然后 有存在 群体 和 客体 这样 那个 群体 是 群体 的 instance 和 那个 客体 是 冰 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 那个 客体 是 那个 群体 的 member 和 objectTransferred 那个 转移 and 那个 群体
(=>     (instance ?SS SandStorm)     (exists (?SAND)         (and             (instance ?SAND Sand)             (objectTransferred ?SS ?SAND))))	Weather.kif 1303-1308	如果 转移 是 沙暴 的 instance， 然后 有存在 客体 这样 那个 客体 是 砂 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?STEM PlantStem)     (hasPurpose ?STEM         (exists (?TRAN ?ROOT ?SUB)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?STEM)                 (instance ?ROOT PlantRoot)                 (origin ?TRAN ?ROOT)                 (instance ?SUB Substance)                 (attribute ?SUB Fluid)                 (objectTransferred ?TRAN ?SUB)))))	Mid-level-ontology.kif 9546-9557	如果 物理 是 PlantStem 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 转移 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 那个 另外 实体 是 植物根 的 instance 和 那个 另外 实体 是 那个 实体 的源头 和 那个 第三 实体 是 物质 的 instance 和 流体 是 那个 第三 实体 的 attribute 和 objectTransferred 那个 实体 and 那个 第三 实体
(=>     (instance ?STUFF Hailstone)     (exists (?PROCESS ?CLTN)         (and             (instance ?PROCESS Hailing)             (instance ?CLTN Collection)             (objectTransferred ?PROCESS ?CLTN)             (member ?STUFF ?CLTN))))	Weather.kif 3074-3081	如果 物理 是 冰雹 的 instance， 然后 有存在 转移 和 群体 这样 那个 转移 是 下冰雹 的 instance 和 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 那个 群体 的 member
(=>     (instance ?T TearSubstance)     (hasPurpose ?T         (exists (?L ?EYE)             (and                 (instance ?L Lubricating)                 (objectTransferred ?L ?T)                 (instance ?EYE Eye)                 (destination ?L ?EYE)))))	Mid-level-ontology.kif 12375-12383	如果 物理 是 泪液 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 Lubricating 的 instance 和 objectTransferred 那个 实体 and 那个 物理 和 那个 另外 实体 是 眼睛 的 instance 和 那个 实体 在 那个 另外 实体 结束
(=>     (instance ?T Transfusion)     (exists (?B)         (and             (instance ?B Blood)             (objectTransferred ?T ?B))))	Medicine.kif 5990-5995	如果 转移 是 Transfusion 的 instance， 然后 有存在 客体 这样 那个 客体 是 血液 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?TA TopicalApplication)     (exists (?M ?A ?S)         (and             (instance ?M Medicine)             (instance ?A Animal)             (instance ?S Skin)             (part ?S ?A)             (objectTransferred ?TA ?M)             (destination ?M ?S))))	Mid-level-ontology.kif 12448-12457	如果 转移 是 TopicalApplication 的 instance， 然后 有存在 客体， 另一个 客体， and 和 第三 客体 这样 那个 客体 是 医学 的 instance 和 那个 另外 客体 是 动物 的 instance 和 那个 第三 客体 是 皮肤 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 和 objectTransferred 那个 转移 and 那个 客体 和 那个 客体 在 那个 第三 客体 结束
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