Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Shoulder(shoulder)
|  | shoulder |
| appearance as argument number 1 |
|
|
| (subclass Shoulder AnimalAnatomicalStructure) | Mid-level-ontology.kif 14397-14397 | Shoulder is a subclass of animal anatomical structure |
| (subclass Shoulder BodyPart) | Mid-level-ontology.kif 14398-14398 | Shoulder is a subclass of body part |
| (documentation Shoulder EnglishLanguage "The part of a Primate between the Arm and the neck.") | Mid-level-ontology.kif 14399-14400 | Shoulder is a subclass of body part |
| (externalImage Shoulder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Shoulderjoint.PNG/ 300px_Shoulderjoint.PNG") | pictureList.kif 1250-1250 | Shoulder is a subclass of body part |
| appearance as argument number 2 |
|
|
| (initialPart ShoulderGirdleBone Shoulder) | Anatomy.kif 228-228 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat EnglishLanguage Shoulder "shoulder") | domainEnglishFormat.kif 52858-52858 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseTraditionalLanguage Shoulder "肩") | domainEnglishFormat.kif 52859-52859 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseLanguage Shoulder "肩") | domainEnglishFormat.kif 52860-52860 | 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 14402-14407 | If X is an instance of shoulder, then there exists Y such that Y is an instance of primate and X is a part of Y |
| consequent |
|
|
| (=> (instance ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B)))))) |
Mid-level-ontology.kif 1475-1490 | If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z |
| (=> (and (instance ?SHRUG Shrugging) (patient ?SHRUG ?SHOULDER)) (instance ?SHOULDER Shoulder)) |
Mid-level-ontology.kif 22189-22193 | If X is an instance of shrugging and Y is a patient of X, then Y is an instance of shoulder |
| statement |
|
|
| (subclass LeftShoulder (BodySideFn Left Shoulder)) |
Medicine.kif 2876-2876 | Left shoulder is a subclass of the left of shoulder |
| (subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2879-2879 | Right elbow is a subclass of the right of shoulder |
|