Shoulder - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Shoulder EnglishLanguage "The part of a Primate between the Arm and the neck.")	Mid-level-ontology.kif 14131-14132
(externalImage Shoulder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Shoulderjoint.PNG/ 300px_Shoulderjoint.PNG")	pictureList.kif 1250-1250
(subclass Shoulder AnimalAnatomicalStructure)	Mid-level-ontology.kif 14129-14129	Shoulder is a subclass of animal anatomical structure
(subclass Shoulder BodyPart)	Mid-level-ontology.kif 14130-14130	Shoulder is a subclass of body part

appearance as argument number 2

(initialPart ShoulderGirdleBone Shoulder)	Anatomy.kif 231-231	Every shoulder girdle bone is initially part of a shoulder
(termFormat ChineseLanguage Shoulder "肩")	domainEnglishFormat.kif 52896-52896	Every shoulder girdle bone is initially part of a shoulder
(termFormat ChineseTraditionalLanguage Shoulder "肩")	domainEnglishFormat.kif 52895-52895	Every shoulder girdle bone is initially part of a shoulder
(termFormat EnglishLanguage Shoulder "shoulder")	domainEnglishFormat.kif 52894-52894	Every shoulder girdle bone is initially part of a shoulder

antecedent

(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))

Mid-level-ontology.kif 14134-14139

If an object is an instance of shoulder,
then there exists another object such that the other object is an instance of primate and the object is a part of the other object

consequent

(=> (and (instance ?SHRUG Shrugging) (patient ?SHRUG ?SHOULDER)) (instance ?SHOULDER Shoulder))	Mid-level-ontology.kif 21578-21582	If a process is an instance of shrugging and an entity is a patient of the process, then the entity is an instance of shoulder
(=> (instance ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B))))))	Mid-level-ontology.kif 1439-1454	If a physical is an instance of butt stock, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityH such that the entity is an instance of long gun and the physical is a part of the entity and the other entity is an instance of shooting and instument the other entity and the entity and the third entity is an agent of the other entity and the third entity is an instance of human and the other entityH is a part of the third entity and the other entityH is an instance of shoulder and the other entity meets the physical holds during the time of existence of the other entity

statement

(subclass LeftShoulder (BodySideFn Left Shoulder))	Medicine.kif 2871-2871	Left shoulder is a subclass of the left shoulder
(subclass RightElbow (BodySideFn Right Shoulder))	Medicine.kif 2874-2874	Right elbow is a subclass of the right shoulder

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

KB Term:			Term intersection

English Word: