Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingElectromagnetic
RadiatingElectromagnetic(radiating electromagnetic)CBR, CMB, CMBR, cosmic_background_radiation, cosmic_microwave_background, cosmic_microwave_background_radiation, cosmic_ray, electrical, induce, induct, line

appearance as argument number 1
-------------------------


(subclass RadiatingElectromagnetic Radiating) Merge.kif 14053-14053 Radiating electromagnetic is a subclass of radiating
(documentation RadiatingElectromagnetic EnglishLanguage "RadiatingElectromagnetic is the subclass of Radiating processes in which electromagnetic radiation is transmitted or absorbed.") Merge.kif 14054-14056 Radiating electromagnetic is a subclass of radiating

appearance as argument number 2
-------------------------


(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 13960-13960 Radiating light is a subclass of radiating electromagnetic
(subclass RadiatingInfrared RadiatingElectromagnetic) Merge.kif 13980-13980 Radiating infrared is a subclass of radiating electromagnetic
(subclass RadiatingXRay RadiatingElectromagnetic) Merge.kif 13984-13984 X ray radiation is a subclass of radiating electromagnetic
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 585-585 Radiating ultraviolet is a subclass of radiating electromagnetic
(subclass Magnetism RadiatingElectromagnetic) Mid-level-ontology.kif 17331-17331 Magnetism is a subclass of radiating electromagnetic
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 17351-17351 Radio emission is a subclass of radiating electromagnetic
(subclass ElectricTransmission RadiatingElectromagnetic) Mid-level-ontology.kif 33784-33784 Electric transmission is a subclass of radiating electromagnetic
(termFormat EnglishLanguage RadiatingElectromagnetic "radiating electromagnetic") domainEnglishFormat.kif 48433-48433 Electric transmission is a subclass of radiating electromagnetic
(termFormat ChineseTraditionalLanguage RadiatingElectromagnetic "輻射電磁") domainEnglishFormat.kif 48434-48434 Electric transmission is a subclass of radiating electromagnetic
(termFormat ChineseLanguage RadiatingElectromagnetic "辐射电磁") domainEnglishFormat.kif 48435-48435 Electric transmission is a subclass of radiating electromagnetic

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 If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s)
(=>
    (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 If X is an instance of communication over Bluetooth network, Y is an instance of radiating electromagnetic, Y is a subprocess of X, and the frequency of the carrier of Y is Z 1 billion hertzs(s), then Z is greater than 2.4 and Z is less than 2.485

consequent
-------------------------


(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 3137-3142 If X is an instance of power source, then there exists Y such that Y is an instance of radiating electromagnetic and Y originates at X
(=>
    (instance ?RADAR Radar)
    (capability RadiatingElectromagnetic agent ?RADAR))		 Mid-level-ontology.kif 3165-3167 If X is an instance of radar, then X is capable of doing radiating electromagnetic as a agent
(=>
    (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 28473-28486 If All of the following hold: (1) X is an instance of electrical plug (2) Y is an instance of electric device (3) Z is an instance of electrical outlet (4) Y is connected to X (5) X completely fills Z (6) W is an instance of power source (7) W is connected to Z, then there exists V such that V is an instance of radiating electromagnetic, V originates at W, and V ends up at Y
(=>
    (instance ?WN
        (NetworkCommunicationFn WirelessNetwork))
    (exists (?R)
        (and
            (instance ?R RadiatingElectromagnetic)
            (subProcess ?R ?WN))))		 ComputingBrands.kif 1540-1545 If X is an instance of communication over wireless network, then there exists Y such that Y is an instance of radiating electromagnetic and Y is a subprocess of X
(=>
    (and
        (instance ?M Microwave)
        (attribute ?M DeviceOn))
    (exists (?PROC)
        (and
            (instance ?PROC RadiatingElectromagnetic)
            (instrument ?PROC ?M))))		 Food.kif 347-354 If X is an instance of microwave and device on is an attribute of X, then there exists Y such that Y is an instance of radiating electromagnetic and X is an instrument for Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners