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 | Leg は Limb の subclass では |
appearance as argument number 2 |
![]() |
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 | LeftLeg は BodySideFn Left and Leg の subclass では |
(subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2910-2910 | RightLeg は BodySideFn Right and Leg の subclass では |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 6104-6104 | Trousers は CoveringFn Leg の subclass では |
![]() |
![]() |