Leg(leg)![]() | ![]() | 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 is a subclass of limb |
appearance as argument number 2 |
![]() |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 12132-12132 | Every gastrocnemius is initially part of a leg |
(initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 12147-12147 | Every hamstring muscle is initially part of a leg |
(initialPart LegBone Leg) | Anatomy.kif 1066-1066 | Every leg bone is initially part of a leg |
(initialPart LowerLeg Leg) | Mid-level-ontology.kif 12176-12176 | Every lower leg is initially part of a leg |
(initialPart ShinMuscle Leg) | Mid-level-ontology.kif 12139-12139 | Every tibialis anterior is initially part of a leg |
(initialPart ThighMuscle Leg) | Mid-level-ontology.kif 12124-12124 | Every quadriceps is initially part of a leg |
(initialPart UpperLeg Leg) | Mid-level-ontology.kif 12171-12171 | Every upper leg is initially part of a leg |
(termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33784-33784 | Every upper leg is initially part of a leg |
(termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33783-33783 | Every upper leg is initially part of a leg |
(termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33782-33782 | Every upper leg is initially part of a leg |
(typicalPart CalfMuscle Leg) | Mid-level-ontology.kif 12131-12131 | A gastrocnemius is typically a part of a leg |
(typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 12146-12146 | A hamstring muscle is typically a part of a leg |
(typicalPart LowerLeg Leg) | Mid-level-ontology.kif 12177-12177 | A lower leg is typically a part of a leg |
(typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 12138-12138 | A tibialis anterior is typically a part of a leg |
(typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 12123-12123 | A quadriceps is typically a part of a leg |
(typicalPart UpperLeg Leg) | Mid-level-ontology.kif 12172-12172 | 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 14006-14011 |
|
consequent |
![]() |
statement |
![]() |
(subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2907-2907 | Left leg is a subclass of the left leg |
(subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2910-2910 | Right leg is a subclass of the right leg |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 6104-6104 | Trousers is a subclass of a covering for leg |
![]() |
![]() |