Torso - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14157-14157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 64-64
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14155-14155	Torso is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14156-14156	Torso is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12124-12124	Every upper back muscle is initially part of a torso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 264-264	Every thorax bone is initially part of a torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14169	Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58539-58539	Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58538-58538	Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58537-58537	Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12123-12123	A upper back muscle is typically a part of a torso

antecedent

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

Mid-level-ontology.kif 14159-14164

If an object is an instance of torso and another object is an instance of limb,
then the object and the other object doesn't overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12568-12578	If an object is an instance of chest and a class is an instance of animal and the object is an instance of the class and the object is a part of the class, then there exists another object such that the other object is an instance of torso and the object is a part of the other object and the other object is a part of the class
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exist another process and an object such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of torso or the object is an instance of face and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2049-2064	If a motion is an instance of abducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is a subprocess of moving away from and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2073-2089	If a motion is an instance of adducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is an instance of moving towards and the process is a subprocess of the motion and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14188	If an object is an instance of breast, then there exists a self connected object such that the self connected object is an instance of torso and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5670-5677	If a self connected object is an instance of back, then there exist an object and another self connected object such that the object is an instance of human and the other self connected object is an instance of torso and the other self connected object is a part of the object and the self connected object is equal to the back of the other self connected object

statement

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

Mid-level-ontology.kif 6216-6216

Shirt is a subclass of a covering for torso

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: