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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arm
Arm(arm)
arm

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


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

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


(initialPart ArmBone Arm) Anatomy.kif 687-687 Every arm bone is initially part of a arm
(initialPart Bicep Arm) Mid-level-ontology.kif 11679-11679 Every bicep is initially part of a arm
(initialPart Forearm Arm) Mid-level-ontology.kif 11726-11726 Every forearm is initially part of a arm
(initialPart Tricep Arm) Mid-level-ontology.kif 11684-11684 Every tricep is initially part of a arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 11731-11731 Every upper arm is initially part of a arm
(termFormat ChineseLanguage Arm "臂") domainEnglishFormat.kif 8383-8383 Every upper arm is initially part of a arm
(termFormat ChineseTraditionalLanguage Arm "臂") domainEnglishFormat.kif 8382-8382 Every upper arm is initially part of a arm
(termFormat EnglishLanguage Arm "arm") domainEnglishFormat.kif 8381-8381 Every upper arm is initially part of a arm
(typicalPart Bicep Arm) Mid-level-ontology.kif 11678-11678 A bicep is typically a part of a arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 11727-11727 A forearm is typically a part of a arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 11683-11683 A tricep is typically a part of a arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 11732-11732 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 13358-13363

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


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))
Mid-level-ontology.kif 4457-4465
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5822-5830
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))
Mid-level-ontology.kif 13635-13640
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 13370-13375
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))
Mid-level-ontology.kif 18011-18016
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))
Mid-level-ontology.kif 13646-13651