Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	如果 Catalog 是 SetMenu 的 instance 和施事体 offers 拍卖样品在那个 Catalog 和有点实体是在那个 Catalog 和有点实体是已准备食物的 subclass 和物理是类的 instance 和另一个物理是那个有点实体的 instance 和那个物理不 equal 那个另外物理和那个物理是对于那个施事体1 的 price 货币测量和那个另外物理是对于那个施事体2 的 price 另一个货币测量，然后那个货币测量 equal 那个另外货币测量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
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.	UXExperimentalTerms.kif 1496-1518	如果时距是那个时距_CLASS 的 instance 和那个时距_CLASS 是过程的 subclass 和 AccessingWebPage 是 AccessingWebPage 的 instance 和施事体是施事体的 instance 和那个施事体是那个时距的 agent 和那个施事体是那个 AccessingWebPage 的 agent 和那个时距在那个 AccessingWebPage 时段内发生和物理是时距的 instance 和不存在那个时距2 这样那个时距2 是那个时距_CLASS 的 instance 和那个施事体是那个时距2 的 agent 和那个时距2 在那个 AccessingWebPage 时段内发生和那个时距2 出现的 time 的开始%n在那个时距出现的 time 的开始before发生和那个 AccessingWebPage 出现的 time 的开始 equal 那个物理出现的 time 的开始和那个时距出现的 time 的开始 equal 那个物理出现的 time 的结束，然后那个 AccessingWebPage 的 time 在类别那个时距_CLASS equal 那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18441	如果物理是 Protecting 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个第三实体ARM 这样那个实体是客体的 instance 和客体是那个物理的 patient 和那个第三实体ARM 是那个第三实体所描述的类别的 subclass 和那个物理 prevents 那个第三实体ARM 的发生或那个物理 hinders 那个第三实体ARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30385-30388	如果有点生物 inhabits 地理区域，然后有点生物不是家畜的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
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.	Cars.kif 3397-3425	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
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.	Merge.kif 15188-15209	如果类是身体组织的 subclass 和另一个类是身体组织的 subclass 和客体是那个类的 instance 和另一个客体是那个另外类的 instance 和第三客体是人类的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part 和那个类不 equal 那个另外类和那个类不是那个另外类的 subclass 和那个另外类不是那个类的 subclass 和那个客体在那个另外客体的邻，然后有存在实体这样那个实体是 ConnectiveTissue 的 instance 和那个实体是在那个客体和那个另外客体 between 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	如果躯体性物体是躯体性物体的 instance，然后有存在有点物质和另一个有点物质这样有点物质是物质的 subclass 和另一个有点物质是物质的 subclass 和那个有点物质是那个躯体性物体的材料和那个另外有点物质是那个躯体性物体的材料和那个有点物质不 equal 那个另外有点物质
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	如果地缘政治区域是内陆地区的 instance 和有点海事索赔区是海事索赔区的 subclass，然后有点海事索赔区不是那个地缘政治区域的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	如果群体是 CrossFunctionalTeam 的 instance，然后有存在有点过程，施事体,，，另一个施事体， and 和实体这样有点过程是过程的 subclass 和那个施事体是人类的 instance 和那个另外施事体是人类的 instance 和那个施事体是那个群体的 member 和那个另外施事体是那个群体的 member 和那个施事体 hasSkill 去做那个有点过程和那个另外施事体不 hasSkill 去做那个有点过程和那个实体是那个有点过程的 instance 和那个群体对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Merge.kif 160-167	如果类是另一个类的 immediateSubclass，然后不存在第三类这样那个第三类是那个另外类的 subclass 和那个类是那个第三类的 subclass 和那个另外类不 equal 那个第三类和那个类不 equal 那个第三类
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	如果不有点植物是 found 在地理区域和有点植物是植物的 subclass 和那个地理区域是地理区域的 instance，然后不存在物理这样那个物理是那个有点植物的 instance 和那个物理是 located 在那个地理区域
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	如果实体是类的 immediateInstance，然后不存在另一个类这样那个另外类是那个类的 subclass 和那个另外类不 equal 那个类和那个实体是那个另外类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15453-15462	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是虚构的文字的 subclass 和有认知的主事是那个有点有内用物体的 authors，然后有存在公式这样那个内容承载物理包含那个公式的内容和那个公式是公式的 instance 和那个有认知的主事 doesn't believes 那个公式

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