Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CDROM(CD-ROM) |
| appearance as argument number 1 |
|
| (subclass CDROM CompactDisc) | Media.kif 1114-1114 | CD-ROM is a subclass of compact disc |
| (subclass CDROM ReadOnlyMemoryDataStorage) | Media.kif 1115-1115 | CD-ROM is a subclass of read only memory data storage |
| (documentation CDROM EnglishLanguage "An instance of CD-ROM is a CompactDisc in the CompactDisc-ReadOnlyMemory (CD-ROM) format, which allows no modification of data after it has been written.") | Media.kif 1116-1119 | CD-ROM is a subclass of read only memory data storage |
| appearance as argument number 2 |
|
|
| (disjoint CDR CDROM) | Media.kif 1126-1126 | R is disjoint from CD-ROM |
| (termFormat EnglishLanguage CDROM "CD-ROM") | domainEnglishFormat.kif 64584-64584 | R is disjoint from CD-ROM |
|