Sigma KB Term Intersection

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.	Food.kif 1909-1915	如果客体是 meat 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 AnimalFat 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 meat 的 subclass，然后有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	如果可穿戴物品是呼吸器的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是过程的 instance 和那个可穿戴物品是导致那个第三实体的 instrument 和那个第三实体 prevents 那个另外实体的发生和那个另外实体是那个第四实体所描述的类别的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	动物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4407-4407	Biped 是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20016-20016	家畜是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14522-14522	脊椎动物是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14525-14525	无脊椎动物是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6794-6794	刺槐是动物的 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