TreeView Knowledge Base Browser - StandardAnatomicalPosition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

StandardAnatomicalPosition

Sigma KEE - StandardAnatomicalPosition

StandardAnatomicalPosition(standard anatomical position)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1783-1791
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1792-1792
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1782-1782	Standard anatomical position is a subattribute of standing

appearance as argument number 2

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

Anatomy.kif 1793-1793

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval

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