TelephoneHandset - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26471-26473
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26470-26470	TelephoneHandset e' uma sub-classe de Aparelho

appearance as argument number 2

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

Mid-level-ontology.kif 26474-26474

antecedent

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

Mid-level-ontology.kif 26476-26483

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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