Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18896-18901	如果研究员是人类的 attribute，然后有存在有点研究领域这样有点研究领域是科学的 subclass 和那个有点研究领域有在那个人类的专业知识
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果过程是暴力比赛的 instance 和客体是那个过程的 patient 和 InjuryCausedFn 另一个有点过程是那个客体的 attribute 和 ImpairedBodyPartFn 空中航线是那个客体的 attribute，然后另一个有点过程是燃烧的 subclass 或有存在实体这样另一个实体是受伤的 instance 和那个另外实体是 located 在第三实体和那个第三实体是面对的 instance 和那个客体是那个另外实体的 patient 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	如果艺术评论家是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是艺术品的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是文章的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8293-8302	如果实体是职业贸易的 instance 或那个实体是职业的 instance 和那个实体是另一个实体的 attribute 在时间位置 holdsDuring，然后有存在类这样那个类是研究领域的 subclass 和那个类有在那个另外实体的专业知识在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	如果医生是客体的 attribute，然后有存在有点过程和另一个有点过程这样有点过程是诊断过程的 subclass 和另一个有点过程是治疗过程的 subclass 和那个客体能够担当主事的角色做那个有点过程和那个客体能够担当主事的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	如果实体 publishes 类在时间位置 holdsDuring 和那个类是期刊的 subclass，然后定期出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	如果实体 publishes 类在时间位置 holdsDuring 和那个类是音乐作品的 subclass，然后音乐出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数凯文度是那个有点純物质的 melting 点和另一个实数英寸汞是那个客体的 barometric 压力和那个另外实数是 greaterThan 29.92 和那个客体的 measure 是第三实数凯文度和那个第三实数是 lessThan 那个实数，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	如果实体 publishes 类在时间位置 holdsDuring 和那个类是书的 subclass，然后图书出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	如果 ObsessiveCompulsiveDisorder 是有认知的主事的 attribute，然后有存在群体和类这样那个类是那个群体的 member 类别和那个类是调查的 subclass 或那个类是清洁的的 subclass 和如果那个类I 是那个类的 instance，然后那个有认知的主事是那个类I 的 agent 和那个有认知的主事 doesn't wants 那个类I
No TPTP formula. May not be expressible in strict first order.	Media.kif 1912-1916	如果实体 publishes 类在时间位置 holdsDuring 和那个类是报纸的 subclass，然后报纸出版社是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	如果作家是施事体的 attribute 和实体是有点有内用物体的 instance 和有点有内用物体是文本的 subclass 或那个有点有内用物体是 Document 的 subclass 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	如果有点客体 equal 另一个有点客体跟属性的 attr 和第三客体是有点客体的 instance，然后那个第三客体是另一个有点客体的 instance 和那个有点客体是那个另外有点客体的 subclass 和那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	如果 ADHD 是施事体的 attribute 和 ADHD 不是另一个施事体的 attribute 和那个施事体不 equal 那个另外施事体和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是有意图的心理过程的 subclass 和那个施事体是那个过程的 agent 和那个另外施事体是那个另外过程的 agent 和那个过程出现的 time 的 duration 是持续时间和那个另外过程出现的 time 的 duration 是另一个持续时间，然后那个另外持续时间是 greaterThan 那个持续时间的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21066-21080	如果新闻记者是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是报纸的 subclass 或那个第三实体是新闻节目的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	如果实体 publishes 类在时间位置 holdsDuring 和那个类是文本的 subclass，然后信息产业是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13798-13807	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数英寸汞是那个客体的 barometric 压力和 29.92 是 greaterThan 那个实数和另一个实数凯文度是那个有点純物质的 boiling 点和那个客体的 measure 是第三实数凯文度和那个第三实数是 greaterThan 那个另外实数，然后加油站是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	如果 Pulmonologist 是客体的 attribute，然后有存在过程，另一个过程,，，另一个客体， and 和第三客体这样类是诊断过程的 subclass 和另一个类是治疗过程的 subclass 和那个另外客体是那个过程的 patient 和那个另外客体是那个另外过程的 patient 和那个第三客体是肺的 instance 和那个第三客体是那个另外客体的 part 和那个过程是 located 在肺和那个另外过程是 located 在肺
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数凯文度是那个有点純物质的 boiling 点和另一个实数凯文度是那个有点純物质的 melting 点和那个客体的 measure 是第三实数凯文度和那个第三实数是 greaterThan 那个另外实数和那个第三实数是 lessThan 那个实数，然后液体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量

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