Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JPGFile(JPG file) |
| appearance as argument number 1 |
|
| (documentation JPGFile EnglishLanguage "An instance of JPGFile is an ImageFile encoded in JPG (JPEG) format.") | Media.kif 1376-1377 | |
| (subclass JPGFile ImageFile) | Media.kif 1378-1378 | JPG file is a subclass of image file |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JPGFile "JPG file") | domainEnglishFormat.kif 65053-65053 |
|