wavelength |
appearance as argument number 1 |
(documentation wavelength EnglishLanguage "(wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.") | Mid-level-ontology.kif 579-580 | |
(domain wavelength 1 Radiating) | Mid-level-ontology.kif 582-582 | The number 1 argument of wavelength is an instance of radiating |
(domain wavelength 2 LengthMeasure) | Mid-level-ontology.kif 583-583 | The number 2 argument of wavelength is an instance of length measure |
(instance wavelength AsymmetricRelation) | Mid-level-ontology.kif 584-584 | wavelength is an instance of asymmetric relation |
(instance wavelength BinaryPredicate) | Mid-level-ontology.kif 585-585 | wavelength is an instance of binary predicate |
(instance wavelength SingleValuedRelation) | Mid-level-ontology.kif 581-581 | wavelength is an instance of single valued relation |
appearance as argument number 2 |
(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ") | domainEnglishFormat.kif 4950-4950 | |
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ") | domainEnglishFormat.kif 4949-4949 | |
(format EnglishLanguage wavelength "the wavelength of %1 is %2") | domainEnglishFormat.kif 4948-4948 | |
(termFormat ChineseLanguage wavelength "波长") | domainEnglishFormat.kif 62543-62543 | |
(termFormat ChineseTraditionalLanguage wavelength "波長") | domainEnglishFormat.kif 62542-62542 | |
(termFormat EnglishLanguage wavelength "wavelength") | domainEnglishFormat.kif 62541-62541 |
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 |
|
consequent |