TelephoneHandset - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TelephoneHandset EnglishLanguage "TelephoneHandset is the part of the Telephone that has a Earphone and a Microphone for the transmission and reception of sound")	Mid-level-ontology.kif 26471-26473
(subclass TelephoneHandset Device)	Mid-level-ontology.kif 26470-26470	TelephoneHandset e' uma sub-classe de Aparelho

appearance as argument number 2

(termFormat EnglishLanguage TelephoneHandset "telephone handset")

Mid-level-ontology.kif 26474-26474

antecedent

(=>
    (instance ?X TelephoneHandset)
    (exists (?EARPHONE ?MIC)
        (and
            (instance ?EARPHONE Earphone)
            (instance ?MIC Microphone)
            (part ?EARPHONE ?X)
            (part ?MIC ?X))))

Mid-level-ontology.kif 26476-26483

Objeto e' uma instancia de TelephoneHandset
Objeto Objeto Objeto e' uma instancia de Earphone Objeto e' uma instancia de Microphone Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

consequent

(=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))	Communications.kif 78-87	Objeto e' uma instancia de CordedTelephone Componente de Engenharia Componente de Engenharia and Conexao de Engenharia Componente de Engenharia e' uma instancia de TelephoneHandset Componente de Engenharia e' uma instancia de TelephoneCradle Componente de Engenharia e' uma &parte de Objeto Componente de Engenharia e' uma &parte de Objeto Conexao de Engenharia e' uma instancia de WireLine Conexao de Engenharia conecta Componente de Engenharia e Componente de Engenharia
(=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))	Communications.kif 95-107	Objeto e' uma instancia de CordlessTelephone Componente de Engenharia Componente de Engenharia Componente de Engenharia e' uma instancia de TelephoneHandset Componente de Engenharia e' uma instancia de TelephoneCradle Componente de Engenharia e' uma &parte de Objeto Componente de Engenharia e' uma &parte de Objeto Conexao de Engenharia Conexao de Engenharia e' uma instancia de WireLine Conexao de Engenharia conecta Componente de Engenharia e Componente de Engenharia

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

KB Term:			Term intersection

English Word: