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 13744-13746 | |
(subclass RadiatingElectromagnetic Radiating) | Merge.kif 13743-13743 |
appearance as argument number 2 |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2383-2383 | |
(subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 15778-15778 | |
(subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13670-13670 | |
(subclass RadiatingLight RadiatingElectromagnetic) | Merge.kif 13650-13650 | |
(subclass RadiatingUltraviolet RadiatingElectromagnetic) | Mid-level-ontology.kif 602-602 | |
(subclass RadiatingXRay RadiatingElectromagnetic) | Merge.kif 13674-13674 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 15782-15782 | |
(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 | |
(=> (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 |