Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AudioRecorder(audio recorder) |  | answering_machine, recording_system |
| appearance as argument number 1 |
|
|
| (subclass AudioRecorder Device) | Mid-level-ontology.kif 28802-28802 | Audio recorder is a subclass of device |
| (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 28803-28804 | Audio recorder is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AudioRecorder "audio recorder") | Mid-level-ontology.kif 28805-28805 | |
| (subclass TapeRecorder AudioRecorder) | Media.kif 1278-1278 | 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 28807-28817 | If X is an instance of audio recorder, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating sound (3) W is an instance of intentional process (4) X is an instrument for W (5) Y is a patient of W (6) Z is a result of W (7) Z is an instance of audio recording |
|