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 10572-10574
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10571-10571	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 12697-12697	Foot is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10828-10828	Forearm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12469-12469	Hand is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10843-10843	Lower leg is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10833-10833	Upper arm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10838-10838	Upper leg is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64552-64552

antecedent

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

Mid-level-ontology.kif 10576-10592

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