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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Arm

Sigma KEE - Arm
Arm(arm)
arm

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


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

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


(initialPart ArmBone Arm) Anatomy.kif 688-688 Every arm bone is initially part of a arm
(initialPart Bicep Arm) Mid-level-ontology.kif 10783-10783 Every bicep is initially part of a arm
(initialPart Forearm Arm) Mid-level-ontology.kif 10830-10830 Every forearm is initially part of a arm
(initialPart Tricep Arm) Mid-level-ontology.kif 10788-10788 Every tricep is initially part of a arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 10835-10835 Every upper arm is initially part of a arm
(termFormat ChineseLanguage Arm "臂") domainEnglishFormat.kif 8376-8376
(termFormat ChineseTraditionalLanguage Arm "臂") domainEnglishFormat.kif 8375-8375
(termFormat EnglishLanguage Arm "arm") domainEnglishFormat.kif 8374-8374
(typicalPart Bicep Arm) Mid-level-ontology.kif 10782-10782 A bicep is typically a part of a arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 10831-10831 A forearm is typically a part of a arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 10787-10787 A tricep is typically a part of a arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 10836-10836 A upper arm is typically a part of a arm

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


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

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


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))
Mid-level-ontology.kif 4391-4399
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5273-5281
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))
Mid-level-ontology.kif 12739-12744
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 12474-12479
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))
Mid-level-ontology.kif 17083-17088
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))
Mid-level-ontology.kif 12750-12755

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


(subclass LeftArm
    (BodySideFn Left Arm))
Medicine.kif 2858-2858 Left arm is a subclass of the left arm
(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2861-2861 Right arm is a subclass of the right arm
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5271-5271 Sleeve is a subclass of a covering for arm


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