Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodySegment
BodySegment(body segment)

appearance as argument number 1
-------------------------


(subclass BodySegment BodyPart) Mid-level-ontology.kif 12025-12025 Body segment is a subclass of body part
(documentation BodySegment EnglishLanguage "a part of the body that is capable of some degree of intentional independent motion from some other part of the body to which it is connected.") Mid-level-ontology.kif 12026-12028 Body segment is a subclass of body part

appearance as argument number 2
-------------------------


(subclass Forearm BodySegment) Mid-level-ontology.kif 12286-12286 Forearm is a subclass of body segment
(subclass UpperArm BodySegment) Mid-level-ontology.kif 12291-12291 Upper arm is a subclass of body segment
(subclass UpperLeg BodySegment) Mid-level-ontology.kif 12296-12296 Upper leg is a subclass of body segment
(subclass LowerLeg BodySegment) Mid-level-ontology.kif 12301-12301 Lower leg is a subclass of body segment
(subclass Hand BodySegment) Mid-level-ontology.kif 14085-14085 Hand is a subclass of body segment
(subclass Foot BodySegment) Mid-level-ontology.kif 14315-14315 Foot is a subclass of body segment
(termFormat EnglishLanguage BodySegment "body segment") domainEnglishFormat.kif 64555-64555 Foot is a subclass of body segment

antecedent
-------------------------


(=>
    (and
        (instance ?BS1 BodySegment)
        (instance ?BS2 BodySegment)
        (connected ?BS1 ?BS2)
        (instance ?BM BodyMotion)
        (moves ?BM ?BS1))
    (modalAttribute
        (not
            (exists (?BM2)
                (and
                    (instance ?BM2 BodyMotion)
                    (moves ?BM2 ?BS2)
                    (during
                        (WhenFn ?BM2)
                        (WhenFn ?BM))))) Possibility))		 Mid-level-ontology.kif 12030-12046 If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners