Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leg

Sigma KEE - Leg
Leg(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 is a subclass of limb

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10801-10801 Every gastrocnemius is initially part of a leg
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10816-10816 Every hamstring muscle is initially part of a leg
(initialPart LegBone Leg) Anatomy.kif 1035-1035 Every leg bone is initially part of a leg
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10845-10845 Every lower leg is initially part of a leg
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10808-10808 Every tibialis anterior is initially part of a leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10793-10793 Every quadriceps is initially part of a leg
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10840-10840 Every upper leg is initially part of a 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 A gastrocnemius is typically a part of a leg
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10815-10815 A hamstring muscle is typically a part of a leg
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10846-10846 A lower leg is typically a part of a leg
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10807-10807 A tibialis anterior is typically a part of a leg
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10792-10792 A quadriceps is typically a part of a leg
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10841-10841 A upper leg is typically a part of a 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 Left leg is a subclass of the left leg
(subclass RightLeg
    (BodySideFn Right Leg))
Medicine.kif 2909-2909 Right leg is a subclass of the right leg
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 5167-5167 Trousers is a subclass of a covering for leg


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

Show without tree


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