Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Slug(slug)
more pictures... |  | slug |
| appearance as argument number 1 |
|
|
| (instance Slug UnitOfMass) | Merge.kif 7438-7438 | Slug is an instance of unit of mass |
| (documentation Slug EnglishLanguage "English mass unit of slugs.") | Merge.kif 7440-7440 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/0/01/ Slug_tadiandamol.jpg") | pictureList.kif 6865-6865 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/0/0d/ Unknown_slug_on_rhubarb.jpg") | pictureList.kif 7882-7882 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/2/2e/ Slugs_1896.jpg") | pictureList.kif 7883-7883 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/5/5f/ DSCF8715_slug_curled_up_lg.jpg") | pictureList.kif 7884-7884 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/6/63/ Banana_Slug_Closeup2.jpg") | pictureList.kif 7885-7885 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Limax_maximus.jpg") | pictureList.kif 7886-7886 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Laevecaulis-2.jpg") | pictureList.kif 7887-7887 | Slug is an instance of unit of mass |
| (externalImage Slug "http://upload.wikimedia.org/wikipedia/commons/c/ce/ Slug_parts.png") | pictureList.kif 7892-7892 | Slug is an instance of unit of mass |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14593.90) Gram)) |
Merge.kif 7442-7444 | equal X slug(s) and X and 14593.90 gram(s) |
|