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 10573-10575
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10572-10572	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 12698-12698	Foot is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10829-10829	Forearm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12470-12470	Hand is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10844-10844	Lower leg is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10834-10834	Upper arm is a subclass of body segment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10839-10839	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 10577-10593

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