| 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 12769-12771 | |
| (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 12767-12767 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 12768-12768 |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 12723-12723 | |
| (subclass Arm Limb) | Mid-level-ontology.kif 12677-12677 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 12890-12890 | |
| (subclass Wing Limb) | Mid-level-ontology.kif 11200-11200 | |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34450-34450 | |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34449-34449 | |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34448-34448 |
| 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 13028-13033 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12773-12778 |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 12704-12709 | |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12783-12788 |
|
|
|