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 12107-12107
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") pictureList.kif 123-123
(subclass Leg Limb) Mid-level-ontology.kif 12106-12106

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10279-10279
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10294-10294
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10323-10323
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10286-10286
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10271-10271
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10318-10318
(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 10278-10278
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10293-10293
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10324-10324
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10285-10285
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10270-10270
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10319-10319

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


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

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 4282-4296
(=>
    (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 12116-12129
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 4866-4874
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12162-12167
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12136-12141
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12207-12212