TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2565-2565	PowerSource 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 26355-26355	ACPowerSource e' uma sub-classe de PowerSource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2575-2575	DCPowerSource e' uma sub-classe de PowerSource
No TPTP formula. May not be expressible in strict first order.	engineering.kif 873-873	SinglePhasePowerSource e' uma sub-classe de PowerSource
No TPTP formula. May not be expressible in strict first order.	engineering.kif 878-878	ThreePhasePowerSource e' uma sub-classe de PowerSource
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47060-47060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47059-47059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47058-47058

appearance as argument number 3

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

Mid-level-ontology.kif 26368-26368

O argumento numero 1 de voltageMeasure e' uma instancia de PowerSource

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25947-25960	Componente de Engenharia e' uma instancia de ElectricalPlug Componente de Engenharia e' uma instancia de ElectricDevice Buraco e' uma instancia de ElectricalOutlet Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia completa completemente Buraco Componente de Engenharia e' uma instancia de PowerSource Componente de Engenharia e' conectado a Buraco Processo Processo e' uma instancia de RadiatingElectromagnetic Processo tem como origem Componente de Engenharia Processo termina em Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2566-2571	Objeto e' uma instancia de PowerSource Processo Processo e' uma instancia de RadiatingElectromagnetic Processo tem como origem Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 882-901	Fisico e' uma instancia de TransferSwitch Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma instancia de PowerSource Entidade e' uma instancia de PowerSource Entidade e' uma instancia de Electricity Fisico e' um instrumento para Entidade Entidade tem como origem Entidade vale durante o comeco de tempo de existencia de Entidade Entidade tem como origem Entidade vale durante o fim de tempo de existencia de Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25919-25927	Fisico e' uma instancia de ElectricalOutlet Fisico tem por fim Entidade Entidade Entidade e' uma instancia de PowerSource Entidade e' uma instancia de Colecao memberType Entidade and WireLine Entidade conecta Fisico e Entidade