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 13919-13919 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 13920-13922 Radiating electromagnetic is a subclass of radiating

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


(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2380-2380 Electric transmission is a subclass of radiating electromagnetic
(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 13826-13826 Radiating light is a subclass of radiating electromagnetic
(subclass RadiatingInfrared RadiatingElectromagnetic) Merge.kif 13846-13846 Radiating infrared is a subclass of radiating electromagnetic
(subclass RadiatingXRay RadiatingElectromagnetic) Merge.kif 13850-13850 X ray radiation is a subclass of radiating electromagnetic
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 598-598 Radiating ultraviolet is a subclass of radiating electromagnetic
(subclass Magnetism RadiatingElectromagnetic) Mid-level-ontology.kif 17280-17280 Magnetism is a subclass of radiating electromagnetic
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 17300-17300 Radio emission is a subclass of radiating electromagnetic
(termFormat EnglishLanguage RadiatingElectromagnetic "radiating electromagnetic") domainEnglishFormat.kif 48433-48433 Radio emission is a subclass of radiating electromagnetic
(termFormat ChineseTraditionalLanguage RadiatingElectromagnetic "輻射電磁") domainEnglishFormat.kif 48434-48434 Radio emission is a subclass of radiating electromagnetic
(termFormat ChineseLanguage RadiatingElectromagnetic "辐射电磁") domainEnglishFormat.kif 48435-48435 Radio emission 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 ?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 365-372 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
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 3047-3052 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 3075-3077 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 28597-28610 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


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 is open source software produced by Articulate Software and its partners