Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	如果过程是 BreakingRecord 的 instance 和施事体是那个过程的 agent，然后有存在集合，类,，，另一个过程,，，时点,，，格角色,，，客体， and 和实体这样那个集合是集合的 instance 和那个施事体是那个集合的 element 和那个类是过程的 subclass 和那个客体是地区的 instance 和那个时点是时点的 instance 和那个实体是数量的 instance 和那个另外过程是那个类的 instance 和那个过程提到那个实体和那个实体提到那个另外过程和那个施事体对于那个另外过程在事件那个格角色 plays 角色和那个另外过程是 located 在那个客体和不存在另一个实体和第三实体这样那个另外实体是那个集合的 instance 和那个另外实体不 equal 那个施事体和那个第三实体是那个类的 instance 和那个另外实体对于那个第三实体在事件那个格角色 plays 角色和那个第三实体是 located 在那个客体在那个时点和那个过程出现的 time 的结束间的时段 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1694-1694	数量是抽象体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	有限数量是数量的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	无限的数量是数量的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	数字是数量的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	物理量是数量的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	物理尺寸是数量的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	多极数量是数量的 subclass

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