LeftLeg - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LeftLeg

LeftLeg(left leg)

appearance as argument number 1

(subclass LeftLeg
(BodySideFn Left Leg))

Medicine.kif 2906-2906

Left leg is a subclass of the left leg

appearance as argument number 2

(termFormat EnglishLanguage LeftLeg "left leg")

Medicine.kif 2907-2907

antecedent

(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O)))))	Anatomy.kif 1838-1860	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the third object meets the other object or the fifth object meets the other object, then the fourth object doesn't meet the other object and the sixth object doesn't meet the other object holds during the time position
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O)))))	Anatomy.kif 1862-1884	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the fourth object meets the other object or the sixth object meets the other object, then the third object doesn't meet the other object and the fifth object doesn't meet the other object holds during the time position

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