TreeView Knowledge Base Browser - Microphone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Microphone

Microphone(microphone)

bug, capacitor_microphone, cardioid_microphone, condenser_microphone, crystal_microphone, directional_microphone, electro-acoustic_transducer, microphone, mike, mouthpiece, spike_mike

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1799-1800
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1180-1180
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1798-1798	Microphone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1797-1797	Microphone is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 542-542	Computer microphone is a subclass of microphone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37445-37445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37444-37444
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37443-37443

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 550-554

If an entity is an instance of microphone and the entity is an instance of computer output device,
then the entity is an instance of computer microphone

consequent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26443-26450	If an object is an instance of telephone handset, then there exist another object and a third object such that the other object is an instance of earphone and the third object is an instance of microphone and the other object is a part of the object and the third object is a part of the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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