SpeakerDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SpeakerDevice

SpeakerDevice(speaker)

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	Speaker is a subclass of device
(subclass SpeakerDevice ElectricDevice)	Mid-level-ontology.kif 26298-26298	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 26301-26301	Electric speaker device is a subclass of speaker

antecedent

(=> (and (instance ?DEV SpeakerDevice) (instance ?DEV ElectricDevice)) (instance ?DEV ElectricSpeakerDevice))	ComputerInput.kif 490-494	If an entity is an instance of speaker and the entity is an instance of electric device, then the entity is an instance of electric speaker device
(=> (instance ?SPEAKER SpeakerDevice) (capability RadiatingSound instrument ?SPEAKER))	ComputerInput.kif 480-482	If an object is an instance of speaker, then the object is capable of doing radiating sound as a instrument
(=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible)))))	Mid-level-ontology.kif 26303-26310	If a physical is an instance of speaker, then the physical has the purpose there exists an entity such that the entity is an instance of radiating sound and the physical is an instrument for the entity and audible is an attribute of the entity

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	If a process is an instance of communication over AirPlay, then there exists an entity such that the entity is an instance of television set and the process ends up at the entity or there exists another entity such that the other entity is an instance of speaker and the process ends up at the other entity
(=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice)))	Mid-level-ontology.kif 26362-26366	If a collection is an instance of public address system, then microphone is a member type of the collection and speaker is a member type of the collection

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