Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CDR(CD-R) |
| appearance as argument number 1 |
|
| (subclass CDR CompactDisc) | Media.kif 1123-1123 | R is a subclass of compact disc |
| (subclass CDR WriteOnceDataStorage) | Media.kif 1124-1124 | R is a subclass of write once data storage |
| (documentation CDR EnglishLanguage "A type of CompactDisc that can be written on once and read from multiple times.") | Media.kif 1125-1125 | R is a subclass of write once data storage |
| (disjoint CDR CDROM) | Media.kif 1126-1126 | R is disjoint from CD-ROM |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CDR "CDR") | Media.kif 1127-1127 | |
| (termFormat EnglishLanguage CDR "CD-R") | domainEnglishFormat.kif 64583-64583 |
|