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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SavingsInstitutions

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 12550-12552
(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 12548-12548 动物解剖结构subclass
(subclass Limb BodyPart) Mid-level-ontology.kif 12549-12549 身体部位subclass

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


(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12504-12504 %每个 数字附属物initially part
(subclass Arm Limb) Mid-level-ontology.kif 12458-12458 subclass
(subclass Leg Limb) Mid-level-ontology.kif 12671-12671 subclass
(subclass Wing Limb) Mid-level-ontology.kif 10981-10981 翅膀subclass
(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 12809-12814
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 12554-12559

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


(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))
Mid-level-ontology.kif 12485-12490
(=>
    (instance ?SNAKE Snake)
    (not
        (exists (?LIMB)
            (and
                (instance ?LIMB Limb)
                (part ?LIMB ?SNAKE)))))
Mid-level-ontology.kif 12564-12569


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