Leg
|
|
appearance as argument number 1 |
(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 12673-12673 | |
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
(subclass Leg Limb) | Mid-level-ontology.kif 12672-12672 |
appearance as argument number 2 |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 10801-10801 | |
(initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 10816-10816 | |
(initialPart LegBone Leg) | Anatomy.kif 1035-1035 | |
(initialPart LowerLeg Leg) | Mid-level-ontology.kif 10845-10845 | |
(initialPart ShinMuscle Leg) | Mid-level-ontology.kif 10808-10808 | |
(initialPart ThighMuscle Leg) | Mid-level-ontology.kif 10793-10793 | |
(initialPart UpperLeg Leg) | Mid-level-ontology.kif 10840-10840 | |
(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 10800-10800 | |
(typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 10815-10815 | |
(typicalPart LowerLeg Leg) | Mid-level-ontology.kif 10846-10846 | |
(typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 10807-10807 | |
(typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 10792-10792 | |
(typicalPart UpperLeg Leg) | Mid-level-ontology.kif 10841-10841 |
antecedent |
(=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 12675-12680 |
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 12682-12695 | |
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5169-5177 | |
(=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 12728-12733 | |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 12702-12707 | |
(=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 12773-12778 |
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 5167-5167 |