No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	如果 过程 是 结冰 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
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.	Food.kif 1012-1026	如果 过程 是 Grinding 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体 是 躯体性物体 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 那个 过程 的 result 和 那个 另外 实体 是 群体 的 instance 和 对所有 第三 实体 如果 那个 第三 实体 是 那个 另外 实体 的 member， 然后 那个 第三 实体 是 那个 实体 的 part 在 那个 过程 出现 的 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.	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.	Mid-level-ontology.kif 17896-17901	如果 过程 是 安装 的 instance 和 物理 是 那个 过程 的 patient 和 那个 物理 的 目的 是 公式， 然后 那个 公式 是 真正 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10885-10892	如果 过程 是 解读 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient 和 那个 实体 是 有内用物体 的 instance， 然后 有存在 另一个 实体 这样 那个 施事体 believes 那个 实体 contains 那个 另外 实体 的资料 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 548-555	如果 过程 是 跳跃 的 instance 和 施事体 是 那个 过程 的 agent， 然后 站立 不 是 那个 施事体 的 attribute 在 那个 过程 出现 的 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.	Mid-level-ontology.kif 19888-19895	如果 过程 是 KneelingDown 的 instance 和 施事体 是 那个 过程 的 agent， 然后 跪 是 那个 施事体 的 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.	Merge.kif 10687-10697	如果 过程 是 Quitting 的 instance 和 实体 是 机构 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient， 然后 那个 有认知的主事 desires 那个 有认知的主事 不 是 那个 实体 的 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.	FinancialOntology.kif 1615-1624	如果 金融账户 是 仅利息贷款 的 instance 和 时距 是 那个 金融账户 的 agreement 週期 和 货币测量 是 那个 金融账户 的 principal 总额 和 那个 金融账户 是 对于 %3 的赚取 interest ， 然后 那个 金融账户 对于 那个 时距 的结束 到期的 amount 那个 货币测量 和 那个 金融账户 对于 另一个 时距 到期的 amount 利益 和 那个 另外 时距 的结束%n在那个 时距 的结束before发生
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