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
-------------------------


s__documentation(s__SpeakerDevice,s__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 25257-25258
s__documentation(s__SpeakerDevice,s__EnglishLanguage,'"A Device for projecting sound into a medium."')

ComputerInput.kif 503-504
s__instance(s__SpeakerDevice,s__Class)

s__subclass(s__SpeakerDevice,s__Device)

s__instance(s__Device,s__Class)

ComputerInput.kif 501-501 Speaker is a subclass of device
s__instance(s__SpeakerDevice,s__Class)

s__instance(s__ElectricDevice,s__Class)

s__subclass(s__SpeakerDevice,s__ElectricDevice)

Mid-level-ontology.kif 25256-25256 Speaker is a subclass of electric device

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


s__instance(s__ElectricSpeakerDevice,s__Class)

s__instance(s__SpeakerDevice,s__Class)

s__subclass(s__ElectricSpeakerDevice,s__SpeakerDevice)

ComputerInput.kif 510-510 ElectricSpeakerDevice is a subclass of speaker
s__termFormat(s__EnglishLanguage,s__SpeakerDevice,'"speaker"')

Mid-level-ontology.kif 25259-25259

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


( ! [V__DEV] :
   (((s__instance(V__DEV,s__SpeakerDevice) &
         s__instance(V__DEV,s__ElectricDevice))
       =>
       (s__instance(V__DEV,s__ElectricSpeakerDevice)))
     )
   )

ComputerInput.kif 516-520
( ! [V__SPEAKER] :
   ((s__instance(V__SPEAKER,s__SpeakerDevice) =>
       (s__capability(s__RadiatingSound,s__instrument__m,V__SPEAKER)))
   )
)

ComputerInput.kif 506-508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25261-25268

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


( ! [V__NC] :
   ((s__instance(V__NC,s__Process) =>
       ((s__instance(V__NC,s__NetworkCommunicationFn(s__AirPlay))
         =>
         ((( ? [V__TV] :
               ((s__instance(V__TV,s__TelevisionSet) &
                   s__destination(V__NC,V__TV))))
           |
           ( ? [V__SP] :
             ((s__instance(V__SP,s__SpeakerDevice) &
                 s__destination(V__NC,V__SP)))))))))
)
)

ComputingBrands.kif 1829-1839
( ! [V__X] :
   ((s__instance(V__X,s__PublicAddressSystem) =>
       ((s__memberType(V__X,s__Microphone) &
           s__memberType(V__X,s__SpeakerDevice))))
     )
   )

Mid-level-ontology.kif 25320-25324


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