Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeakerDevice
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 24164-24165
(documentation SpeakerDevice EnglishLanguage "A Device for projecting sound into a medium.") ComputerInput.kif 503-504
(subclass SpeakerDevice Device) ComputerInput.kif 501-501
(subclass SpeakerDevice ElectricDevice) Mid-level-ontology.kif 24163-24163

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


(subclass ElectricSpeakerDevice SpeakerDevice) ComputerInput.kif 510-510
(termFormat EnglishLanguage SpeakerDevice "speaker") Mid-level-ontology.kif 24166-24166

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


(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 516-520
(=>
    (instance ?SPEAKER SpeakerDevice)
    (capability RadiatingSound instrument ?SPEAKER))
ComputerInput.kif 506-508
(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))
Mid-level-ontology.kif 24168-24175

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 1827-1837
(=>
    (instance ?X PublicAddressSystem)
    (and
        (memberType ?X Microphone)
        (memberType ?X SpeakerDevice)))
Mid-level-ontology.kif 24227-24231


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