| 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 13882-13884 | |
| (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 13880-13880 | Limb est une sous-classe de AnimalAnatomicalStructure |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 13881-13881 | Limb est une sous-classe de partie du corps |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 13836-13836 | initialPart DigitAppendage and Limb |
| (subclass Arm Limb) | Mid-level-ontology.kif 13790-13790 | Arm est une sous-classe de Limb |
| (subclass Leg Limb) | Mid-level-ontology.kif 14003-14003 | Leg est une sous-classe de Limb |
| (subclass Wing Limb) | Mid-level-ontology.kif 12313-12313 | Wing est une sous-classe de Limb |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34432-34432 | Wing est une sous-classe de Limb |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34431-34431 | Wing est une sous-classe de Limb |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34430-34430 | Wing est une sous-classe de Limb |
| 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 14141-14146 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 13886-13891 |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 13817-13822 | |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 13896-13901 |
|
|
|