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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Leg
Leg

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


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

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10305-10305
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10320-10320
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10349-10349
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10312-10312
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10297-10297
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10344-10344
(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33756-33756
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33755-33755
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33754-33754
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 10304-10304
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10319-10319
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10350-10350
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10311-10311
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10296-10296
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10345-10345

antecedent
-------------------------


(=>
    (instance ?LEG Leg)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (part ?LEG ?ANIMAL))))
Mid-level-ontology.kif 12136-12141

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 4301-4315
(=>
    (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 12143-12156
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 4891-4899
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12189-12194
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12163-12168
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12234-12239