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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Limb

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 12028-12030
(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 12026-12026 Limb is a subclass of animal anatomical structure
(subclass Limb BodyPart) Mid-level-ontology.kif 12027-12027 Limb is a subclass of body part

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 11982-11982 Every digit appendage is initially part of a limb
(subclass Arm Limb) Mid-level-ontology.kif 11936-11936 Arm is a subclass of limb
(subclass Leg Limb) Mid-level-ontology.kif 12133-12133 Leg is a subclass of limb
(subclass Wing Limb) Mid-level-ontology.kif 10485-10485 Wing is a subclass of limb
(termFormat ChineseLanguage Limb "肢") domainEnglishFormat.kif 34404-34404
(termFormat ChineseTraditionalLanguage Limb "肢") domainEnglishFormat.kif 34403-34403
(termFormat EnglishLanguage Limb "limb") domainEnglishFormat.kif 34402-34402

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


(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 12271-12276
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 12032-12037

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


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 11963-11968
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 12042-12047


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