TapeRecorder
|
|
appearance as argument number 1 |
(documentation TapeRecorder EnglishLanguage "TapeRecorder is a type of AudioRecorder that stores the recorded AudioRecording on a RecordingTape") | Media.kif 1332-1333 | |
(subclass TapeRecorder AudioRecorder) | Media.kif 1331-1331 | TapeRecorder 是 AudioRecorder 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage TapeRecorder "tape recorder") | Media.kif 1334-1334 |
antecedent |
(=> (instance ?X TapeRecorder) (hasPurpose ?X (exists (?AUDIO ?TAPE ?PROC) (and (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (result ?PROC ?AUDIO) (instance ?AUDIO AudioRecording) (instance ?TAPE RecordingTape) (holdsDuring ?PROC (connected ?TAPE ?X)) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn (part ?AUDIO ?TAPE)))))))) |
Media.kif 1336-1350 |
|