BodySegment - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BodySegment

BodySegment(body segment)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11922-11924
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11921-11921	Body segment 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 14047-14047	Foot is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12178-12178	Forearm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13819-13819	Hand is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12193-12193	Lower leg is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12183-12183	Upper arm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12188-12188	Upper leg is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64575-64575	Upper leg is a subclass of body segment

antecedent

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

Mid-level-ontology.kif 11926-11942

If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion,
then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility

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