## Wave Phenomena

E-Mail Comments to: opencyc-doc@cyc.com
Last Update: 12/13/02
Copyright© 1996-2002. All rights reserved. See Terms of Usage.

Return to Documentation Contents
Return to Vocabulary Contents

The following representation scheme is a starting point for modeling phenomena such as electromagnetic radiation, sound, or surface waves in a fluid. These events are classified as elements of #$WavePropagation, a special subset of #$Translocation. This scheme captures some common features of these phenomena, while remaining noncommittal as to their underlying physical mechanisms. There is currently no "physics" theory in Cyc of the behavior of any wave phenomena, not even at a naive level. The intent of the following vocabulary is to establish a basic level of representation which will not unduly constrain future work.

Since #$WavePropagation is a subset of #$Translocation, each element of #$WavePropagation has an origin (#$fromLocation) and an endpoint (#$toLocation). Translational movements (#$Movement-TranslationEvent) also have a #$toLocation and #$fromLocation, but elements of #$WavePropagation differ in that they have no #$objectMoving. Instead, there is some physical change which first occurs at the #$fromLocation and then `moves' away -- i.e., the location of occurrence changes location in a continuous fashion away from the origin. Although there is something `moving', wave phenomena are more eventlike than objectlike. For example, a sound is something that happens to the medium in which it propagates; for a given location, its structure is defined by a temporal sequence of certain #$subEvents (changes in pressure).

Elements of #$WavePropagation, though they are #$Events, are distinguishable from the events that produce them. Consider an #$Utterance event: one can reasonably discuss the sound itself without referring to the mechanism that produced it, whether that be a person, a recording, or a voice synthesizer. Therefore, Cyc distinguishes between a #$WavePropagation and its generation (#$EmittingAWave).

Some important subsets of #$WavePropagation are also subsets of #$InformationBearingEvents.

### Top Level Collections

#$WavePropagationType types of wave propogation **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Each instance of #$WavePropagationType is a specialization of #$WavePropagation (q.v). Instances of #$WavePropagationType include the collections #$ElectromagneticRadiation, #$Sound, #$VisibleLight, and #$XRay.
> guid: bf331d6f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SiblingDisjointCollectionType #$SecondOrderCollection
> direct specialization of: #$TemporalStuffType
> direct generalization of: #$SoundWavePropagationType #$ElectromagneticRadiationType

#$WavePropagation wave propagations

> A specialization of #$Translocation (q.v.). Each instance of #$WavePropagation is an event in which a wavelike disturbance propagates through space, with or without a medium. A wave propagation is like a translational movement (see #$Movement-TranslationEvent) in that it can have both a starting and an ending point (see #$fromLocation and #$toLocation), but differs from a translational motion in that there is no object moving (see #$objectMoving). Notable specializations of #$WavePropagation include #$ElectromagneticRadiation and #$Sound.
> guid: c10080f5-9c29-11b1-9dad-c379636f7270
> direct instance of: #$DefaultDisjointScriptType #$TemporalStuffType
> direct specialization of: #$Translocation
> direct generalization of: #$ElectromagneticRadiation #$InformationBearingWavePropagation #$Sound #$AudibleSound

#$EmittingAWave wave emissions **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of events; a subcollection of #$Emission. Each instance is an event in which a wave is emitted at a #$fromLocation. For example, Themistocles ordering his fleet to withdraw; Miles Davis playing the trumpet; an emergency flare burning by the side of the road. See also #$WavePropagation.
> guid: bebe7cda-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TemporalStuffType
> direct specialization of: #$Emission #$GenerationOrConversionEvent
> direct generalization of: #$EmittingSound

#$ReceivingAWave receiving a wave **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$Receiving. Each instance of #$ReceivingAWave is an event in which an instance of #$WavePropagation (q.v.) is received at some location (the location is related to the instance of #$WavePropagation by the predicate #$toLocation). Instances of #$ReceivingAWave include a CD player receiving an infrared signal from a remote control, a person hearing a sound of distant thunder, and a radio telescope receiving signals from a celestial body.
> guid: bfccc722-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TemporalStuffType
> direct specialization of: #$Receiving

### Types Of Wave Phenomena

#$ElectromagneticRadiation electromagnetic radiation

> A specialization of #$WavePropagation (q.v.). Each instance of #$ElectromagneticRadiation is an event that arises from the interaction of an electrical field and a magnetic field. Specializations of #$ElectromagneticRadiation include #$VisibleLight, #$RadioWaves, and #$XRays.
> guid: c1009603-9c29-11b1-9dad-c379636f7270
> direct instance of: #$WavePropagationType #$DefaultDisjointScriptType
> direct specialization of: #$WavePropagation
> direct generalization of: #$Light #$RadioWave #$GammaRay #$XRay

#$VisibleLight light waves **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of events; a subcollection of #$ElectromagneticRadiation. Every instance of #$VisibleLight is an instance of electromagnetic radiation having a wavelength approximately between 3800 and 7750 #$Angstroms, i.e., light visible to human eyes.
> guid: bd58f608-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ElectromagneticRadiationType
> direct specialization of: #$Light
> direct generalization of: #$VisualImage

#$RadioWave radio waves **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$ElectromagneticRadiation. Each instance of #$RadioWave is an instance of electromagnetic radiation having a wavelength in the range from approximately 1 centimeter (1x10^8 #$Angstrom) to 3,000,000 meters (3x10^18 #$Angstrom), and a frequency of approximately 10^8 #$Hertz to 10^2 #$Hertz.
> guid: c100962b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ElectromagneticRadiationType
> direct specialization of: #$ElectromagneticRadiation

#$XRay x rays (wave propagations) (moves) (transfers)

> A specialization of #$ElectromagneticRadiation. Each instance of #$XRay is some electromagnetic radiation with a wavelength (see the predicate #$wavelength) ranging from about 1 #$Angstrom to 1x10^-3 #$Angstroms.
> guid: bf85c802-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ElectromagneticRadiationType
> direct specialization of: #$ElectromagneticRadiation

#$GammaRay gamma rays **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$ElectromagneticRadiation. Each instance of #$GammaRay is an instance of electromagnetic radiation that has a wavelength (see the predicate #$wavelength) of less than 1x10^-2 angstroms (see the constant #$Angstrom). Low power instances of #$GammaRay overlap with high power instances of #$XRay (q.v.).
> guid: c05ce4b7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ElectromagneticRadiationType
> direct specialization of: #$ElectromagneticRadiation

#$Sound sounds (wave propagations) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$WavePropagation. Each instance of #$Sound is an instance of wave propagation in which longitudinal pressure waves travel through matter. Notable specializations of #$Sound include #$AudibleSound, #$UltraSound, and #$Music.
> guid: be99a967-9c29-11b1-9dad-c379636f7270
> direct instance of: #$WavePropagationType
> direct specialization of: #$WavePropagation
> direct generalization of: #$AudibleSound #$UltraSound #$Utterance-IBT

#$AudibleSound audible sounds **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> guid: bd5906fc-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SoundWavePropagationType
> direct specialization of: #$Sound
> direct generalization of: #$SoundInformationBearingThing #$Music #$AnimalUtterance-IBT #$AnimalSound

#$UltraSound ultrasound **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$Sound. Each instance of #$UltraSound is a sound wave having a #$Frequency (q.v.) greater than 20,000 cycles per second, a frequency which is above the range of human hearing.
> guid: c02c1799-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SoundWavePropagationType
> direct specialization of: #$Sound

### Measurement Of Wave Phenomena

#$wavelength wavelength **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$wavelength WAVE LENGTH) means that the #$WavePropagation WAVE consists of waves having the length LENGTH. LENGTH is a #$Distance measuring one complete wave in a #$WavePropagation event.
> guid: c10096d6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$amplitudeOfSignal amplitude of signal **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$amplitudeOfSignal WAVE AMP) means the distance from the average to the extremes of the signal WAVE is AMP.
> guid: be5d5b47-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot

#$frequencyOfSignal frequency (binary predicate) (CycL predicate) (relationship) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$frequencyOfSignal WAVE FREQ) means that the #$WavePropagation event WAVE consists of waves that occur at intervals of FREQ. FREQ is a measure of #$Frequency generally expressed as cycles per unit of time; frequency of electromagnetic radiation is standardly measured in #$Hertz.
> guid: c10096a8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$Frequency frequencies (quantities) (structured information sources)

> A specialization of #$Rate. Each instance of #$Frequency is the number of times something happens during some time interval. Instances of #$Frequency may be either single values (see the collection #$ScalarPointValue), such as 103 kiloHertz, or a range of values, such as #$Rarely. Note that instances of #$Frequency are important in the characterization of types of #$WavePropagation.
> guid: bd58fad4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$DerivedNumericScalarIntervalType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Rate

#$Hertz hertz (unit of measure) (relationship) (mathematical concept) **GAFs NOT REVIEWED**

> An instance of #$IndividualDenotingFunction and #$UnitOfFrequency. #$Hertz returns a unit of frequency in hertz when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. Hertz is the basic unit of measure for elements of #$Frequency (1 Hz=1 cycle per second). (#$Hertz NUM) denotes the frequency NUM cycles per second.
> guid: bd588e07-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfFrequency #$StandardUnitOfMeasure #$UnitOfMeasureNoPrefix #$Individual

Copyright© 1996-2002. All rights reserved. See Terms of Usage.