| 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 | Die Zahl 1 Argument von wavelength ist ein fall von Radiating %n{nicht} |
| (domain wavelength 2 LengthMeasure) | Mid-level-ontology.kif 583-583 | Die Zahl 2 Argument von wavelength ist ein fall von LengthMeasure %n{nicht} |
| (instance wavelength AsymmetricRelation) | Mid-level-ontology.kif 584-584 | wavelength ist ein fall von AsymmetricRelation %n{nicht} |
| (instance wavelength BinaryPredicate) | Mid-level-ontology.kif 585-585 | wavelength ist ein fall von BinaryPredicate %n{nicht} |
| (instance wavelength SingleValuedRelation) | Mid-level-ontology.kif 581-581 | wavelength ist ein fall von SingleValuedRelation %n{nicht} |
| 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 |
|
|
| (=> (and (instance ?X BluRayDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 405 Nanometer))))) |
Media.kif 1192-1202 |
|
| (=> (and (instance ?X CompactDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 780 Nanometer))))) |
Media.kif 1156-1166 |
|
| (=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer))))) |
Media.kif 1257-1267 |
|
| (=> (instance ?X RadiatingXRay) (exists (?M) (and (wavelength ?X (MeasureFn ?M Nanometer)) (greaterThanOrEqualTo ?M 0.01) (lessThan 10.0 ?M)))) |
Mid-level-ontology.kif 603-610 |
|
|
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