AudioRecorder(audio recorder) | answering_machine, recording_system |
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 26510-26511 | |
(subclass AudioRecorder Device) | Mid-level-ontology.kif 26509-26509 | Audio recorder is a subclass of device |
appearance as argument number 2 |
(subclass TapeRecorder AudioRecorder) | Media.kif 1331-1331 | Tape recorder is a subclass of audio recorder |
(termFormat EnglishLanguage AudioRecorder "audio recorder") | Mid-level-ontology.kif 26512-26512 | Tape recorder is a subclass of audio recorder |
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 26514-26524 |
|