| 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 13900-13902 | |
| (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 13898-13898 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 13899-13899 |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 13854-13854 | |
| (subclass Arm Limb) | Mid-level-ontology.kif 13808-13808 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 14021-14021 | |
| (subclass Wing Limb) | Mid-level-ontology.kif 12331-12331 | |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34449-34449 | |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34448-34448 | |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34447-34447 |
| 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 14159-14164 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 13904-13909 |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 13835-13840 | |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 13914-13919 |
|
|
|