|
|
   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 12028-12030 | |
| (externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px-Upperarm.jpg") | pictureList.kif 1158-1158 | |
| (subclass Limb AnimalAnatomicalStructure) | Mid-level-ontology.kif 12026-12026 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 12027-12027 |
| appearance as argument number 2 |
|
|
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 11982-11982 | |
| (subclass Arm Limb) | Mid-level-ontology.kif 11936-11936 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 12133-12133 | |
| (subclass Wing Limb) | Mid-level-ontology.kif 10485-10485 | |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34404-34404 | |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34403-34403 | |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34402-34402 |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 12271-12276 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12032-12037 |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 11963-11968 | |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12042-12047 |
|
|
|
