TreeView Knowledge Base Browser - LateralRecumbant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LateralRecumbant

Sigma KEE - LateralRecumbant

LateralRecumbant(lateral recumbant)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1834-1834
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1832-1832	Lateral recumbant is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1833-1833	Lateral recumbant is a subattribute of prostrate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1836-1836
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1835-1835

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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