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 1871-1893	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 1895-1917	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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