No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2366-2368	如果 客体 是 舷梯 的 instance， 然后 那个 客体 能够担当 路径 的角色做 向上运动
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15653-15659	如果 物理 是 人行道 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 步行 的 instance 和 那个 物理%n是那个 实体发生的path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11591-11600	如果 运动 是 易位 的 instance， 然后 有存在 客体， 实体， and 和 另一个 客体 这样 那个 客体 是 客体 的 instance 和 那个 实体 是 客体 的 instance 和 那个 另外 客体 是 客体 的 instance 和 那个 另外 客体%n是那个 运动发生的path 和 那个 客体 是 那个 运动 的源头 和 那个 运动 在 那个 实体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	如果 物理 是 管 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 转移 的 instance 和 那个 物理%n是那个 实体发生的path 和 那个 另外 实体 是 那个 实体 的 patient 和 流体 是 那个 另外 实体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Communications.kif 185-200	如果 物理 是 Telex 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 那个 物理2， and 和 第三 实体 这样 那个 实体 是 电话系统 的 instance 和 那个 物理2 是 Telex 的 instance 和 那个 第三 实体 是 讯息 的 instance 和 那个 物理 是 那个 第三 实体 的源头 和 那个 第三 实体 在 那个 物理2 结束 或 那个 物理2 是 那个 第三 实体 的源头 和 那个 第三 实体 在 那个 物理 结束 和 那个 实体%n是那个 第三 实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25794-25802	如果 物理 是 RunningTrack 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 实体 是 赛跑 的 instance 和 那个 另外 实体 是 那个 实体 的 agent 和 那个 物理%n是那个 实体发生的path
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	如果 物理 是 阀 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 第三 实体 是 转移 的 instance 和 那个 物理%n是那个 第三 实体发生的path 和 那个 实体 是 那个 第三 实体 的 patient 和 流体 是 那个 实体 的 attribute 和 那个 另外 实体 是 过程 的 instance 和 那个 物理 是导致 那个 另外 实体 的 instrument 和 那个 第三 实体 是 那个 另外 实体 的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1250-1257	如果 物理 是 空中运输通道 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 运输 的 instance 和 那个 物理%n是那个 实体发生的path 和 那个 物理 是 partlyLocated 在 地球的大气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14311-14319	如果 物理 是 陆地过境通道 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 易位 的 instance 和 那个 物理%n是那个 实体发生的path 和 那个 实体 是 located 在 那个 另外 实体 和 那个 另外 实体 是 土地面积 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14298-14304	如果 物理 是 公交专用道 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 易位 的 instance 和 那个 物理%n是那个 实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3625-3631	如果 物理 是 电线 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 辐射 的 instance 和 那个 物理%n是那个 实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	如果 客体 在 另一个 客体 的 下游， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 另外 客体 是 那个 转移 的源头 和 beforeOnPath 那个 另外 客体, 那个 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	如果 客体 在 另一个 客体 的 顺风， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 另外 客体 是 那个 转移 的源头 和 beforeOnPath 那个 另外 客体, 那个 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	如果 客体 在 另一个 客体 的 上游， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 客体 是 那个 转移 的源头 和 beforeOnPath 那个 客体, 那个 另外 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 另外 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29800-29809	如果 客体 在 另一个 客体 的 上风， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 客体 是 那个 转移 的源头 和 beforeOnPath 那个 客体, 那个 另外 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 另外 客体 结束

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