TreeView Knowledge Base Browser - RadiatingElectromagnetic

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RadiatingElectromagnetic

Sigma KEE - RadiatingElectromagnetic

RadiatingElectromagnetic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1415-1416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13766-13768
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13765-13765	RadiatingElectromagnetic e' uma sub-classe de Irradiar

appearance as argument number 2

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.	Mid-level-ontology.kif 15777-15777	Magnetism e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13692-13692	RadiatingInfrared e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13672-13672	Luz Irradiante e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 602-602	RadiatingUltraviolet e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13696-13696	RadiatingXRay e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15781-15781	RadioEmission e' uma sub-classe de RadiatingElectromagnetic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48440-48440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48439-48439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48438-48438

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	Irradiar e' uma instancia de RadiatingElectromagnetic carrierFrequency Irradiar and Numero Real Hertz(s) wavelength Irradiar and Numero Real Meter(s) Numero Real Meter(s) e' igual a 299792458 + Numero Real Meter(s)
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	Processo e' uma instancia de NetworkCommunicationFn BluetoothNetwork Irradiar e' uma instancia de RadiatingElectromagnetic Irradiar e' um sub-processo de Processo carrierFrequency Irradiar and Numero Real 1 bilhao Hertzs (s) Numero Real e' maior que 2.4 Numero Real e' menos que 2.485

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 365-372	Objeto e' uma instancia de Microwave DeviceOn e' um atributo de Objeto Processo Processo e' uma instancia de RadiatingElectromagnetic Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25935-25948	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2594-2596	Objeto e' uma instancia de Radar Objeto e' capaz de fazer RadiatingElectromagnetic no role agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1540-1545	Processo e' uma instancia de NetworkCommunicationFn WirelessNetwork Processo Processo e' uma instancia de RadiatingElectromagnetic Processo e' um sub-processo de Processo

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