No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	如果 过程 是 Sneezing 的 instance 和 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体， 另一个 实体,， ， 那个 另外 实体OSE， and 和 第四 实体 这样 那个 另外 实体 是 NasalCavity 的 instance 和 那个 另外 实体OSE 是 鼻子 的 instance 和 那个 另外 实体OSE equal 洞 那个 另外 实体 的主体 和 那个 第四 实体 是 客体 的 instance 和 那个 实体 是 移除 的 instance 和 那个 另外 实体OSE 是 那个 施事体 的 part 和 objectTransferred 那个 实体 and 那个 第四 实体 和 那个 第四 实体 是 located 在 那个 另外 实体 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	如果 客体 是 CarbonDioxide 的 instance 和 那个 客体 是 分子 的 instance， 然后 有存在 另一个 客体， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 碳 的 instance 和 那个 第三 客体 是 氧 的 instance 和 那个 第四 客体 是 氧 的 instance 和 那个 另外 客体 是 原子 的 instance 和 那个 第三 客体 是 原子 的 instance 和 那个 第四 客体 是 原子 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part 和 那个 第四 客体 是 那个 客体 的 part 和 那个 第三 客体 不 equal 那个 第四 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12929-12940	如果 客体 是 下巴 的 instance 和 另一个 客体 是 面对 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 对所有 第三 客体 如果 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 那个 客体 的 part， 然后 那个 第三 客体 在 那个 客体 的 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	如果 过程 是 染色 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 实体 和 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实体 是 颜色属性 的 instance 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8562-8569	如果 客体 是 有机化合物 的 instance 和 那个 客体 是 分子 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 碳 的 instance 和 那个 另外 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	如果 过程 是 凝结 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	如果 客体 是 WirelessNetwork 的 instance 和 运动 是 NetworkCommunication 的 instance 和 那个 客体 是导致 那个 运动 的 instrument 和 另一个 客体%n是那个 运动发生的path， 然后 有存在 第三 客体 这样 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 Cable 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	如果 过程 是 死亡 的 instance 和 施事体 是 生物 的 instance 和 那个 施事体 经历了 那个 过程， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 那个 过程 的 result 和 那个 实体 是 有机物体 的 instance 和 死 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 之后 holdsDuring 和 如果 那个 另外 实体 是 那个 实体 的 part 在 紧接 那个 过程 出现 的 time after holdsDuring， 然后 那个 另外 实体 是 那个 施事体 的 part 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	如果 过程 是 凝华 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 和 液体 是 那个 另外 客体 的 attribute doesn't 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9985-9993	如果 过程 是 EdemaFn 有点 身体部位 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 有点 身体部位I 这样 那个 有点 身体部位I 是 身体部位 的 instance 和 那个 有点 身体部位I 是 那个 施事体 的 part 和 那个 过程 是 located 在 那个 有点 身体部位I
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	如果 过程 是 Edema 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 运动， 客体， and 和 另一个 客体 这样 那个 运动 是 转移 的 instance 和 那个 另外 客体 是 液体 的 instance 和 那个 客体 是 身体部位 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 运动 在 那个 客体 结束 和 移动 那个 运动 and 那个 另外 客体 和 那个 运动%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	如果 群体 是 Eyebrow 的 instance 和 Healthy 是 客体 的 attribute 和 那个 群体 是 那个 客体 的 part 和 物理 是 那个 群体 的 member， 然后 有存在 那个 客体AIR 这样 那个 客体AIR 是 头发 的 instance 和 那个 客体AIR 是 那个 群体 的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体YE 在 那个 客体 的 近
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 客体YE 的 以上
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	如果 工程组件 是 EngineGovernor 的 instance 和 另一个 工程组件 是 发动机 的 instance 和 那个 工程组件 是 和 那个 另外 工程组件 connected 和 governorSpeed 那个 另外 工程组件 and 实数 英里每小時， 然后 那个 工程组件 的 目的 是 不存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 另外 实体 是 设备 的 instance 和 那个 另外 实体 是 那个 另外 工程组件 的 part 和 那个 实体 是 旋转 的 instance 和 那个 另外 实体 的 measure 是 那个 第三 实体 英里每小時 和 那个 第三 实体 是 greaterThan 那个 实数 在 那个 实体 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	如果 过程 是 ExperiencingALumpInTheThroat 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 喉 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	如果 过程 是 ExperiencingDiscomfortInTheStomach 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程， 那个 另外 过程AIN， and 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程 出现 的 time 在 那个 另外 过程AIN 出现 的 time 时段内发生 和 那个 另外 过程AIN 是 痛 的 instance 和 那个 施事体 经历了 那个 另外 过程AIN 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 胃 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	如果 过程 是 ExperiencingHeatInCheeksOrChest 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 躯干 的 instance 或 那个 客体 是 面对 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19942-19950	如果 过程 是 眼球运动 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 眼皮 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	如果 过程 是 蒸发 的 instance 和 实数 测量单位 是 有点 純物质 的 boiling 点 和 客体 是 有点 純物质 的 instance 和 那个 客体 的 measure 是 另一个 实数 那个 测量单位 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实数 是 greaterThan 那个 另外 实数 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13007-13015	如果 过程 是 表情 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 那个 施事体 的 part 和 那个 客体 是 面对 的 instance 和 那个 客体 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12900-12907	如果 客体 是 面对 的 instance 和 那个 客体 是 自身连接物体 的 part 和 另一个 自身连接物体 equal 那个 自身连接物体 的后面， 然后 那个 客体 不 是 那个 另外 自身连接物体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12909-12915	如果 客体 是 面对 的 instance 和 那个 客体 是 自身连接物体 的 part 和 另一个 自身连接物体 equal 那个 自身连接物体 的前面， 然后 那个 客体 是 那个 另外 自身连接物体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3169-3180	如果 过程 是 折页 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 过程， 另一个 客体， and 和 第三 客体 这样 那个 另外 过程 是 遮盖 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 是导致 那个 另外 过程 的 instrument 和 那个 第三 客体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	如果 客体 是 Forehead 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 第三 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 第三 客体YE 这样 那个 第三 客体YE 是 眼睛 的 instance 和 那个 第三 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 第三 客体YE 的 以上
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