TreeView Knowledge Base Browser - ComputerMicrophone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerMicrophone

Sigma KEE - ComputerMicrophone

ComputerMicrophone(computer microphone)

appearance as argument number 1

(subclass ComputerMicrophone ComputerInputDevice)	ComputerInput.kif 541-541	Computer microphone is a subclass of computer input device
(subclass ComputerMicrophone Microphone)	ComputerInput.kif 542-542	Computer microphone is a subclass of microphone

appearance as argument number 2

(termFormat EnglishLanguage ComputerMicrophone "computer microphone")

domainEnglishFormat.kif 64681-64681

consequent

(=>
    (and
        (instance ?DEV Microphone)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerMicrophone))

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

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