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

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners