No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	如果 物理 是 筲箕 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 那个 物理UB,， ， 第四 实体， and 和 第五 实体 这样 那个 实体 是 移除 的 instance 和 那个 另外 实体 是 混合物 的 instance 和 那个 物理UB 是 物质 的 instance 和 那个 物理UB 是 那个 另外 实体 的 part 和 那个 物理UB 是 那个 实体 的 patient 和 那个 第四 实体 是 那个 物理 的 part 和 那个 第四 实体 是导致 那个 实体 的 instrument 和 那个 第五 实体 是 人类 的 instance 和 那个 第五 实体 是 那个 实体 的 agent 和 那个 第五 实体 doesn't desires 那个 物理UB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	如果 物理 是 滤器 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 那个 物理UB,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 混合物 的 instance 和 那个 物理UB 是 物质 的 instance 和 那个 第三 实体 是 物质 的 instance 和 那个 物理UB 是 那个 实体 的 part 和 固体 是 那个 物理UB 的 attribute 和 那个 第四 实体 是 移除 的 instance 和 那个 第三 实体 是 那个 实体 的 part 和 液体 是 那个 第三 实体 的 attribute 和 那个 物理UB 是 那个 第四 实体 的 patient 和 那个 第三 实体 是 那个 第四 实体 的 result 和 那个 物理 是导致 那个 第四 实体 的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11454-11466	如果 过程 是 代替 的 instance， 然后 有存在 另一个 过程， 第三 过程,， ， 实体,， ， 另一个 实体， and 和 客体 这样 那个 另外 过程 是 放 的 instance 和 那个 第三 过程 是 移除 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 实体 是 那个 第三 过程 的 patient 和 那个 客体 是 那个 第三 过程 的源头 和 那个 另外 实体 是 那个 另外 过程 的 patient 和 那个 另外 过程 在 那个 客体 结束 和 那个 实体 不 equal 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4887-4897	如果 物理 是 TireChanger 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 移除 的 instance 和 那个 另外 实体 是 Tire 的 instance 和 那个 第三 实体 是 WheelRim 的 instance 和 那个 第三 实体 是 那个 实体 的源头 和 objectTransferred 那个 实体 and 那个 另外 实体 和 那个 物理 是导致 那个 实体 的 instrument

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