| Limb(limb)
| | appendage, extremity, leg, limb, member, shank's_mare, shank's_pony, shanks'_mare, shanks'_pony |
| appearance as argument number 1 |
|
|
| (subclass Limb AnimalAnatomicalStructure) | Mid-level-ontology.kif 14036-14036 | Limb is a subclass of animal anatomical structure |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 14037-14037 | Limb is a subclass of body part |
| (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 14038-14040 | Limb is a subclass of body part |
| (externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px_Upperarm.jpg") | pictureList.kif 1157-1157 | Limb is a subclass of body part |
| appearance as argument number 2 |
|
|
| (subclass Wing Limb) | Mid-level-ontology.kif 12375-12375 | Wing is a subclass of limb |
| (subclass Arm Limb) | Mid-level-ontology.kif 13946-13946 | Arm is a subclass of limb |
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 13992-13992 | Every digit appendage is initially part of a limb |
| (subclass Leg Limb) | Mid-level-ontology.kif 14159-14159 | Leg is a subclass of limb |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34423-34423 | Leg is a subclass of limb |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34424-34424 | Leg is a subclass of limb |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34425-34425 | Leg is a subclass of limb |
| antecedent |
|
|
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 14042-14047 | If X is an instance of limb, then there exists Y such that Y is an instance of vertebrate and X is a part of Y |
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14297-14302 | If X is an instance of torso and Y is an instance of limb, then X and Y doesn't overlapsSpatially |
| (=> (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 6250-6268 | If X is an instance of amputation, Y is a patient of X, and Z is an instance of limb, then there exist W, V such that W is a part of Z, V is a part of W, V is an instance of bone, W is a part of Y holds during immediately before the time of existence of X, and W is not a part of Y holds during immediately before the time of existence of X |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 13973-13978 | If X is an instance of digit appendage, then there exists Y such that Y is an instance of limb and X is a part of Y |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 14052-14057 | If X is an instance of snake, then there doesn't exist Y such that Y is an instance of limb and Y is a part of X |
|
|
|