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 12551-12553 | |
(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 12549-12549 | |
(subclass Limb BodyPart) | Mid-level-ontology.kif 12550-12550 |
appearance as argument number 2 |
(initialPart DigitAppendage Limb) | Mid-level-ontology.kif 12505-12505 | |
(subclass Arm Limb) | Mid-level-ontology.kif 12459-12459 | |
(subclass Leg Limb) | Mid-level-ontology.kif 12672-12672 | |
(subclass Wing Limb) | Mid-level-ontology.kif 10982-10982 | |
(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 12810-12815 | |
(=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12555-12560 |
consequent |
(=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 12486-12491 | |
(=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12565-12570 |