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 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 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 10783-10783 initialPart Bicep and Arm
(initialPart Forearm Arm) Mid-level-ontology.kif 10830-10830 initialPart Forearm and Arm
(initialPart Tricep Arm) Mid-level-ontology.kif 10788-10788 initialPart Tricep and Arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 10835-10835 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 10782-10782 typicalPart Bicep and Arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 10831-10831 typicalPart Forearm and Arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 10787-10787 typicalPart Tricep and Arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 10836-10836 typicalPart UpperArm and 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 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 5271-5271 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