Leg![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 14004-14004 | |
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
(subclass Leg Limb) | Mid-level-ontology.kif 14003-14003 |
appearance as argument number 2 |
![]() |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 12132-12132 | |
(initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 12147-12147 | |
(initialPart LegBone Leg) | Anatomy.kif 1066-1066 | |
(initialPart LowerLeg Leg) | Mid-level-ontology.kif 12176-12176 | |
(initialPart ShinMuscle Leg) | Mid-level-ontology.kif 12139-12139 | |
(initialPart ThighMuscle Leg) | Mid-level-ontology.kif 12124-12124 | |
(initialPart UpperLeg Leg) | Mid-level-ontology.kif 12171-12171 | |
(termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33784-33784 | |
(termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33783-33783 | |
(termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33782-33782 | |
(typicalPart CalfMuscle Leg) | Mid-level-ontology.kif 12131-12131 | |
(typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 12146-12146 | |
(typicalPart LowerLeg Leg) | Mid-level-ontology.kif 12177-12177 | |
(typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 12138-12138 | |
(typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 12123-12123 | |
(typicalPart UpperLeg Leg) | Mid-level-ontology.kif 12172-12172 |
antecedent |
![]() |
(=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 14006-14011 |
consequent |
![]() |
(=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4854-4870 | |
(=> (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 14013-14026 | |
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 6106-6114 | |
(=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 14059-14064 | |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 14033-14038 | |
(=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 14104-14109 |
statement |
![]() |
(subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2907-2907 | |
(subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2910-2910 | |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 6104-6104 |
![]() |
![]() |