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 Leg e' uma sub-classe de Limb

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10801-10801 initialPart CalfMuscle and Leg
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10816-10816 initialPart HamstringMuscle and Leg
(initialPart LegBone Leg) Anatomy.kif 1035-1035 initialPart LegBone and Leg
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10845-10845 initialPart LowerLeg and Leg
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10808-10808 initialPart ShinMuscle and Leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10793-10793 initialPart ThighMuscle and Leg
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10840-10840 initialPart UpperLeg and Leg
(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 typicalPart CalfMuscle and Leg
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10815-10815 typicalPart HamstringMuscle and Leg
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10846-10846 typicalPart LowerLeg and Leg
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10807-10807 typicalPart ShinMuscle and Leg
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10792-10792 typicalPart ThighMuscle and Leg
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10841-10841 typicalPart UpperLeg and Leg

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

statement
-------------------------


(subclass LeftLeg
    (BodySideFn Left Leg))
Medicine.kif 2906-2906 LeftLeg e' uma sub-classe de BodySideFn Left and Leg
(subclass RightLeg
    (BodySideFn Right Leg))
Medicine.kif 2909-2909 RightLeg e' uma sub-classe de BodySideFn Right and Leg
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 5167-5167 Trousers e' uma sub-classe de CoveringFn Leg


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners