Sigma KB Term Intersection

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.	Cars.kif 3397-3425	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
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.	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.	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 10448-10448	受伤是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10449	受伤是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10478-10478	中毒是受伤的 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