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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arm
Arm

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


(documentation Arm EnglishLanguage "The upper Limbs of a Primate.") Mid-level-ontology.kif 10179-10179
(externalImage Arm "http://upload.wikimedia.org/wikipedia/commons/e/e3/Arm.agr.jpg") pictureList.kif 29-29
(subclass Arm Limb) Mid-level-ontology.kif 10178-10178 subclass Arm and Limb

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


(termFormat ChineseLanguage Arm "臂") domainEnglishFormat.kif 8387-8387
(termFormat ChineseTraditionalLanguage Arm "臂") domainEnglishFormat.kif 8386-8386
(termFormat EnglishLanguage Arm "arm") domainEnglishFormat.kif 8385-8385

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))
Mid-level-ontology.kif 10181-10186

consequent
-------------------------


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))
Mid-level-ontology.kif 4865-4873
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5554-5562
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))
Mid-level-ontology.kif 10418-10423
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 10194-10199
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))
Mid-level-ontology.kif 14664-14669
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))
Mid-level-ontology.kif 10429-10434


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