| Leg
|
| appearance as argument number 1 |
|
| (documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 10352-10352 | |
| (externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 10351-10351 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33688-33688 | |
| (termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33687-33687 | |
| (termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33686-33686 |
| antecedent |
|
|
| (=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 10354-10359 |
| 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 4885-4899 | |
| (=> (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 10361-10374 | |
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5457-5465 | |
| (=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 10406-10411 | |
| (=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 10381-10386 | |
| (=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 10450-10455 |
|
|
|