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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26035-26036
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 477-478
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 475-475	Speaker is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26034-26034	Speaker is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 484-484	Electric speaker device is a subclass of speaker
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26037-26037

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	If an object is an instance of speaker, then the object is capable of doing radiating sound as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26039-26046	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26098-26102	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