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 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
-------------------------


(=>
    (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 4854-4870
(=>
    (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 14013-14026
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 6106-6114
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 14059-14064
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 14033-14038
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 14104-14109