| AudioRecorder | |
| appearance as argument number 1 |
|
|
| (documentation AudioRecorder EnglishLanguage "AudioRecorder is a type of Device that creates an AudioRecording by capturing sound and storing it in a DataStorageDevice") | Mid-level-ontology.kif 26279-26280 | |
| (subclass AudioRecorder Device) | Mid-level-ontology.kif 26278-26278 | 子類 AudioRecorder and Device |
| appearance as argument number 2 |
|
|
| (subclass TapeRecorder AudioRecorder) | Media.kif 1331-1331 | 子類 TapeRecorder and AudioRecorder |
| (termFormat EnglishLanguage AudioRecorder "audio recorder") | Mid-level-ontology.kif 26281-26281 |
| antecedent |
|
|
| (=> (instance ?X AudioRecorder) (hasPurpose ?X (exists (?RS ?RECORD ?PROC) (and (instance ?RS RadiatingSound) (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (patient ?PROC ?RS) (result ?PROC ?RECORD) (instance ?RECORD AudioRecording))))) |
Mid-level-ontology.kif 26283-26293 |
|
|
|