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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Arm

Sigma KEE - Arm
Arm

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


(documentation Arm EnglishLanguage "The upper Limbs of a Primate.") Mid-level-ontology.kif 12487-12487
(externalImage Arm "http://upload.wikimedia.org/wikipedia/commons/e/e3/Arm.agr.jpg") pictureList.kif 29-29
(subclass Arm Limb) Mid-level-ontology.kif 12486-12486 Arm est une sous-classe de Limb

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


(initialPart ArmBone Arm) Anatomy.kif 688-688 initialPart ArmBone and Arm
(initialPart Bicep Arm) Mid-level-ontology.kif 10810-10810 initialPart Bicep and Arm
(initialPart Forearm Arm) Mid-level-ontology.kif 10857-10857 initialPart Forearm and Arm
(initialPart Tricep Arm) Mid-level-ontology.kif 10815-10815 initialPart Tricep and Arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 10862-10862 initialPart UpperArm and 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 10809-10809 typicalPart Bicep and Arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 10858-10858 typicalPart Forearm and Arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 10814-10814 typicalPart Tricep and Arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 10863-10863 typicalPart UpperArm and Arm

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


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

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


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))
Mid-level-ontology.kif 4384-4392
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5267-5275
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))
Mid-level-ontology.kif 12766-12771
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 12501-12506
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))
Mid-level-ontology.kif 17110-17115
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))
Mid-level-ontology.kif 12777-12782

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


(subclass LeftArm
    (BodySideFn Left Arm))
Medicine.kif 2858-2858 LeftArm est une sous-classe de BodySideFn Left and Arm
(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2861-2861 RightArm est une sous-classe de BodySideFn Right and Arm
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5265-5265 Sleeve est une sous-classe de CoveringFn 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