![]() |
![]() ![]()
|
![]() |
|
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 13898-13900 | |
(subclass RadiatingElectromagnetic Radiating) | Merge.kif 13897-13897 |
appearance as argument number 2 |
![]() |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2367-2367 | |
(subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17151-17151 | |
(subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13824-13824 | |
(subclass RadiatingLight RadiatingElectromagnetic) | Merge.kif 13804-13804 | |
(subclass RadiatingUltraviolet RadiatingElectromagnetic) | Mid-level-ontology.kif 595-595 | |
(subclass RadiatingXRay RadiatingElectromagnetic) | Merge.kif 13828-13828 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 17169-17169 | |
(termFormat ChineseLanguage RadiatingElectromagnetic "辐射电磁") | domainEnglishFormat.kif 48442-48442 | |
(termFormat ChineseTraditionalLanguage RadiatingElectromagnetic "輻射電磁") | domainEnglishFormat.kif 48441-48441 | |
(termFormat EnglishLanguage RadiatingElectromagnetic "radiating electromagnetic") | domainEnglishFormat.kif 48440-48440 |
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 | |
(=> (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 |
consequent |
![]() |
![]() |
![]() |