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 10272-10274
(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 10270-10270
(subclass Limb BodyPart) Mid-level-ontology.kif 10271-10271

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10227-10227
(subclass Arm Limb) Mid-level-ontology.kif 10182-10182
(subclass Leg Limb) Mid-level-ontology.kif 10356-10356
(subclass Wing Limb) Mid-level-ontology.kif 9431-9431
(termFormat ChineseLanguage Limb "肢") domainEnglishFormat.kif 34315-34315
(termFormat ChineseTraditionalLanguage Limb "肢") domainEnglishFormat.kif 34314-34314
(termFormat EnglishLanguage Limb "limb") domainEnglishFormat.kif 34313-34313

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


(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 10461-10465
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 10276-10281

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


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 10208-10213
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 10286-10291


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners