No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	如果 过程 是 娱乐或锻炼 的 instance 和 那个 过程M 是导致 那个 过程 的 instrument 和 那个 过程M 是 RowingMachine 的 instance 和 施事体 经历了 那个 过程 和 那个 过程OW 是 划船 的 instance 和 那个 过程MOT%n是那个 过程的subProcess 和 类 是 身体运动 的 subclass 和 那个 过程MOT 是 那个 类 的 instance， 然后 有存在 那个 过程OWMOT 这样 那个 过程OWMOT 是 那个 类 的 instance 和 那个 过程OWMOT%n是那个 过程的subProcess 和 那个 施事体 是 那个 过程OWMOT 的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5568-5572	如果 过程 是 扫 的 instance 和 客体 是导致 那个 过程 的 instrument， 然后 那个 客体 是 扫帚 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	如果 客体 是 锯 的 instance 和 过程 是 切开 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 另一个 客体 是 客体 的 instance 和 那个 另外 客体 是 那个 过程 的 patient， 然后 有存在 另一个 过程， 实体,， ， 另一个 实体,， ， 时距,， ， 时间位置,， ， 另一个 时间位置， and 和 第三 客体 这样 那个 另外 过程 是 运动 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 客体 是 切割装置 的 instance 和 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 接上 那个 另外 客体 和 那个 第三 客体 是 那个 另外 过程 的 patient 和 那个 另外 时间位置 是 时距 的 instance 和 那个 另外 时间位置 是 时距 的 instance 和 那个 另外 过程 出现 的 time equal 那个 时距 和 那个 时距 时段 是 那个 时间位置 时段 的一 part 和 那个 时距 时段 是 那个 另外 时间位置 时段 的一 part 和 那个 实体 是 方向属性 的 instance 和 那个 另外 实体 是 方向属性 的 instance 和 如果 那个 另外 过程 过程的实体 向 那个 实体 在 那个 时间位置 holdsDuring， 然后 那个 另外 过程 过程的实体 向 那个 另外 实体 和 那个 实体 equal 那个 另外 实体 或 那个 另外 实体 是 那个 实体 的 opposite 方向 和 ~{ 那个 实体 equal 那个 另外 实体 } 或 ~{ 那个 另外 实体 是 那个 实体 的 opposite 方向 } 在 那个 另外 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 179-188	如果 过程 是 射击 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 火炮 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体 是 结合 导弹 和 手榴弹 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 597-605	如果 过程 是 射击 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 榴弹发射器 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体 是 手榴弹 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 198-206	如果 过程 是 射击 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 迫击炮 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体 是 手榴弹 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	如果 过程 是 射击 的 instance 和 客体 是导致 那个 过程 的 instrument 和 物理 是 那个 过程 的 patient 和 那个 物理 的 width 是 长度测量 和 那个 客体 是 那个 客体CLASS 的 instance 和 那个 物理 是 抛射物 的 instance 和 另一个 长度测量 是 那个 客体CLASS 的 caliber ， 然后 那个 另外 长度测量 equal 那个 长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13474-13484	如果 过程 是 ImpairmentFn 另一个 有点 过程 的 instance 和 客体 是导致 那个 过程 的 instrument， 然后 有存在 那个 客体2 这样 那个 客体2 不 equal 那个 客体 和 那个 客体2 能够担当 工具 的角色做 另一个 有点 过程 和 那个 客体 不 能够担当 工具 的角色做 那个 另外 有点 过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	如果 过程 是 运输 的 instance 和 客体 是 轮 的 instance 和 另一个 客体 是 汽车 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体B 是 AntilockBrake 的 instance 和 另一个 过程 是 减速 的 instance 和 那个 另外 客体B 是导致 那个 另外 过程 的 instrument 和 那个 另外 客体B 是 那个 客体 的 part， 然后 那个 另外 客体B 的 目的 是 有存在 实体 这样 那个 实体 是 旋转 的 instance 和 那个 实体 在 那个 另外 过程 时段内发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15451-15459	如果 过程 是 运输 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 泵 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是导致 那个 过程 的 instrument 和 流体 是 那个 另外 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	如果 过程 是 运输 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体S 是导致 那个 过程 的 instrument 和 那个 实体S 是 排污系统 的 instance， 然后 那个 实体 是 污水 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23536-23541	如果 过程 是 运输 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 公路车辆 的 instance， 然后 那个 过程 是 通过公路车辆运输 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	如果 过程 是 运输 的 instance 和 那个 过程%n是 实体subProcess 和 另一个 过程 是 驾驶 的 instance 和 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 运输设备 的 instance， 然后 那个 客体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15992-15998	如果 客体 是 车辆 的 instance 和 过程 是 易位 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 过程 在 实体 结束， 然后 那个 客体 是 located 在 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15984-15990	如果 客体 是 车辆 的 instance 和 过程 是 易位 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 另一个 客体 是 那个 过程 的源头， 然后 那个 客体 是 located 在 那个 另外 客体 在 那个 过程 出现 的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11172	如果 客体 是 肺静脉 的 instance 和 过程 是 转移 的 instance 和 实体 是 那个 过程 的 patient 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 血液 的 instance， 然后 有存在 另一个 客体， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 肺 的 instance 和 那个 另外 客体 是 那个 过程 的源头 和 那个 客体 是 那个 第四 客体 的 part 和 那个 另外 客体 是 那个 第四 客体 的 part 和 那个 第三 客体 是 那个 第四 客体 的 part 和 那个 第三 客体 是 心 的 instance 和 那个 过程 在 那个 第三 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11125-11135	如果 客体 是 静脉 的 instance 和 过程 是 转移 的 instance 和 实体 是 那个 过程 的 patient 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 血液 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 心 的 instance 和 那个 过程 在 那个 另外 实体 结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果 群体 是 群体 的 instance 和 另一个 群体 是 群体 的 instance 和 那个 另外 群体 是 那个 群体 的 真正的子集 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 AccessingWebPage 的 instance 和 对所有 过程， 施事体,， ， 另一个 过程,， ， 那个 过程， and 和 客体 如果 那个 施事体 是 人类 的 instance 和 那个 过程 是 购买 的 instance 和 那个 另外 过程 是 AccessingWebPage 的 instance 和 那个 客体 是 WebPage 的 instance 和 那个 另外 过程 是 那个 群体 的 member 和 那个 另外 过程 在 那个 客体 结束 和 那个 施事体 是 那个 过程 的 agent 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 过程 出现 的 time 在 那个 另外 过程 出现 的 time 时段内发生 和 那个 客体 是导致 那个 过程 的 instrument， 然后 那个 过程 是 那个 另外 群体 的 member ， 然后 有存在 时距， 实体_IN_INTERVAL， and 和 另一个 实体_IN_INTERVAL 这样 purchases 花在 那个 群体 期间 那个 时距 equal 那个 实体_IN_INTERVAL 所描述的类别 instance 的数量 和 那个 另外 实体_IN_INTERVAL 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	如果 客体 是 车皮 的 instance 和 过程 是 运输 的 instance 和 那个 客体 是导致 那个 过程 的 instrument， 然后 有存在 施事体 这样 那个 过程 是 拉 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 是 家畜 的 instance 或 那个 施事体 是 车辆 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	如果 客体 是 高精度武器 的 instance 和 那个 客体 是导致 过程 的 instrument 和 实体 是 那个 过程 的 patient， 然后 那个 客体 的 目的 是 不存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 损坏 的 instance 和 那个 另外 实体%n是那个 过程的subProcess 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	WMD.kif 44-49	如果 客体 是 大规模杀伤性武器 的 instance 和 那个 客体 是导致 过程 的 instrument 和 那个 过程 是 生化攻击 的 instance， 然后 那个 客体 是 生化武器 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1203-1213	如果 客体 是 管乐器 的 instance 和 过程 是 器乐 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 客体 是导致 那个 过程 的 instrument， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 呼气 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	如果 客体 是 Photocopier 的 instance 和 那个 客体 是导致 过程 的 instrument 和 那个 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 二维物体 的 instance 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料， 然后 有存在 另一个 内容承载物理 和 另一个 客体 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 二维物体 的 instance 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 命题 的资料 和 那个 另外 内容承载物理 是 located 在 那个 另外 客体 和 那个 另外 客体 是 PrintedSheet 的 instance
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	如果 muscleInsertion 有点 肌肉 and 有点 身体部位 和 客体 是 人类 的 instance 和 StandardAnatomicalPosition 是 那个 客体 的 attribute 在 时距 holdsDuring 和 Healthy 是 那个 客体 的 attribute 和 另一个 时距 是 MuscularContraction 的 instance 和 那个 另外 时距 出现 的 time 在 那个 时距 时段内发生 和 另一个 客体 是 有点 肌肉 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 是导致 那个 另外 时距 的 instrument 和 physicalEnd 第三 客体 and 那个 另外 客体 和 那个 第三 客体 接上 第四 客体 和 那个 第三 客体 是 located 在 实体 在 那个 另外 时距 的开始 holdsDuring， 然后 那个 第三 客体 不 是 located 在 那个 实体 在 那个 另外 时距 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	如果 muscleOrigin 有点 肌肉 and 有点 身体部位 和 客体 是 人类 的 instance 和 StandardAnatomicalPosition 是 那个 客体 的 attribute 在 时距 holdsDuring 和 Healthy 是 那个 客体 的 attribute 和 另一个 时距 是 MuscularContraction 的 instance 和 那个 另外 时距 出现 的 time 在 那个 时距 时段内发生 和 另一个 客体 是 有点 肌肉 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 是导致 那个 另外 时距 的 instrument 和 physicalEnd 第三 客体 and 那个 另外 客体 和 那个 第三 客体 接上 第四 客体 和 那个 第三 客体 是 located 在 实体 在 那个 另外 时距 的开始 holdsDuring， 然后 那个 第三 客体 是 located 在 那个 实体 在 那个 另外 时距 的结束 holdsDuring
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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