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 è una sottoclasse di Dispositivo |
(subclass SpeakerDevice ElectricDevice) | Mid-level-ontology.kif 26067-26067 | SpeakerDevice è una sottoclasse di ElectricDevice |
appearance as argument number 2 |
(subclass ElectricSpeakerDevice SpeakerDevice) | ComputerInput.kif 484-484 | ElectricSpeakerDevice è una sottoclasse di 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 |