TreeView Knowledge Base Browser - ElectricTransmission

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ElectricTransmission

Sigma KEE - ElectricTransmission

ElectricTransmission

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2391-2394
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2389-2389	ElectricTransmission e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2388-2388	ElectricTransmission e' uma sub-classe de Transferencia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2403-2403	Charging e' uma sub-classe de ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2425-2425	Discharging e' uma sub-classe de ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 418-418	Spark e' uma sub-classe de ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2390-2390

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3163-3173	Objeto e' uma instancia de IgnitionCoil Processo e' uma instancia de ElectricTransmission Objeto e' um recurso para Processo Objeto e' uma instancia de Electricity Entidade e' uma instancia de Electricity Entidade e' o resultado de Processo Objeto e' um instrumento para Processo a medida de Objeto e' Numero Real Volt(s) approximateValue Numero Real and 12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2396-2401	Transferencia e' uma instancia de ElectricTransmission Objeto Objeto e' uma instancia de Electricity objectTransferred Transferencia and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2508-2516	Fisico e' uma instancia de Electrolyte Fisico tem por fim FisicoT FisicoT e' uma instancia de ElectricTransmission Fisico e' um patient de FisicoT Liquid e' um atributo de Fisico vale durante FisicoT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3151-3161	Fisico e' uma instancia de IgnitionCoil Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de ElectricTransmission Entidade e' um recurso para Entidade Entidade e' uma instancia de Electricity Entidade e' uma instancia de Electricity Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3175-3183	Fisico e' uma instancia de IgnitionCoil Fisico tem por fim Entidade Entidade Entidade e' uma instancia de ElectricTransmission Fisico e' um instrumento para Entidade Entidade e' uma instancia de Spark Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31250-31259	voltageRatingPrimary ElectricalTransformer and Funcao de Quantidade Objeto Transferencia, Objeto and Objeto Objeto e' uma &parte de ElectricalTransformer Transferencia e' uma instancia de ElectricTransmission Transferencia termina em Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de Electricity a medida de Objeto e' Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31292-31301	voltageRatingSecondary ElectricalTransformer and Funcao de Quantidade Objeto Transferencia and Objeto Objeto e' uma &parte de ElectricalTransformer Transferencia e' uma instancia de ElectricTransmission Transferencia tem como origem Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de Electricity a medida de Objeto e' Funcao de Quantidade

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