Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RecordingTape(recording tape) |  | mag_tape, magnetic_stripe, magnetic_tape, tape |
| appearance as argument number 1 |
|
|
| (subclass RecordingTape ElectronicDataStorageDevice) | Media.kif 1272-1272 | Recording tape is a subclass of electronic data storage device |
| (documentation RecordingTape EnglishLanguage "An instance of RecordingTape is length of magnetic tape used to store data encoded in some electronic (digital or analog) encoding.") | Media.kif 1273-1276 | Recording tape is a subclass of electronic data storage device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RecordingTape "recording tape") | domainEnglishFormat.kif 65396-65396 |
| consequent |
|
|
| (=> (instance ?OBJ TapeCassette) (exists (?TAPE) (and (instance ?TAPE RecordingTape) (component ?TAPE ?OBJ)))) |
Media.kif 1256-1261 | If X is an instance of tape cassette, then there exists Y such that Y is an instance of recording tape and Y is a component of X |
|