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 LegLimbsubclass では

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


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