(=>     (instance ?GUN ArtilleryGun)     (not         (exists (?A ?C)             (and                 (instance ?A Human)                 (instance ?C Carrying)                 (instrument ?C ?A)                 (objectTransferred ?C ?GUN)))))	Mid-level-ontology.kif 1820-1828	如果 客体 是 火炮枪 的 instance， 然后 不存在 另一个 客体 和 转移 这样 那个 另外 客体 是 人类 的 instance 和 那个 转移 是 携带 的 instance 和 那个 另外 客体 是导致 那个 转移 的 instrument 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?GUN Firearm)     (hasPurpose ?GUN         (exists (?A ?CARRY ?C)             (and                 (instance ?A Human)                 (subclass ?CARRY Carrying)                 (instance ?C ?CARRY)                 (objectTransferred ?C ?GUN)                 (capability ?CARRY instrument ?A)                 (not                     (exists (?A2)                         (and                             (instance ?A2 Human)                             (not                                 (equal ?A ?A2))                             (instrument ?C ?A2))))))))	Mid-level-ontology.kif 1855-1871	如果 物理 是 火器 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 人类 的 instance 和 那个 另外 实体 是 携带 的 subclass 和 那个 第三 实体 是 那个 另外 实体 的 instance 和 objectTransferred 那个 第三 实体 and 那个 物理 和 那个 实体 能够担当 工具 的角色做 那个 另外 实体 和 不存在 那个 实体2 这样 那个 实体2 是 人类 的 instance 和 那个 实体 不 equal 那个 实体2 和 那个 实体2 是导致 那个 第三 实体 的 instrument
(=>     (instance ?GUN Firearm)     (hasPurpose ?GUN         (exists (?A ?SHOOT ?S)             (and                 (instance ?A Human)                 (subclass ?SHOOT Shooting)                 (instance ?S ?SHOOT)                 (objectTransferred ?S ?GUN)                 (capability ?SHOOT agent ?A)                 (not                     (exists (?A2)                         (and                             (instance ?A2 Human)                             (not                                 (equal ?A ?A2))                             (agent ?S ?A2))))))))	Mid-level-ontology.kif 1873-1889	如果 物理 是 火器 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 人类 的 instance 和 那个 另外 实体 是 射击 的 subclass 和 那个 第三 实体 是 那个 另外 实体 的 instance 和 objectTransferred 那个 第三 实体 and 那个 物理 和 那个 实体 能够担当 主事 的角色做 那个 另外 实体 和 不存在 那个 实体2 这样 那个 实体2 是 人类 的 instance 和 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 那个 第三 实体 的 agent
(=>     (instance ?HT HandTool)     (capability Carrying objectTransferred ?HT))	Cars.kif 4537-4539	如果 客体 是 HandTool 的 instance， 然后 那个 客体 能够担当 objectTransferred 的角色做 携带
(=>     (instance ?I ITunes)     (hasPurpose ?I         (exists (?M ?D)             (and                 (instance ?M MultimediaFile)                 (instance ?D DownloadingOverNetwork)                 (objectTransferred ?D ?M)                 (instrument ?D ?I)))))	ComputingBrands.kif 3405-3413	如果 物理 是 ITunes 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 MultimediaFile 的 instance 和 那个 另外 实体 是 下載 的 instance 和 objectTransferred 那个 另外 实体 and 那个 实体 和 那个 物理 是导致 那个 另外 实体 的 instrument
(=>     (instance ?I Inflammation)     (exists (?T ?W)         (and             (instance ?T Translocation)             (instance ?W WhiteBloodCell)             (objectTransferred ?T ?W)             (destination ?T                 (WhereFn ?I                     (WhenFn ?I))))))	Mid-level-ontology.kif 13728-13737	如果 物理 是 Inflammation 的 instance， 然后 有存在 转移 和 客体 这样 那个 转移 是 易位 的 instance 和 那个 客体 是 白细胞 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 那个 转移 在 那个 物理 在 那个 物理 出现 的 time 时所处的地区 结束
(=>     (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 31762-31782	如果 实体 是 Invoice 的 instance， 然后 有存在 符号串， 有认知的主事,， ， 施事体,， ， 另一个 实体， and 和 第三 实体 这样 那个 符号串 的唯一识别符号 是 那个 实体 和 那个 有认知的主事 buys 那个 另外 实体 从 那个 施事体 和 那个 施事体 允许 那个 有认知的主事 执行 有存在 第四 实体 这样 那个 实体 出现 的 time 的开始在那个 第四 实体 出现 的 time 的开始before发生 和 那个 第四 实体 是 出售 的 instance 和 那个 第三 实体 是 产品 的 instance 和 objectTransferred 那个 第四 实体 and 那个 第三 实体 和 那个 实体 提到 那个 第三 实体 和 那个 施事体 是 那个 第四 实体 的 agent 和 那个 有认知的主事 是 那个 第四 实体 的 patient 的任务
(=>     (instance ?LP Lubricating)     (exists (?L)         (and             (instance ?L Lubricant)             (objectTransferred ?LP ?L))))	Cars.kif 3058-3063	如果 转移 是 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 915-929	如果 物理 是 Needle 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 动物 的 instance 和 那个 另外 实体 是 TherapeuticProcss 的 instance 和 流体 是 那个 第三 实体 的 attribute 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 物理 是导致 那个 另外 实体 的 instrument 和 那个 第四 实体 是 移除 的 instance 或 那个 第四 实体 是 插入 的 instance 和 那个 第四 实体是那个 另外 实体的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 4649-4658	如果 过程 是 OrganTransplant 的 instance， 然后 有存在 实体， 客体， and 和 转移 这样 那个 实体 是 动物 的 instance 和 那个 客体 是 器官 的 instance 和 那个 转移 是 放 的 instance 和 那个 转移是那个 过程的subProcess 和 objectTransferred 那个 转移 and 那个 客体 和 那个 转移 在 那个 实体 结束
(=>     (instance ?P MilitaryPlatform)     (hasPurpose ?P         (exists (?C ?W)             (and                 (instance ?C Carrying)                 (instrument ?C ?P)                 (objectTransferred ?S ?W)                 (instance ?W Weapon)))))	Military.kif 130-138	如果 物理 是 军事平台 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 携带 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 objectTransferred 第三 实体 and 那个 另外 实体 和 那个 另外 实体 是 武器 的 instance
(=>     (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 4823-4840	如果 物理 是 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 10584-10592	如果 物理 是 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 3879-3895	如果 物理 是 PositiveCrankcaseVentilationValve 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体， and 和 第五 实体 这样 那个 实体 是 Crankcase 的 instance 和 那个 另外 实体 是 汽油 的 instance 和 那个 第三 实体 是 CombustionChamber 的 instance 和 那个 第四 实体 是 转移 的 instance 和 那个 第五 实体 是 汽车 的 instance 和 那个 实体 是 那个 第五 实体 的 part 和 那个 第三 实体 是 那个 第五 实体 的 part 和 那个 物理 是 那个 第五 实体 的 part 和 那个 实体 是 那个 第四 实体 的源头 和 那个 第四 实体 在 那个 第三 实体 结束 和 objectTransferred 那个 第四 实体 and 那个 另外 实体 和 那个 物理是那个 第四 实体发生的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 31789-31809	如果 实体 是 PurchaseOrder 的 instance， 然后 有存在 符号串， 有认知的主事,， ， 另一个 有认知的主事， and 和 另一个 实体 这样 那个 符号串 的唯一识别符号 是 那个 实体 和 那个 有认知的主事 buys 那个 另外 实体 从 那个 另外 有认知的主事 和 那个 有认知的主事 要求 那个 另外 有认知的主事 执行 有存在 第三 实体 这样 那个 实体 出现 的 time 的开始在那个 第三 实体 出现 的 time 的开始before发生 和 那个 第三 实体 是 购买 的 instance 和 那个 另外 实体 是 产品 的 instance 和 objectTransferred 那个 第三 实体 and 那个 另外 实体 和 那个 实体 提到 那个 另外 实体 和 那个 有认知的主事 是 那个 第三 实体 的 agent 和 那个 另外 有认知的主事 是 那个 第三 实体 的 patient 的任务
(=>     (instance ?PROC Defecation)     (exists (?FECES)         (and             (instance ?FECES Feces)             (objectTransferred ?PROC ?FECES))))	Mid-level-ontology.kif 2609-2614	如果 转移 是 Defecation 的 instance， 然后 有存在 客体 这样 那个 客体 是 Feces 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?PROC Urination)     (exists (?URINE)         (and             (instance ?URINE Urine)             (objectTransferred ?PROC ?URINE))))	Mid-level-ontology.kif 2597-2602	如果 转移 是 Urination 的 instance， 然后 有存在 客体 这样 那个 客体 是 Urine 的 instance 和 objectTransferred 那个 转移 and 那个 客体
(=>     (instance ?PROCESS Raining)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 3482-3487	如果 转移 是 下雨 的 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 1393-1405	如果 转移 是 雨雪 的 instance， 然后 有存在 群体， 物理,， ， 另一个 物理， and 和 过程 这样 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 雨点 的 instance 和 那个 另外 物理 是 雪花 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 另外 物理 是 那个 群体 的 member 和 那个 过程 是 溶化 的 instance 和 那个 过程是那个 转移的subProcess 和 那个 另外 物理 是 那个 过程 的 patient
(=>     (instance ?PROCESS Snowing)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (objectTransferred ?PROCESS ?SNOW))))	Weather.kif 3514-3519	如果 转移 是 下雪 的 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 1292-1305	如果 实体 是 下雨 的 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 10836-10848	如果 物理 是 植物根 的 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 9612-9622	如果 客体 是 军事盈余 的 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 5253-5265	如果 物理 是 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 6298-6305	如果 过程 是 ShrapnelExplosion 的 instance， 然后 有存在 客体 和 转移 这样 那个 客体 是 金属 的 instance 和 那个 转移 是 易位 的 instance 和 那个 过程 causes 那个 转移 和 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