Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Leg
Leg(leg)
leg

appearance as argument number 1
-------------------------


(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") Mid-level-ontology.kif 12520-12520
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") pictureList.kif 123-123
(subclass Leg Limb) Mid-level-ontology.kif 12519-12519 Leg is a subclass of limb

appearance as argument number 2
-------------------------


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10668-10668 Every gastrocnemius is initially part of a leg
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10683-10683 Every hamstring muscle is initially part of a leg
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10712-10712 Every lower leg is initially part of a leg
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10675-10675 Every tibialis anterior is initially part of a leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10660-10660 Every quadriceps is initially part of a leg
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10707-10707 Every upper leg is initially part of a leg
(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33755-33755
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33754-33754
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33753-33753
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 10667-10667 A gastrocnemius is typically a part of a leg
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10682-10682 A hamstring muscle is typically a part of a leg
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10713-10713 A lower leg is typically a part of a leg
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10674-10674 A tibialis anterior is typically a part of a leg
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10659-10659 A quadriceps is typically a part of a leg
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10708-10708 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 12522-12527

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 4371-4385
(=>
    (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 12529-12542
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 5129-5137
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12575-12580
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12549-12554
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12620-12625