RightArm - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2861-2861

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2862-2862

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第三客体接上那个另外客体或那个第五客体接上那个另外客体，然后那个第四客体不接上那个另外客体和那个第六客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第四客体接上那个另外客体或那个第六客体接上那个另外客体，然后那个第三客体不接上那个另外客体和那个第五客体不接上那个另外客体在那个时间位置 holdsDuring

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: