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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leg

Sigma KEE - Leg
Leg(腿)

appearance as argument number 1
-------------------------


(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") Mid-level-ontology.kif 12672-12672
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") pictureList.kif 123-123
(subclass Leg Limb) Mid-level-ontology.kif 12671-12671 subclass

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


(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10800-10800 %每个 CalfMuscleinitially part
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10815-10815 %每个 HamstringMuscleinitially part
(initialPart LegBone Leg) Anatomy.kif 1035-1035 %每个 LegBoneinitially part
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10844-10844 %每个 LowerLeginitially part
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10807-10807 %每个 ShinMuscleinitially part
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10792-10792 %每个 ThighMuscleinitially part
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10839-10839 %每个 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 10799-10799 CalfMuscle typicallypart
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10814-10814 HamstringMuscle typicallypart
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10845-10845 LowerLeg typicallypart
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 10806-10806 ShinMuscle typicallypart
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10791-10791 ThighMuscle typicallypart
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 10840-10840 UpperLeg typicallypart

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


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

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 12681-12694
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 5168-5176
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 12727-12732
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12701-12706
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12772-12777

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


(subclass LeftLeg
    (BodySideFn Left Leg))
Medicine.kif 2906-2906 LeftLegBodySideFn and subclass
(subclass RightLeg
    (BodySideFn Right Leg))
Medicine.kif 2909-2909 RightLegBodySideFn and subclass
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 5166-5166 长裤 是 对于 coveringsubclass


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