Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Microphone(microphone)
|  | bug, capacitor_microphone, cardioid_microphone, condenser_microphone, crystal_microphone, directional_microphone, electro-acoustic_transducer, microphone, mike, mouthpiece, spike_mike |
| appearance as argument number 1 |
|
|
| (subclass Microphone ElectricDevice) | Mid-level-ontology.kif 2372-2372 | Microphone is a subclass of electric device |
| (subclass Microphone CommunicationDevice) | Mid-level-ontology.kif 2373-2373 | Microphone is a subclass of communication device |
| (documentation Microphone EnglishLanguage "A CommunicationDevice that converts sound into electrical energy.") | Mid-level-ontology.kif 2374-2375 | Microphone is a subclass of communication device |
| (externalImage Microphone "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 11/ Microphone_U87.jpg/ 250px_Microphone_U87.jpg") | pictureList.kif 1180-1180 | Microphone is a subclass of communication device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DEV Microphone) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerMicrophone)) |
ComputerInput.kif 566-570 | If X is an instance of microphone and X is an instance of computer output device, then X is an instance of computer microphone |
| consequent |
|
|
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 28668-28672 | If X is an instance of public address system, then microphone is a member type of X and speaker is a member type of X |
| (=> (instance ?X TelephoneHandset) (exists (?EARPHONE ?MIC) (and (instance ?EARPHONE Earphone) (instance ?MIC Microphone) (part ?EARPHONE ?X) (part ?MIC ?X)))) |
Mid-level-ontology.kif 29041-29048 | If X is an instance of telephone handset, then there exist Y, Z such that Y is an instance of earphone, Z is an instance of microphone, Y is a part of X, and Z is a part of X |
|