Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Wrist
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Wrist BodyJoint) | Mid-level-ontology.kif 14363-14363 | Wrist is a subclass of body joint |
| (documentation Wrist EnglishLanguage "The joint in the Arm connecting the radius and carpal bones.") | Mid-level-ontology.kif 14364-14365 | Wrist is a subclass of body joint |
| (externalImage Wrist "http://articulatesoftware.com/SUMOpictures/medical/ symbols/ blue/ WRIST.png") | pictureList.kif 844-844 | Wrist is a subclass of body joint |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 3524-3531 | If X wears Y, Y is located at Z, Y is an instance of clock, Z is an instance of wrist, and Z is a part of X, then Y is an instance of watch clock |
| (=> (instance ?W Wrist) (exists (?A) (and (instance ?A Arm) (part ?W ?A)))) |
Mid-level-ontology.kif 14367-14372 | If X is an instance of wrist, then there exists Y such that Y is an instance of arm and X is a part of Y |
|
