Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
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.	Cars.kif 3447-3476	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	如果可穿戴物品是呼吸器的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是过程的 instance 和那个可穿戴物品是导致那个第三实体的 instrument 和那个第三实体 prevents 那个另外实体的发生和那个另外实体是那个第四实体所描述的类别的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	如果 Catalog 是 Menu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 food for 人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	如果类是身体组织的 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.	Mid-level-ontology.kif 7351-7365	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果群体和另一个群体是 orthogonal tests 和客体是人类的 instance 和物理是有点过程的 instance 和有点过程是试验的 subclass 和那个物理是那个群体的 member 和那个客体能够担当 experimentalSubject 的角色做那个有点过程，然后有存在另一个物理和另一个有点过程这样那个另外物理是另一个有点过程的 instance 和那个另外物理是那个另外群体的 member 和那个另外有点过程是试验的 subclass 和那个客体能够担当 experimentalSubject 的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	如果类是饮用水的 subclass，然后那个类是 food for 人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	人类是原始人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	人类是有认知的主事的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	人类成人是人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	人类青年是人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	青少年是人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	人是人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14656-14656	女人是人类的 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