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 13882-13884
(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 13880-13880 LimbAnimalAnatomicalStructuresubclass では
(subclass Limb BodyPart) Mid-level-ontology.kif 13881-13881 Limb体の部分subclass では

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 13836-13836 initialPart DigitAppendage and Limb
(subclass Arm Limb) Mid-level-ontology.kif 13790-13790 ArmLimbsubclass では
(subclass Leg Limb) Mid-level-ontology.kif 14003-14003 LegLimbsubclass では
(subclass Wing Limb) Mid-level-ontology.kif 12313-12313 WingLimbsubclass では
(termFormat ChineseLanguage Limb "肢") domainEnglishFormat.kif 34432-34432 WingLimbsubclass では
(termFormat ChineseTraditionalLanguage Limb "肢") domainEnglishFormat.kif 34431-34431 WingLimbsubclass では
(termFormat EnglishLanguage Limb "limb") domainEnglishFormat.kif 34430-34430 WingLimbsubclass では

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 6274-6292
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 14141-14146
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 13886-13891

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


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 13817-13822
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 13896-13901


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