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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leg

Sigma KEE - Leg
Leg

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


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

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10358-10358
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10373-10373
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10402-10402
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10365-10365
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10350-10350
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10397-10397
(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 10357-10357
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10372-10372
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10403-10403
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10364-10364
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10349-10349
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10398-10398

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


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

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 4317-4331
(=>
    (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 12202-12215
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 4914-4922
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12248-12253
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12222-12227
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12293-12298