|
|
   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 12578-12580 | |
| (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 12576-12576 | Limb est une sous-classe de AnimalAnatomicalStructure |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 12577-12577 | Limb est une sous-classe de partie du corps |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 12532-12532 | initialPart DigitAppendage and Limb |
| (subclass Arm Limb) | Mid-level-ontology.kif 12486-12486 | Arm est une sous-classe de Limb |
| (subclass Leg Limb) | Mid-level-ontology.kif 12699-12699 | Leg est une sous-classe de Limb |
| (subclass Wing Limb) | Mid-level-ontology.kif 11009-11009 | Wing est une sous-classe de Limb |
| (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 12837-12842 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12582-12587 |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 12513-12518 | |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12592-12597 |
|
|
|
