Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__RadiatingElectromagnetic,s__ChineseLanguage,'"RadiatingElectromagnetic 是当电磁辐射释放或被吸收时的 Radiating 过程的子类别。"')

chinese_format.kif 1415-1416
s__documentation(s__RadiatingElectromagnetic,s__EnglishLanguage,'"RadiatingElectromagnetic is the subclass of Radiating processes in which electromagnetic radiation is transmitted or absorbed."')

Merge.kif 13125-13127
s__instance(s__Radiating,s__Class)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__RadiatingElectromagnetic,s__Radiating)

Merge.kif 13124-13124 Radiating electromagnetic is a subclass of radiating

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


s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__ElectricTransmission,s__RadiatingElectromagnetic)

s__instance(s__ElectricTransmission,s__Class)

Cars.kif 2383-2383 Electric transmission is a subclass of radiating electromagnetic
s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__Magnetism,s__RadiatingElectromagnetic)

s__instance(s__Magnetism,s__Class)

Mid-level-ontology.kif 15058-15058 Magnetism is a subclass of radiating electromagnetic
s__subclass(s__RadiatingInfrared,s__RadiatingElectromagnetic)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__instance(s__RadiatingInfrared,s__Class)

Merge.kif 13052-13052 Radiating infrared is a subclass of radiating electromagnetic
s__instance(s__RadiatingLight,s__Class)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__RadiatingLight,s__RadiatingElectromagnetic)

Merge.kif 13039-13039 Radiating light is a subclass of radiating electromagnetic
s__instance(s__RadiatingElectromagnetic,s__Class)

s__instance(s__RadiatingUltraviolet,s__Class)

s__subclass(s__RadiatingUltraviolet,s__RadiatingElectromagnetic)

Mid-level-ontology.kif 573-573 Radiating ultraviolet is a subclass of radiating electromagnetic
s__instance(s__RadiatingXRay,s__Class)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__RadiatingXRay,s__RadiatingElectromagnetic)

Merge.kif 13056-13056 X ray radiation is a subclass of radiating electromagnetic
s__instance(s__RadioEmission,s__Class)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__RadioEmission,s__RadiatingElectromagnetic)

Mid-level-ontology.kif 15062-15062 Radio emission is a subclass of radiating electromagnetic
s__termFormat(s__ChineseLanguage,s__RadiatingElectromagnetic,'"辐射电磁"')

domainEnglishFormat.kif 48423-48423
s__termFormat(s__ChineseTraditionalLanguage,s__RadiatingElectromagnetic,'"輻射電磁"')

domainEnglishFormat.kif 48422-48422
s__termFormat(s__EnglishLanguage,s__RadiatingElectromagnetic,'"radiating electromagnetic"')

domainEnglishFormat.kif 48421-48421

antecedent
-------------------------


( ! [V__HZ,V__R,V__L] :
   (((s__instance(V__HZ,s__UnitOfMeasure) &
         s__instance(V__HZ,s__Number) &
         s__instance(V__L,s__UnitOfMeasure))
       =>
       (((s__instance(V__R,s__RadiatingElectromagnetic) &
             s__carrierFrequency(V__R,s__MeasureFn(s__Hertz,V__HZ))
         &
         s__wavelength(V__R,s__MeasureFn(s__Meter,V__L)))
   =>
   ((s__MeasureFn(s__Meter,V__L)
     = s__MeasureFn(s__Meter,s__DivisionFn(n__299792458,V__HZ)))))))
)
)

ComputingBrands.kif 1539-1546
( ! [V__R,V__WN,V__W] :
   (((s__instance(V__WN,s__Process) &
         s__instance(V__W,s__RealNumber))
       =>
       (((s__instance(V__WN,s__NetworkCommunicationFn(s__BluetoothNetwork))
           &
           s__instance(V__R,s__RadiatingElectromagnetic) &
           s__subProcess(V__R,V__WN)
         &
         s__carrierFrequency(V__R,s__MeasureFn(V__W,s__GigaFn(s__Hertz))))
   =>
   ((s__greaterThan(V__W,n__2_4)
     &
     s__lessThan(V__W,n__2_485))))))
)
)

ComputingBrands.kif 1548-1557

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


( ! [V__M] :
   (((s__instance(V__M,s__Microwave) &
         s__attribute(V__M,s__DeviceOn))
       =>
       (( ? [V__PROC] :
           ((s__instance(V__PROC,s__RadiatingElectromagnetic) &
               s__instrument(V__PROC,V__M))))))
   )
)

Mid-level-ontology.kif 24619-24626
( ! [V__PLUG,V__OUTLET,V__DEVICE,V__POWER] :
   (((s__instance(V__PLUG,s__ElectricalPlug) &
         s__instance(V__DEVICE,s__ElectricDevice) &
         s__instance(V__OUTLET,s__ElectricalOutlet) &
         s__connectedEngineeringComponents(V__DEVICE,V__PLUG)
       &
       s__completelyFills(V__PLUG,V__OUTLET)
     &
     s__instance(V__POWER,s__PowerSource) &
     s__connectedEngineeringComponents(V__POWER,V__OUTLET))
=>
(( ? [V__RE] :
     ((s__instance(V__RE,s__RadiatingElectromagnetic) &
         s__origin(V__RE,V__POWER)
       &
       s__destination(V__RE,V__DEVICE))))))
)
)

Mid-level-ontology.kif 25169-25182
( ! [V__PS] :
   ((s__instance(V__PS,s__PowerSource) =>
       (( ? [V__RE] :
           ((s__instance(V__RE,s__RadiatingElectromagnetic) &
               s__origin(V__RE,V__PS))))))
   )
)

Mid-level-ontology.kif 2504-2509
( ! [V__RADAR] :
   ((s__instance(V__RADAR,s__Radar) =>
       (s__capability(s__RadiatingElectromagnetic,s__agent__m,V__RADAR)))
   )
)

Mid-level-ontology.kif 2532-2534
( ! [V__WN] :
   ((s__instance(V__WN,s__Process) =>
       ((s__instance(V__WN,s__NetworkCommunicationFn(s__WirelessNetwork))
         =>
         (( ? [V__R] :
             ((s__instance(V__R,s__RadiatingElectromagnetic) &
                 s__subProcess(V__R,V__WN))))))))
)
)

ComputingBrands.kif 1509-1514


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