|
|
   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 12550-12552 | |
| (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 12548-12548 | Limb ist eine teilkategorie von AnimalAnatomicalStructure |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 12549-12549 | Limb ist eine teilkategorie von BodyPart |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 12504-12504 | initialPart DigitAppendage and Limb |
| (subclass Arm Limb) | Mid-level-ontology.kif 12458-12458 | Arm ist eine teilkategorie von Limb |
| (subclass Leg Limb) | Mid-level-ontology.kif 12671-12671 | Leg ist eine teilkategorie von Limb |
| (subclass Wing Limb) | Mid-level-ontology.kif 10981-10981 | Wing ist eine teilkategorie von 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 12809-12814 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12554-12559 |
|
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 12485-12490 |
|
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12564-12569 |
|
|
|
|
