No TPTP formula. May not be expressible in strict first order.	Geography.kif 2954-2959	如果 过程 是 土壤盐渍化 的 instance， 然后 有存在 客体 这样 那个 客体 是 泥 的 instance 和 那个 客体 是 那个 过程 的 resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23604-23609	如果 过程 是 汽油发动机 的 operating 的 instance， 然后 有存在 客体 这样 那个 客体 是 汽油 的 instance 和 那个 客体 是 那个 过程 的 resource
No TPTP formula. May not be expressible in strict first order.	Food.kif 3339-3346	如果 实体 是 Rum 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 甘蔗 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3479-3486	如果 实体 是 Sake 的 instance， 然后 有存在 客体 和 过程 这样 那个 过程 是 Fermentation 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 Rice 的 instance 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 3368-3375	如果 实体 是 Schnapps 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 水果 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5391-5400	如果 实体 是 丝 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 昆虫 的 instance 和 幼虫 是 那个 另外 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 588-594	如果 物理 是 WearingFrictionSurface 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 摩擦 的 instance 和 那个 物理 是 那个 实体 的 resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8754-8763	如果 实体 是 盐 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 钠 的 instance 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 氯 的 instance 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16071-16082	如果 过程 是 抽烟 的 instance， 然后 有存在 另一个 过程， 客体,， ， 第三 过程， and 和 实体 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 燃烧 的 instance 和 那个 客体 是 那个 另外 过程 的 resource 和 那个 客体 是 雪茄或香烟 的 instance 和 那个 实体 是 那个 另外 过程 的 result 和 那个 实体 是 那个 第三 过程 的 patient 和 那个 第三 过程 是 呼吸 的 instance 和 那个 第三 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26527-26536	如果 过程 是 Soaking 的 instance， 然后 有存在 客体 和 实体 这样 那个 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 客体 是 淡水 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 在 那个 客体 的 Surrounded 在 那个 过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 88-99	如果 施事体 是 Steakhouse 的 instance， 然后 有存在 过程， 实体,， ， 客体， and 和 另一个 过程 这样 那个 另外 过程 是 烹饪 的 instance 和 那个 客体 是 牛肉 的 instance 和 那个 客体 是 那个 另外 过程 的 resource 和 那个 实体 是 那个 另外 过程 的 result 和 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 3495-3502	如果 实体 是 Tequila 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 BlueAgave 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 3595-3602	如果 实体 是 Vodka 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 谷物 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3112-3119	如果 实体 是 水彩图片 的 instance， 然后 有存在 那个 实体P 和 过程 这样 那个 实体P 是 水彩颜料 的 instance 和 那个 过程 是 绘画 的 instance 和 那个 实体P 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 3608-3615	如果 实体 是 威士忌酒 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 蒸馏 的 instance 和 那个 客体 是 谷物 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5405-5414	如果 实体 是 羊毛 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 那个 另外 客体 的 part 和 那个 客体 是 头发 的 instance 和 那个 另外 客体 是 羊 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8782-8791	如果 实体 是 水 的 instance， 然后 有存在 过程， 客体， and 和 另一个 客体 这样 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 客体 是 氢 的 instance 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 氧 的 instance 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	如果 实体 是 有点 水果或蔬菜 的 juice 的 instance， 然后 有存在 客体 和 过程 这样 那个 客体 是 有点 水果或蔬菜 的 instance 和 那个 过程 是 运动 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1655-1668	如果 物理 是 BusinessCenter 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 商务人士 是 那个 实体 的 attribute 和 那个 另外 实体 是 工作的 的 instance 和 那个 第三 实体 是 客体 的 instance 和 那个 第三 实体 是 located 在 那个 物理 和 那个 实体 是 那个 另外 实体 的 agent 和 那个 第三 实体 是导致 那个 另外 实体 的 instrument 或 那个 第三 实体 是 那个 另外 实体 的 resource 或 那个 第三 实体 是 那个 另外 实体 的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 862-869	如果 客体 是 FrenchPressingCoffee 的 instance， 然后 有存在 过程 这样 那个 过程 是 饮用水 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 过程 的 measure 是 90 摄氏度
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	如果 实体 是 纸 的 instance， 然后 有存在 过程， 客体， and 和 另一个 过程 这样 那个 过程 是 制作 的 instance 和 那个 客体 是 纤维素 的 instance 和 那个 另外 过程 是 Compressing 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result 和 那个 过程%n是那个 另外 过程的subProcess 和 那个 客体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9652-9665	如果 medicine 有点 医学 and 疾病或综合症， 然后 有存在 那个 疾病或综合症OC 这样 那个 疾病或综合症OC 是 医生 的 instance 和 那个 疾病或综合症OC believes 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 第三 实体 是 有点 医学 的 instance 和 那个 实体 是 治疗过程 的 instance 和 那个 另外 实体 是 人类 的 instance 和 那个 疾病或综合症OC 是 那个 另外 实体 的 patient 医疗 和 那个 第三 实体 是 那个 实体 的 resource 和 那个 另外 实体 是 那个 实体 的 受益者
No TPTP formula. May not be expressible in strict first order.	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