| 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 | |
| (domain wavelength 2 LengthMeasure) | Mid-level-ontology.kif 583-583 | |
| (instance wavelength AsymmetricRelation) | Mid-level-ontology.kif 584-584 | |
| (instance wavelength BinaryPredicate) | Mid-level-ontology.kif 585-585 | |
| (instance wavelength SingleValuedRelation) | Mid-level-ontology.kif 581-581 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ") | domainEnglishFormat.kif 4952-4952 | |
| (format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ") | domainEnglishFormat.kif 4951-4951 | |
| (format EnglishLanguage wavelength "the wavelength of %1 is %2") | domainEnglishFormat.kif 4950-4950 | |
| (termFormat ChineseLanguage wavelength "波长") | domainEnglishFormat.kif 62566-62566 | |
| (termFormat ChineseTraditionalLanguage wavelength "波長") | domainEnglishFormat.kif 62565-62565 | |
| (termFormat EnglishLanguage wavelength "wavelength") | domainEnglishFormat.kif 62564-62564 |
| 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 ?L Laser) (exists (?X ?Y ?O1 ?O2 ?X1 ?Y1) (and (instance ?X RadiatingVisibleLight) (instance ?Y RadiatingVisibleLight) (instrument ?X ?L) (instrument ?Y ?L) (origin ?X ?O1) (origin ?Y ?O2) (equal ?O1 ?O2) (not (equal ?X ?Y)) (wavelength ?X (MeasureFn ?X1 Nanometer)) (wavelength ?Y (MeasureFn ?Y1 Nanometer)) (approximateValue ?X1 ?Y1)))) |
engineering.kif 1060-1075 | |
| (=> (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