Leg(leg) | 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 | Leg is a subclass of limb |
appearance as argument number 2 |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 10801-10801 | Every gastrocnemius is initially part of a leg |
(initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 10816-10816 | Every hamstring muscle is initially part of a leg |
(initialPart LegBone Leg) | Anatomy.kif 1035-1035 | Every leg bone is initially part of a leg |
(initialPart LowerLeg Leg) | Mid-level-ontology.kif 10845-10845 | Every lower leg is initially part of a leg |
(initialPart ShinMuscle Leg) | Mid-level-ontology.kif 10808-10808 | Every tibialis anterior is initially part of a leg |
(initialPart ThighMuscle Leg) | Mid-level-ontology.kif 10793-10793 | Every quadriceps is initially part of a leg |
(initialPart UpperLeg Leg) | Mid-level-ontology.kif 10840-10840 | Every upper leg is initially part of a leg |
(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 | A gastrocnemius is typically a part of a leg |
(typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 10815-10815 | A hamstring muscle is typically a part of a leg |
(typicalPart LowerLeg Leg) | Mid-level-ontology.kif 10846-10846 | A lower leg is typically a part of a leg |
(typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 10807-10807 | A tibialis anterior is typically a part of a leg |
(typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 10792-10792 | A quadriceps is typically a part of a leg |
(typicalPart UpperLeg Leg) | Mid-level-ontology.kif 10841-10841 | A upper leg is typically a part of a leg |
antecedent |
(=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 12675-12680 |
|
consequent |
statement |
(subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2906-2906 | Left leg is a subclass of the left leg |
(subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2909-2909 | Right leg is a subclass of the right leg |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5167-5167 | Trousers is a subclass of a covering for leg |