Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SpeakerDevice
SpeakerDevice(speaker)

appearance as argument number 1
-------------------------


(subclass SpeakerDevice ElectricDevice) Mid-level-ontology.kif 28604-28604 Speaker is a subclass of electric device
(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 28605-28606 Speaker is a subclass of electric device
(subclass SpeakerDevice Device) ComputerInput.kif 491-491 Speaker is a subclass of device
(documentation SpeakerDevice EnglishLanguage "A Device for projecting sound into a medium.") ComputerInput.kif 493-494 Speaker is a subclass of device
(subclass SpeakerDevice MediaAppliance) HouseholdAppliances.kif 379-379 Speaker is a subclass of media appliance

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SpeakerDevice "speaker") Mid-level-ontology.kif 28607-28607
(subclass ElectricSpeakerDevice SpeakerDevice) ComputerInput.kif 500-500 Electric speaker device is a subclass of speaker

antecedent
-------------------------


(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))		 Mid-level-ontology.kif 28609-28616 If X is an instance of speaker, then X has the purpose there exists Y such that Y is an instance of radiating sound, X is an instrument for Y, and audible is an attribute of Y
(=>
    (instance ?SPEAKER SpeakerDevice)
    (capability RadiatingSound instrument ?SPEAKER))		 ComputerInput.kif 496-498 If X is an instance of speaker, then X is capable of doing radiating sound as a instrument
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))		 ComputerInput.kif 506-510 If X is an instance of speaker and X is an instance of electric device, then X is an instance of electric speaker device
(=>
    (instance ?DEVICE SpeakerDevice)
    (hasPurpose ?DEVICE
        (exists (?SIGNAL ?RS)
            (and
                (instance ?SIGNAL ElectricalSignalling)
                (instance ?RS RadiatingSound)
                (instrument ?RS ?DEVICE)
                (represents ?RS ?SIGNAL)))))		 HouseholdAppliances.kif 382-390 If X is an instance of speaker, then X has the purpose there exist Y, Z such that Y is an instance of electrical signalling, Z is an instance of radiating sound, X is an instrument for Z, and Z expresses Y

consequent
-------------------------


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners