(=>     (instance ?S Strainer)     (hasPurpose ?S         (exists (?MIX ?SUB ?LIQUID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (instance ?LIQUID Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Solid)                 (instance ?REMOVE Removing)                 (part ?LIQUID ?MIX)                 (attribute ?LIQUID Liquid)                 (patient ?REMOVE ?SUB)                 (result ?REMOVE ?LIQUID)                 (instrument ?REMOVE ?S)))))	Mid-level-ontology.kif 4994-5009	如果 物理 是 滤器 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 那个 物理UB,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 混合物 的 instance 和 那个 物理UB 是 物质 的 instance 和 那个 第三 实体 是 物质 的 instance 和 那个 物理UB 是 那个 实体 的 part 和 固体 是 那个 物理UB 的 attribute 和 那个 第四 实体 是 移除 的 instance 和 那个 第三 实体 是 那个 实体 的 part 和 液体 是 那个 第三 实体 的 attribute 和 那个 物理UB 是 那个 第四 实体 的 patient 和 那个 第三 实体 是 那个 第四 实体 的 result 和 那个 物理 是导致 那个 第四 实体 的 instrument
(=>     (instance ?X Feces)     (attribute ?X Solid))	Mid-level-ontology.kif 2544-2546	如果 客体 是 Feces 的 instance， 然后 固体 是 那个 客体 的 attribute

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