Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Fist(fist)
|  | clenched_fist, fist |
| appearance as argument number 1 |
|
|
| (instance Fist BodyPosition) | Mid-level-ontology.kif 21770-21770 | Fist is an instance of body position |
| (documentation Fist EnglishLanguage "The BodyPosition of having the fingers drawn into the palm so that the hand can be used for striking something.") | Mid-level-ontology.kif 21771-21772 | Fist is an instance of body position |
| (externalImage Fist "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_3/ fist.png") | pictureList.kif 435-435 | Fist is an instance of body position |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 21774-21776 | If fist is an attribute of X, then X is an instance of hand |
| consequent |
|
|
| (=> (and (instance ?P Punching) (agent ?P ?A)) (exists (?H) (and (instance ?H Hand) (attribute ?H Fist) (part ?H ?A) (instrument ?P ?H)))) |
Mid-level-ontology.kif 7710-7719 | If X is an instance of punching and Y is an agent of X, then there exists Z such that Z is an instance of hand, fist is an attribute of Z, Z is a part of Y, and Z is an instrument for X |
|