Leg |
appearance as argument number 1 |
(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 12672-12672 | |
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
(subclass Leg Limb) | Mid-level-ontology.kif 12671-12671 | Leg est une sous-classe de Limb |
appearance as argument number 2 |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 10800-10800 | initialPart CalfMuscle and Leg |
(initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 10815-10815 | initialPart HamstringMuscle and Leg |
(initialPart LegBone Leg) | Anatomy.kif 1035-1035 | initialPart LegBone and Leg |
(initialPart LowerLeg Leg) | Mid-level-ontology.kif 10844-10844 | initialPart LowerLeg and Leg |
(initialPart ShinMuscle Leg) | Mid-level-ontology.kif 10807-10807 | initialPart ShinMuscle and Leg |
(initialPart ThighMuscle Leg) | Mid-level-ontology.kif 10792-10792 | initialPart ThighMuscle and Leg |
(initialPart UpperLeg Leg) | Mid-level-ontology.kif 10839-10839 | initialPart UpperLeg and Leg |
(termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33773-33773 | |
(termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33772-33772 | |
(termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33771-33771 | |
(typicalPart CalfMuscle Leg) | Mid-level-ontology.kif 10799-10799 | typicalPart CalfMuscle and Leg |
(typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 10814-10814 | typicalPart HamstringMuscle and Leg |
(typicalPart LowerLeg Leg) | Mid-level-ontology.kif 10845-10845 | typicalPart LowerLeg and Leg |
(typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 10806-10806 | typicalPart ShinMuscle and Leg |
(typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 10791-10791 | typicalPart ThighMuscle and Leg |
(typicalPart UpperLeg Leg) | Mid-level-ontology.kif 10840-10840 | typicalPart UpperLeg and Leg |
antecedent |
(=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 12674-12679 |
consequent |
(=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4411-4425 |
|
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12681-12694 | |
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5168-5176 | |
(=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 12727-12732 | |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 12701-12706 | |
(=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 12772-12777 |
statement |
(subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2906-2906 | LeftLeg est une sous-classe de BodySideFn Left and Leg |
(subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2909-2909 | RightLeg est une sous-classe de BodySideFn Right and Leg |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5166-5166 | Trousers est une sous-classe de CoveringFn Leg |