| Leg
| |
| appearance as argument number 1 |
|
|
| (documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 12891-12891 | |
| (externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 12890-12890 |
| appearance as argument number 2 |
|
|
| (initialPart CalfMuscle Leg) | Mid-level-ontology.kif 11019-11019 | |
| (initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 11034-11034 | |
| (initialPart LegBone Leg) | Anatomy.kif 1035-1035 | |
| (initialPart LowerLeg Leg) | Mid-level-ontology.kif 11063-11063 | |
| (initialPart ShinMuscle Leg) | Mid-level-ontology.kif 11026-11026 | |
| (initialPart ThighMuscle Leg) | Mid-level-ontology.kif 11011-11011 | |
| (initialPart UpperLeg Leg) | Mid-level-ontology.kif 11058-11058 | |
| (termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33802-33802 | |
| (termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33801-33801 | |
| (termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33800-33800 | |
| (typicalPart CalfMuscle Leg) | Mid-level-ontology.kif 11018-11018 | |
| (typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 11033-11033 | |
| (typicalPart LowerLeg Leg) | Mid-level-ontology.kif 11064-11064 | |
| (typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 11025-11025 | |
| (typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 11010-11010 | |
| (typicalPart UpperLeg Leg) | Mid-level-ontology.kif 11059-11059 |
| antecedent |
|
|
| (=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 12893-12898 |
| 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 4404-4420 | |
| (=> (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 12900-12913 | |
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5163-5171 | |
| (=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 12946-12951 | |
| (=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 12920-12925 | |
| (=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 12991-12996 |
| statement |
|
|
| (subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2906-2906 | |
| (subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2909-2909 | |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5161-5161 |
|
|
|