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

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


(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33763-33763
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33762-33762
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33761-33761

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


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

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 4885-4899
(=>
    (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 10363-10376
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 5457-5465
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))
Mid-level-ontology.kif 10408-10413
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 10383-10388
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 10452-10457


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