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 14113-14114
(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 14111-14111	Shoulder is a subclass of animal anatomical structure
(subclass Shoulder BodyPart)	Mid-level-ontology.kif 14112-14112	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 52867-52867	Every shoulder girdle bone is initially part of a shoulder
(termFormat ChineseTraditionalLanguage Shoulder "肩")	domainEnglishFormat.kif 52866-52866	Every shoulder girdle bone is initially part of a shoulder
(termFormat EnglishLanguage Shoulder "shoulder")	domainEnglishFormat.kif 52865-52865	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 14116-14121

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 21561-21565	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 1440-1455	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: