Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Glove
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Glove Clothing) | Mid-level-ontology.kif 6225-6225 | Glove is a subclass of clothing |
| (documentation Glove EnglishLanguage "Clothing that is intended to be worn on the Hand. Note that this class covers both gloves which have individual compartments for each of the Fingers and mittens.") | Mid-level-ontology.kif 6226-6228 | Glove is a subclass of clothing |
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4635-4635 | equal glove and a covering for hand |
| (externalImage Glove "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Disposable_nitrile_glove.jpg") | pictureList.kif 103-103 | equal glove and a covering for hand |
| (externalImage Glove "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ baseball/ Glove_2.png") | pictureList.kif 466-466 | equal glove and a covering for hand |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 6230-6238 | If X wears Y and Y is an instance of glove, then there exists Z such that Z is an instance of hand, Z is a part of X, and Y meets Z |
|
