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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Limb
Limb(limb)
appendage, extremity, leg, limb, member, shank's_mare, shank's_pony, shanks'_mare, shanks'_pony

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 10269-10271
(externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px-Upperarm.jpg") pictureList.kif 1158-1158
(subclass Limb AnimalAnatomicalStructure) Mid-level-ontology.kif 10267-10267 Limb is a subclass of animal anatomical structure
(subclass Limb BodyPart) Mid-level-ontology.kif 10268-10268 Limb is a subclass of body part

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10224-10224 Every digit appendage is initially part of a limb
(subclass Arm Limb) Mid-level-ontology.kif 10178-10178 Arm is a subclass of limb
(subclass Leg Limb) Mid-level-ontology.kif 10353-10353 Leg is a subclass of limb
(subclass Wing Limb) Mid-level-ontology.kif 9412-9412 Wing is a subclass of limb
(termFormat ChineseLanguage Limb "肢") domainEnglishFormat.kif 34345-34345
(termFormat ChineseTraditionalLanguage Limb "肢") domainEnglishFormat.kif 34344-34344
(termFormat EnglishLanguage Limb "limb") domainEnglishFormat.kif 34343-34343

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


(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 10488-10492
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 10273-10278

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


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 10205-10210
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 10283-10288


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