(=>     (instance ?PROCESS SoilSalination)     (exists (?SOIL)         (and             (instance ?SOIL Soil)             (resource ?PROCESS ?SOIL))))	Geography.kif 2954-2959	如果 过程 是 土壤盐渍化 的 instance， 然后 有存在 客体 这样 那个 客体 是 泥 的 instance 和 那个 客体 是 那个 过程 的 resource
(=>     (instance ?R         (OperatingFn GasolineEngine))     (exists (?F)         (and             (instance ?F Gasoline)             (resource ?R ?F))))	Mid-level-ontology.kif 23604-23609	如果 过程 是 汽油发动机 的 operating 的 instance， 然后 有存在 客体 这样 那个 客体 是 汽油 的 instance 和 那个 客体 是 那个 过程 的 resource
(=>     (instance ?R Rum)     (exists (?D ?S)         (and             (instance ?D Distilling)             (instance ?S SugarCane)             (resource ?D ?S)             (result ?D ?R))))	Food.kif 3339-3346	如果 实体 是 Rum 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 甘蔗 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?S Sake)     (exists (?R ?F)         (and             (instance ?F Fermentation)             (resource ?F ?R)             (instance ?R Rice)             (result ?F ?S))))	Medicine.kif 3479-3486	如果 实体 是 Sake 的 instance， 然后 有存在 客体 和 过程 这样 那个 过程 是 Fermentation 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 Rice 的 instance 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?S Schnapps)     (exists (?D ?F)         (and             (instance ?D Distilling)             (instance ?F Fruit)             (resource ?D ?F)             (result ?D ?S))))	Food.kif 3368-3375	如果 实体 是 Schnapps 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 水果 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?S Silk)     (exists (?M ?T ?I)         (and             (instance ?M Making)             (result ?M ?S)             (resource ?M ?T)             (part ?T ?I)             (instance ?I Insect)             (attribute ?I Larval))))	Mid-level-ontology.kif 5391-5400	如果 实体 是 丝 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 昆虫 的 instance 和 幼虫 是 那个 另外 客体 的 attribute
(=>     (instance ?S WearingFrictionSurface)     (hasPurpose ?S         (exists (?F)             (and                 (instance ?F Friction)                 (resource ?F ?S)))))	Cars.kif 588-594	如果 物理 是 WearingFrictionSurface 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 摩擦 的 instance 和 那个 物理 是 那个 实体 的 resource
(=>     (instance ?SALT SodiumChloride)     (exists (?SYNTHESIS ?SODIUM ?CHLORINE)         (and             (instance ?SYNTHESIS ChemicalSynthesis)             (resource ?SYNTHESIS ?SODIUM)             (instance ?SODIUM Sodium)             (resource ?SYNTHESIS ?CHLORINE)             (instance ?CHLORINE Chlorine)             (result ?SYNTHESIS ?SALT))))	Mid-level-ontology.kif 8754-8763	如果 实体 是 盐 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 钠 的 instance 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 氯 的 instance 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?SMOKING Smoking)     (exists (?BURN ?CIGAR ?BREATHE ?SMOKE)         (and             (subProcess ?BURN ?SMOKING)             (instance ?BURN Combustion)             (resource ?BURN ?CIGAR)             (instance ?CIGAR CigarOrCigarette)             (result ?BURN ?SMOKE)             (patient ?BREATHE ?SMOKE)             (instance ?BREATHE Breathing)             (subProcess ?BREATHE ?SMOKING))))	Mid-level-ontology.kif 16071-16082	如果 过程 是 抽烟 的 instance， 然后 有存在 另一个 过程， 客体,， ， 第三 过程， and 和 实体 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 燃烧 的 instance 和 那个 客体 是 那个 另外 过程 的 resource 和 那个 客体 是 雪茄或香烟 的 instance 和 那个 实体 是 那个 另外 过程 的 result 和 那个 实体 是 那个 第三 过程 的 patient 和 那个 第三 过程 是 呼吸 的 instance 和 那个 第三 过程%n是那个 过程的subProcess
(=>     (instance ?SOAK Soaking)     (exists (?WATER ?OBJ)         (and             (instance ?OBJ Object)             (patient ?SOAK ?OBJ)             (instance ?WATER FreshWater)             (resource ?SOAK ?WATER)             (holdsDuring ?SOAK                 (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 26527-26536	如果 过程 是 Soaking 的 instance， 然后 有存在 客体 和 实体 这样 那个 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 客体 是 淡水 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 在 那个 客体 的 Surrounded 在 那个 过程 holdsDuring
(=>     (instance ?STEAKHOUSE Steakhouse)     (exists (?SERVICE ?STEAK ?BEEF ?COOK)         (and             (instance ?COOK Cooking)             (instance ?BEEF Beef)             (resource ?COOK ?BEEF)             (result ?COOK ?STEAK)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?STEAKHOUSE)             (instance ?SERVICE Selling)             (patient ?SERVICE ?STEAK))))	Dining.kif 88-99	如果 施事体 是 Steakhouse 的 instance， 然后 有存在 过程， 实体,， ， 客体， and 和 另一个 过程 这样 那个 另外 过程 是 烹饪 的 instance 和 那个 客体 是 牛肉 的 instance 和 那个 客体 是 那个 另外 过程 的 resource 和 那个 实体 是 那个 另外 过程 的 result 和 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient
(=>     (instance ?T Tequila)     (exists (?D ?B)         (and             (instance ?D Distilling)             (instance ?B BlueAgave)             (resource ?D ?B)             (result ?D ?T))))	Food.kif 3495-3502	如果 实体 是 Tequila 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 BlueAgave 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?V Vodka)     (exists (?D ?CG)         (and             (instance ?D Distilling)             (instance ?CG CerealGrain)             (resource ?D ?CG)             (result ?D ?V))))	Food.kif 3595-3602	如果 实体 是 Vodka 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 谷物 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?W WatercolorPicture)     (exists (?WP ?P)         (and             (instance ?WP WatercolorPaint)             (instance ?P Painting)             (resource ?P ?WP)             (result ?P ?W))))	Mid-level-ontology.kif 3112-3119	如果 实体 是 水彩图片 的 instance， 然后 有存在 那个 实体P 和 过程 这样 那个 实体P 是 水彩颜料 的 instance 和 那个 过程 是 绘画 的 instance 和 那个 实体P 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?W Whiskey)     (exists (?D ?CG)         (and             (instance ?D Distilling)             (instance ?CG CerealGrain)             (resource ?D ?CG)             (result ?D ?W))))	Food.kif 3608-3615	如果 实体 是 威士忌酒 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 谷物 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?W Wool)     (exists (?M ?H ?S)         (and             (instance ?M Making)             (result ?M ?W)             (resource ?M ?H)             (part ?H ?S)             (instance ?H Hair)             (instance ?S Sheep))))	Mid-level-ontology.kif 5405-5414	如果 实体 是 羊毛 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 那个 另外 客体 的 part 和 那个 客体 是 头发 的 instance 和 那个 另外 客体 是 羊 的 instance
(=>     (instance ?WATER Water)     (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN)         (and             (instance ?SYNTHESIS ChemicalSynthesis)             (resource ?SYNTHESIS ?HYDROGEN)             (instance ?HYDROGEN Hydrogen)             (resource ?SYNTHESIS ?OXYGEN)             (instance ?OXYGEN Oxygen)             (result ?SYNTHESIS ?WATER))))	Mid-level-ontology.kif 8782-8791	如果 实体 是 水 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 氢 的 instance 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 氧 的 instance 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?X         (JuiceOfFn ?Y))     (exists (?Z ?P)         (and             (instance ?Z ?Y)             (instance ?P Motion)             (resource ?P ?Z)             (result ?P ?X))))	Food.kif 2603-2610	如果 实体 是 有点 水果或蔬菜 的 juice 的 instance， 然后 有存在 客体 和 过程 这样 那个 客体 是 有点 水果或蔬菜 的 instance 和 那个 过程 是 运动 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?X BusinessCenter)     (hasPurpose ?X         (exists (?PERSON ?WORK ?OBJ)             (and                 (attribute ?PERSON BusinessPerson)                 (instance ?WORK Working)                 (instance ?OBJ Object)                 (located ?OBJ ?X)                 (agent ?WORK ?PERSON)                 (or                     (instrument ?WORK ?OBJ)                     (resource ?WORK ?OBJ)                     (patient ?WORK ?OBJ))))))	Hotel.kif 1655-1668	如果 物理 是 BusinessCenter 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 商务人士 是 那个 实体 的 attribute 和 那个 另外 实体 是 工作的 的 instance 和 那个 第三 实体 是 客体 的 instance 和 那个 第三 实体 是 located 在 那个 物理 和 那个 实体 是 那个 另外 实体 的 agent 和 那个 第三 实体 是导致 那个 另外 实体 的 instrument 或 那个 第三 实体 是 那个 另外 实体 的 resource 或 那个 第三 实体 是 那个 另外 实体 的 patient
(=>     (instance ?X FrenchPressingCoffee)     (exists (?W)         (and             (instance ?W DrinkingWater)             (resource ?W ?X)             (measure ?W                 (MeasureFn 90 CelsiusDegree)))))	Food.kif 862-869	如果 客体 是 FrenchPressingCoffee 的 instance， 然后 有存在 过程 这样 那个 过程 是 饮用水 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 过程 的 measure 是 90 摄氏度
(=>     (instance ?X Paper)     (exists (?MAKE ?CELL ?PRESS)         (and             (instance ?MAKE Making)             (instance ?CELL Cellulose)             (instance ?PRESS Compressing)             (resource ?MAKE ?CELL)             (result ?MAKE ?X)             (subProcess ?MAKE ?PRESS)             (patient ?PRESS ?CELL))))	Mid-level-ontology.kif 3562-3572	如果 实体 是 纸 的 instance， 然后 有存在 过程， 客体， and 和 另一个 过程 这样 那个 过程 是 制作 的 instance 和 那个 客体 是 纤维素 的 instance 和 那个 另外 过程 是 Compressing 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result 和 那个 过程%n是那个 另外 过程的subProcess 和 那个 客体 是 那个 另外 过程 的 patient
(=>     (medicine ?MC ?D)     (exists (?DOC)         (and             (instance ?DOC MedicalDoctor)             (believes ?DOC                 (exists (?T ?H ?M)                     (and                         (instance ?M ?MC)                         (instance ?T TherapeuticProcess)                         (instance ?H Human)                         (patientMedical ?H ?DOC)                         (resource ?T ?M)                         (benefits ?T ?H)))))))	Mid-level-ontology.kif 9652-9665	如果 medicine 有点 医学 and 疾病或综合症， 然后 有存在 那个 疾病或综合症OC 这样 那个 疾病或综合症OC 是 医生 的 instance 和 那个 疾病或综合症OC believes 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 第三 实体 是 有点 医学 的 instance 和 那个 实体 是 治疗过程 的 instance 和 那个 另外 实体 是 人类 的 instance 和 那个 疾病或综合症OC 是 那个 另外 实体 的 patient 医疗 和 那个 第三 实体 是 那个 实体 的 resource 和 那个 另外 实体 是 那个 实体 的 受益者
(=>     (property ?PROCESS ChemicalEquilibrium)     (exists (?RATIO ?TIME ?RESOURCE ?RESULT)         (=>             (and                 (holdsDuring ?TIME                     (resource ?PROCESS ?RESOURCE))                 (holdsDuring ?TIME                     (result ?PROCESS ?RESULT)))             (equal ?RATIO                 (DivisionFn ?RESOURCE ?RESULT)))))	Mid-level-ontology.kif 19635-19642	如果 实体 有 化学平衡 的 attribute， 然后 有存在 实数， 时间位置,， ， 另一个 实数， and 和 第三 实数 这样 如果 那个 另外 实数 是 那个 实体 的 resource 在 那个 时间位置 holdsDuring 和 那个 第三 实数 是 那个 实体 的 result 在 那个 时间位置 holdsDuring， 然后 那个 实数 equal 那个 另外 实数 和 那个 第三 实数

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