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

(documentation RadiatingElectromagnetic ChineseLanguage "RadiatingElectromagnetic 是当电磁辐射释放或被吸收时的 Radiating 过程的子类别。")	chinese_format.kif 1415-1416
(documentation RadiatingElectromagnetic EnglishLanguage "RadiatingElectromagnetic is the subclass of Radiating processes in which electromagnetic radiation is transmitted or absorbed.")	Merge.kif 13766-13768
(subclass RadiatingElectromagnetic Radiating)	Merge.kif 13765-13765	RadiatingElectromagnetic ist eine teilkategorie von Radiating

appearance as argument number 2

(subclass ElectricTransmission RadiatingElectromagnetic)	Cars.kif 2389-2389	ElectricTransmission ist eine teilkategorie von RadiatingElectromagnetic
(subclass Magnetism RadiatingElectromagnetic)	Mid-level-ontology.kif 15777-15777	Magnetism ist eine teilkategorie von RadiatingElectromagnetic
(subclass RadiatingInfrared RadiatingElectromagnetic)	Merge.kif 13692-13692	RadiatingInfrared ist eine teilkategorie von RadiatingElectromagnetic
(subclass RadiatingLight RadiatingElectromagnetic)	Merge.kif 13672-13672	RadiatingLight ist eine teilkategorie von RadiatingElectromagnetic
(subclass RadiatingUltraviolet RadiatingElectromagnetic)	Mid-level-ontology.kif 602-602	RadiatingUltraviolet ist eine teilkategorie von RadiatingElectromagnetic
(subclass RadiatingXRay RadiatingElectromagnetic)	Merge.kif 13696-13696	RadiatingXRay ist eine teilkategorie von RadiatingElectromagnetic
(subclass RadioEmission RadiatingElectromagnetic)	Mid-level-ontology.kif 15781-15781	RadioEmission ist eine teilkategorie von RadiatingElectromagnetic
(termFormat ChineseLanguage RadiatingElectromagnetic "辐射电磁")	domainEnglishFormat.kif 48440-48440
(termFormat ChineseTraditionalLanguage RadiatingElectromagnetic "輻射電磁")	domainEnglishFormat.kif 48439-48439
(termFormat EnglishLanguage RadiatingElectromagnetic "radiating electromagnetic")	domainEnglishFormat.kif 48438-48438

antecedent

(=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn ?HZ Hertz)) (wavelength ?R (MeasureFn ?L Meter))) (equal (MeasureFn ?L Meter) (MeasureFn (DivisionFn 299792458 ?HZ) Meter)))	ComputingBrands.kif 1570-1577	Wenn Radiating ist ein fall von RadiatingElectromagnetic %n{nicht} und carrierFrequency Radiating and RealNumber Hertz(s) und wavelength Radiating and RealNumber Meter(s), dann RealNumber Meter(s) ist gleich 299792458 und RealNumber Meter(s) %n{nicht}
(=> (and (instance ?WN (NetworkCommunicationFn BluetoothNetwork)) (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN) (carrierFrequency ?R (MeasureFn ?W (GigaFn Hertz)))) (and (greaterThan ?W 2.4) (lessThan ?W 2.485)))	ComputingBrands.kif 1579-1588	Wenn Process ist ein fall von NetworkCommunicationFn BluetoothNetwork %n{nicht} und Radiating ist ein fall von RadiatingElectromagnetic %n{nicht} und Radiating ist ein subProzess von Process und carrierFrequency Radiating and RealNumber 1 milliarde Hertz(s), dann RealNumber ist groesserAls 2.4 %n{nicht} und ** RealNumber ist kleinerAls 2.485 %n{nicht}

consequent

(=> (and (instance ?M Microwave) (attribute ?M DeviceOn)) (exists (?PROC) (and (instance ?PROC RadiatingElectromagnetic) (instrument ?PROC ?M))))	Food.kif 365-372	Wenn Object ist ein fall von Microwave %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (and (instance ?PLUG ElectricalPlug) (instance ?DEVICE ElectricDevice) (instance ?OUTLET ElectricalOutlet) (connectedEngineeringComponents ?DEVICE ?PLUG) (completelyFills ?PLUG ?OUTLET) (instance ?POWER PowerSource) (connectedEngineeringComponents ?POWER ?OUTLET)) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?POWER) (destination ?RE ?DEVICE))))	Mid-level-ontology.kif 25935-25948	Wenn EngineeringComponent ist ein fall von ElectricalPlug %n{nicht} und EngineeringComponent ist ein fall von ElectricDevice %n{nicht} und HoleRegion ist ein fall von ElectricalOutlet %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und EngineeringComponent fuellt HoleRegion vollstaendig und EngineeringComponent ist ein fall von PowerSource %n{nicht} und EngineeringComponent wird mit HoleRegion angeschlossen, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an EngineeringComponent %n{nicht} und Process endet an ** EngineeringComponent %n{nicht}
(=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS))))	Mid-level-ontology.kif 2566-2571	Wenn Object ist ein fall von PowerSource %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an ** Object %n{nicht}
(=> (instance ?RADAR Radar) (capability RadiatingElectromagnetic agent ?RADAR))	Mid-level-ontology.kif 2594-2596	Wenn Object ist ein fall von Radar %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent RadiatingElectromagnetic zu tun
(=> (instance ?WN (NetworkCommunicationFn WirelessNetwork)) (exists (?R) (and (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN))))	ComputingBrands.kif 1540-1545	Wenn Process ist ein fall von NetworkCommunicationFn WirelessNetwork %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process ist ein subProzess von Process

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