No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18248-18254	如果 过程 是 可怕的 的 instance 和 施事体 经历了 那个 过程， 然后 焦虑 不 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 焦虑 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16464-16476	如果 过程 是 获得意识 的 instance 和 施事体 经历了 那个 过程， 然后 无意识 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 觉醒 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11531-11538	如果 过程 是 抓 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 doesn't grasps 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 grasps 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	如果 TelecomNumber 是 Hotline 的 instance 和 那个 TelecomNumber 是 施事体 的 telephone number 和 那个 施事体 是 机构 的 instance， 然后 那个 TelecomNumber 的 目的 是 有存在 实体 这样 那个 实体 是 致电 的 instance 和 那个 实体 在 那个 施事体 结束 和 有存在 另一个 实体 这样 那个 另外 实体 是 沟通 的 instance 和 那个 TelecomNumber 是导致 那个 另外 实体 的 instrument 和 那个 另外 实体 出现 的 time 的开始 equal 紧接 那个 实体 出现 的 time after 的开始 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10942-10955	如果 过程 是 加热 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体， 实数， and 和 另一个 实数 这样 那个 另外 实体 是 温度测量 的 instance 和 那个 实体 那个 另外 实体 equal 那个 实数 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 那个 另外 实体 equal 那个 另外 实数 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10746-10754	如果 过程 是 雇佣 的 instance 和 施事体 是 机构 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 doesn't employs 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 employs 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11446-11453	如果 过程 是 插入 的 instance 和 实体 是 那个 过程 的 patient 和 那个 过程 在 另一个 实体 结束， 然后 那个 另外 实体 doesn't contains 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 contains 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10632-10640	如果 过程 是 雇佣 的 instance 和 施事体 是 机构 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 实体 不 是 那个 施事体 的 member 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 那个 施事体 的 member 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10600-10608	如果 过程 是 加入一个机构 的 instance 和 实体 是 机构 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient， 然后 那个 施事体 不 是 那个 实体 的 member 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 是 那个 实体 的 member 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12114-12128	如果 过程 是 判断 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 result， 然后 那个 施事体 doesn't believes 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 believes 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12333	如果 过程 是 杀害 的 instance 和 实体 是 那个 过程 的 patient， 然后 活的 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 死 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24115-24128	如果 过程 是 下蛋 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 实体 这样 那个 实体 是 蛋 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23804-23819	如果 过程 是 延长 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 那个 过程1， 那个 过程2， and 和 另一个 实体 这样 那个 另外 实体 是 UnitOfLength 的 instance 和 那个 实体 的 length 是 那个 过程1 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 的 length 是 那个 过程2 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 过程2 是 greaterThan 那个 过程1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16483-16493	如果 过程 是 失去意识 的 instance 和 施事体 经历了 那个 过程， 然后 觉醒 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 无意识 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11971-11978	如果 过程 是 学习 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 doesn't knows 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 knows 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10705-10713	如果 过程 是 Firing 的 instance 和 施事体 是 机构 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 实体 是 那个 施事体 的 member 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 施事体 的 member 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10673-10681	如果 过程 是 离开一个机构 的 instance 和 实体 是 机构 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient， 然后 那个 施事体 是 那个 实体 的 member 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 不 是 那个 实体 的 member 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19864-19874	如果 过程 是 躺着 的 instance 和 施事体 是 那个 过程 的 agent， 然后 坐在 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 踣 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1931-1940	如果 串列 是 连续时间间隔表列 的 instance 和 时距 equal 那个 串列 的第 正整数 几个元素 和 另一个 时距 equal 那个 串列 的第 (那个 正整数 和 1) 几个元素， 然后 那个 另外 时距 的开始 equal 那个 时距 的结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 469-480	如果 过程 是 安装 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 不 在 那个 实体 的 上 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 在 那个 实体 的 上 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16304-16323	如果 过程 是 组织合并 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 那个 过程 的 patient 和 那个 实体 不 equal 那个 另外 实体， 然后 不存在 第三 实体 这样 那个 实体 是 那个 第三 实体 Organization 的一部分 和 那个 另外 实体 是 那个 第三 实体 Organization 的一部分 在 那个 过程 出现 的 time 的开始 holdsDuring 和 有存在 第四 实体 这样 那个 实体 是 那个 第四 实体 Organization 的一部分 和 那个 另外 实体 是 那个 第四 实体 Organization 的一部分 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	如果 过程 是 溶化 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11058-11063	如果 运动 是 运动 的 instance 和 移动 那个 运动 and 客体 和 另一个 客体 是 那个 运动 的源头， 然后 那个 客体 是 located 在 那个 另外 客体 在 那个 运动 出现 的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18058-18066	如果 过程 是 搬家 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实体 和 另一个 实体 这样 那个 施事体 的 home 是 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 的 home 是 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 实体 不 equal 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2469-2478	如果 过程 是 MaximizingGraphicalWindow 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体 是 InterfaceWindow 的 instance， 然后 那个 实体 有 state GUE_MaximizedWindowState 在 那个 过程 出现 的 time 的结束 holdsDuring 和 不 那个 实体 有 state GUE_MaximizedWindowState 在 那个 过程 出现 的 time 的开始 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