TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2953-2957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 774-774
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2952-2952	Telephone e' uma sub-classe de CommunicationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2951-2951	Telephone e' uma sub-classe de ElectricDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24574-24574	Telephone e' uma sub-classe de TelephonyDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25060-25060	FixedPhone e' uma sub-classe de Telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25063-25063	MobileCellPhone e' uma sub-classe de Telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25070-25070	SatellitePhone e' uma sub-classe de Telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26277-26277	TDDPhone e' uma sub-classe de Telephone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57290-57290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57289-57289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57288-57288

appearance as argument number 3

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

FinancialOntology.kif 3681-3681

O argumento numero 2 de phoneNumber e' uma instancia de Telephone

antecedent

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

Mid-level-ontology.kif 25007-25014

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 40-45	Componente de Engenharia e' uma instancia de TelephoneSystem Componente de Engenharia Componente de Engenharia e' uma instancia de Telephone Componente de Engenharia e' um componente de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2966-2971	Processo e' uma instancia de Telephoning Objeto Objeto e' uma instancia de Telephone Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3637-3648	Objeto e' uma instancia de TelephoneLine Objeto Objeto Objeto e' uma instancia de Telephone Objeto e' uma instancia de Telegraph Objeto e' uma instancia de Telephone Objeto e' uma instancia de Telegraph Objeto e' igual a Objeto Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27027-27038	Processo e' uma instancia de TelephoneCommunication AutonomousAgent AutonomousAgent, ContactSite and ContactSite Processo tem como origem ContactSite Processo termina em ContactSite siteForContact ContactSite and AutonomousAgent siteForContact ContactSite and AutonomousAgent AutonomousAgent e' uma instancia de Telephone AutonomousAgent e' uma instancia de Telephone AutonomousAgent e' um instrumento para Processo AutonomousAgent e' um instrumento para Processo