Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodySegment

Sigma KEE - BodySegment
BodySegment

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


(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 10131-10133
(subclass BodySegment BodyPart) Mid-level-ontology.kif 10130-10130 subclass BodySegment and BodyPart

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


(subclass Foot BodySegment) Mid-level-ontology.kif 12218-12218 subclass Foot and BodySegment
(subclass Forearm BodySegment) Mid-level-ontology.kif 10386-10386 subclass Forearm and BodySegment
(subclass Hand BodySegment) Mid-level-ontology.kif 12006-12006 subclass Hand and BodySegment
(subclass LowerLeg BodySegment) Mid-level-ontology.kif 10401-10401 subclass LowerLeg and BodySegment
(subclass UpperArm BodySegment) Mid-level-ontology.kif 10391-10391 subclass UpperArm and BodySegment
(subclass UpperLeg BodySegment) Mid-level-ontology.kif 10396-10396 subclass UpperLeg and BodySegment

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 10135-10151


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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