Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Arm
Arm(arm)
arm

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


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

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


(typicalPart Bicep Arm) Mid-level-ontology.kif 12239-12239 A bicep is typically a part of a arm
(initialPart Bicep Arm) Mid-level-ontology.kif 12240-12240 Every bicep is initially part of a arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 12244-12244 A tricep is typically a part of a arm
(initialPart Tricep Arm) Mid-level-ontology.kif 12245-12245 Every tricep is initially part of a arm
(initialPart Forearm Arm) Mid-level-ontology.kif 12287-12287 Every forearm is initially part of a arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 12288-12288 A forearm is typically a part of a arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 12292-12292 Every upper arm is initially part of a arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 12293-12293 A upper arm is typically a part of a arm
(initialPart ArmBone Arm) Anatomy.kif 692-692 Every arm bone is initially part of a arm
(termFormat EnglishLanguage Arm "arm") domainEnglishFormat.kif 8374-8374 Every arm bone is initially part of a arm
(termFormat ChineseTraditionalLanguage Arm "臂") domainEnglishFormat.kif 8375-8375 Every arm bone is initially part of a arm
(termFormat ChineseLanguage Arm "臂") domainEnglishFormat.kif 8376-8376 Every arm bone is initially part of a arm

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))		 Mid-level-ontology.kif 14077-14082 If X is an instance of arm, then there exists Y such that Y is an instance of primate and X is a part of Y

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


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))		 Mid-level-ontology.kif 5000-5008 If X is an instance of crawling and Y is an agent of X, then there exists Z such that Z is an instance of arm, Z is a part of Y, and Z is an instrument for X
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 6368-6376 If X wears Y and Y is an instance of sleeve, then there exists Z such that Z is an instance of arm, Z is a part of X, and Y contains Z
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))		 Mid-level-ontology.kif 14089-14094 If X is an instance of hand, then there exists Y such that Y is an instance of arm and X is a part of Y
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))		 Mid-level-ontology.kif 14356-14361 If X is an instance of elbow, then there exists Y such that Y is an instance of arm and X is a part of Y
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))		 Mid-level-ontology.kif 14367-14372 If X is an instance of wrist, then there exists Y such that Y is an instance of arm and X is a part of Y
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))		 Mid-level-ontology.kif 18701-18706 If X is an instance of throwing, then there exists Y such that Y is an instance of arm and Y is an instrument for X