| 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 26299-26300 | |
| (documentation SpeakerDevice EnglishLanguage "A Device for projecting sound into a medium.") | ComputerInput.kif 477-478 | |
| (subclass SpeakerDevice Device) | ComputerInput.kif 475-475 | |
| (subclass SpeakerDevice ElectricDevice) | Mid-level-ontology.kif 26298-26298 |
| appearance as argument number 2 |
|
|
| (subclass ElectricSpeakerDevice SpeakerDevice) | ComputerInput.kif 484-484 | |
| (termFormat EnglishLanguage SpeakerDevice "speaker") | Mid-level-ontology.kif 26301-26301 |
| 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 26303-26310 |
| 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 26362-26366 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners