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 10269-10271 | |
(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 10267-10267 | subclass Limb and AnimalAnatomicalStructure |
(subclass Limb BodyPart) | Mid-level-ontology.kif 10268-10268 | subclass Limb and BodyPart |
appearance as argument number 2 |
![]() |
(initialPart DigitAppendage Limb) | Mid-level-ontology.kif 10224-10224 | initialPart DigitAppendage and Limb |
(subclass Arm Limb) | Mid-level-ontology.kif 10178-10178 | subclass Arm and Limb |
(subclass Leg Limb) | Mid-level-ontology.kif 10353-10353 | subclass Leg and Limb |
(subclass Wing Limb) | Mid-level-ontology.kif 9412-9412 | subclass Wing and Limb |
(termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34411-34411 | |
(termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34410-34410 | |
(termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34409-34409 |
antecedent |
![]() |
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 10488-10492 | |
(=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 10273-10278 |
consequent |
![]() |
(=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 10205-10210 | |
(=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 10283-10288 |
![]() |
![]() |