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

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10801-10801 %每个 CalfMuscleinitially part
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10816-10816 %每个 HamstringMuscleinitially part
(initialPart LegBone Leg) Anatomy.kif 1035-1035 %每个 LegBoneinitially part
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10845-10845 %每个 LowerLeginitially part
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10808-10808 %每个 ShinMuscleinitially part
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10793-10793 %每个 ThighMuscleinitially part
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10840-10840 %每个 UpperLeginitially part
(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33773-33773
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33772-33772
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33771-33771
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 10800-10800 CalfMuscle typicallypart
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10815-10815 HamstringMuscle typicallypart
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10846-10846 LowerLeg typicallypart
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10807-10807 ShinMuscle typicallypart
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10792-10792 ThighMuscle typicallypart
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10841-10841 UpperLeg typicallypart

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


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

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 4411-4425
(=>
    (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 12682-12695
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 5169-5177
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12728-12733
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12702-12707
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12773-12778