| 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 26023-26024 | |
| (documentation SpeakerDevice EnglishLanguage "A Device for projecting sound into a medium.") | ComputerInput.kif 477-478 | |
| (subclass SpeakerDevice Device) | ComputerInput.kif 475-475 | Speaker is a subclass of device |
| (subclass SpeakerDevice ElectricDevice) | Mid-level-ontology.kif 26022-26022 | Speaker is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (subclass ElectricSpeakerDevice SpeakerDevice) | ComputerInput.kif 484-484 | Electric speaker device is a subclass of speaker |
| (termFormat EnglishLanguage SpeakerDevice "speaker") | Mid-level-ontology.kif 26025-26025 |
| 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 26027-26034 |
|
| 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 26086-26090 |
|
|
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