|
|
   SpeakerDevice
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SpeakerDevice EnglishLanguage "SpeakerDevice is a type of device that converts electrical signals into sounds loud enough to be heard at a distance") | Mid-level-ontology.kif 26068-26069 | |
| (documentation SpeakerDevice EnglishLanguage "A Device for projecting sound into a medium.") | ComputerInput.kif 477-478 | |
| (subclass SpeakerDevice Device) | ComputerInput.kif 475-475 | SpeakerDevice ist eine teilkategorie von Device |
| (subclass SpeakerDevice ElectricDevice) | Mid-level-ontology.kif 26067-26067 | SpeakerDevice ist eine teilkategorie von ElectricDevice |
| appearance as argument number 2 |
|
|
| (subclass ElectricSpeakerDevice SpeakerDevice) | ComputerInput.kif 484-484 | ElectricSpeakerDevice ist eine teilkategorie von SpeakerDevice |
| (termFormat EnglishLanguage SpeakerDevice "speaker") | Mid-level-ontology.kif 26070-26070 |
| antecedent |
|
|
| (=> (and (instance ?DEV SpeakerDevice) (instance ?DEV ElectricDevice)) (instance ?DEV ElectricSpeakerDevice)) |
ComputerInput.kif 490-494 |
|
| (=> (instance ?SPEAKER SpeakerDevice) (capability RadiatingSound instrument ?SPEAKER)) |
ComputerInput.kif 480-482 |
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 26072-26079 |
|
| consequent |
|
|
| (=> (instance ?NC (NetworkCommunicationFn AirPlay)) (or (exists (?TV) (and (instance ?TV TelevisionSet) (destination ?NC ?TV))) (exists (?SP) (and (instance ?SP SpeakerDevice) (destination ?NC ?SP))))) |
ComputingBrands.kif 1860-1870 |
|
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 26131-26135 |
|
|
|
|