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 subclass

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


(initialPart ArmBone Arm) Anatomy.kif 688-688 %每个 ArmBoneinitially part
(initialPart Bicep Arm) Mid-level-ontology.kif 10783-10783 %每个 Bicepinitially part
(initialPart Forearm Arm) Mid-level-ontology.kif 10830-10830 %每个 Forearminitially part
(initialPart Tricep Arm) Mid-level-ontology.kif 10788-10788 %每个 Tricepinitially part
(initialPart UpperArm Arm) Mid-level-ontology.kif 10835-10835 %每个 UpperArminitially part
(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 Bicep typicallypart
(typicalPart Forearm Arm) Mid-level-ontology.kif 10831-10831 Forearm typicallypart
(typicalPart Tricep Arm) Mid-level-ontology.kif 10787-10787 Tricep typicallypart
(typicalPart UpperArm Arm) Mid-level-ontology.kif 10836-10836 UpperArm typicallypart

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 LeftArmBodySideFn and subclass
(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2861-2861 RightArmBodySideFn and subclass
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5271-5271 是 对于 coveringsubclass


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