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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Limb
Limb

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


(documentation Limb EnglishLanguage "Any of the limbs of a Vertebrate. Animal Appendages with joints that are used for movement and grasping.") Mid-level-ontology.kif 12551-12553
(externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px-Upperarm.jpg") pictureList.kif 1157-1157
(subclass Limb AnimalAnatomicalStructure) Mid-level-ontology.kif 12549-12549 Limb est une sous-classe de AnimalAnatomicalStructure
(subclass Limb BodyPart) Mid-level-ontology.kif 12550-12550 Limb est une sous-classe de partie du corps

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12505-12505 initialPart DigitAppendage and Limb
(subclass Arm Limb) Mid-level-ontology.kif 12459-12459 Arm est une sous-classe de Limb
(subclass Leg Limb) Mid-level-ontology.kif 12672-12672 Leg est une sous-classe de Limb
(subclass Wing Limb) Mid-level-ontology.kif 10982-10982 Wing est une sous-classe de Limb
(termFormat ChineseLanguage Limb "肢") domainEnglishFormat.kif 34421-34421
(termFormat ChineseTraditionalLanguage Limb "肢") domainEnglishFormat.kif 34420-34420
(termFormat EnglishLanguage Limb "limb") domainEnglishFormat.kif 34419-34419

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


(=>
    (and
        (instance ?A Amputating)
        (patient ?A ?H)
        (instance ?L Limb))
    (exists (?P ?B)
        (and
            (part ?P ?L)
            (part ?B ?P)
            (instance ?B Bone)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (part ?P ?H))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (not
                    (part ?P ?H))))))
Medicine.kif 6257-6275
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 12810-12815
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 12555-12560

consequent
-------------------------


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 12486-12491
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 12565-12570


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