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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Arm
Arm

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


(documentation Arm EnglishLanguage "The upper Limbs of a Primate.") Mid-level-ontology.kif 13791-13791
(externalImage Arm "http://upload.wikimedia.org/wikipedia/commons/e/e3/Arm.agr.jpg") pictureList.kif 29-29
(subclass Arm Limb) Mid-level-ontology.kif 13790-13790 ArmLimbsubclass では

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


(initialPart ArmBone Arm) Anatomy.kif 703-703 initialPart ArmBone and Arm
(initialPart Bicep Arm) Mid-level-ontology.kif 12114-12114 initialPart Bicep and Arm
(initialPart Forearm Arm) Mid-level-ontology.kif 12161-12161 initialPart Forearm and Arm
(initialPart Tricep Arm) Mid-level-ontology.kif 12119-12119 initialPart Tricep and Arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 12166-12166 initialPart UpperArm and Arm
(termFormat ChineseLanguage Arm "臂") domainEnglishFormat.kif 8377-8377 initialPart UpperArm and Arm
(termFormat ChineseTraditionalLanguage Arm "臂") domainEnglishFormat.kif 8376-8376 initialPart UpperArm and Arm
(termFormat EnglishLanguage Arm "arm") domainEnglishFormat.kif 8375-8375 initialPart UpperArm and Arm
(typicalPart Bicep Arm) Mid-level-ontology.kif 12113-12113 typicalPart Bicep and Arm
(typicalPart Forearm Arm) Mid-level-ontology.kif 12162-12162 typicalPart Forearm and Arm
(typicalPart Tricep Arm) Mid-level-ontology.kif 12118-12118 typicalPart Tricep and Arm
(typicalPart UpperArm Arm) Mid-level-ontology.kif 12167-12167 typicalPart UpperArm and Arm

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


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

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


(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))
Mid-level-ontology.kif 4834-4842
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 6210-6218
(=>
    (instance ?E Elbow)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?E ?A))))
Mid-level-ontology.kif 14070-14075
(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 13805-13810
(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))
Mid-level-ontology.kif 18470-18475
(=>
    (instance ?W Wrist)
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?W ?A))))
Mid-level-ontology.kif 14081-14086

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


(subclass LeftArm
    (BodySideFn Left Arm))
Medicine.kif 2859-2859 LeftArmBodySideFn Left and Armsubclass では
(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2862-2862 RightArmBodySideFn Right and Armsubclass では
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 6208-6208 SleeveCoveringFn Armsubclass では


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 is open source software produced by Articulate Software and its partners