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

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 12132-12132
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 12147-12147
(initialPart LegBone Leg) Anatomy.kif 1066-1066
(initialPart LowerLeg Leg) Mid-level-ontology.kif 12176-12176
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 12139-12139
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 12124-12124
(initialPart UpperLeg Leg) Mid-level-ontology.kif 12171-12171
(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33784-33784
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33783-33783
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33782-33782
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 12131-12131
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 12146-12146
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 12177-12177
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 12138-12138
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 12123-12123
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 12172-12172

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