**IDNUM**

, as the unique identifier for the GeographicalPlace **PLACE**

. Currently, only geographic features in the UnitedStatesOfAmerica or its territories are assigned a numer as a usgsFeatureID.]]>`(usingInstance `**X** (UsingInstanceFn **X**))

will always be true for **X**

meeting the relevant arg constraints.]]>`(usingProgram `**X** (UsingProgramFn **X**))

will always be true for **X**

meeting the relevant arg constraints.]]>`(usualLocationOfObject `**OBJ** **PLACE**)

means that **OBJ**

is usually or primarily (and perhaps permanently) located at **PLACE**

. This does **OBJ**

is at **PLACE**

at any particular time, as **OBJ**

may be away from its usual location at various time. (Cf. objectFoundInLocation). Nor does it even entail that **OBJ**

is at **PLACE**

**PLACE**

is **OBJ**

's "home base" in some sense. Thus, usualLocationOfObject is more a normative than a temporally quantitative relation. Its specializations include physicalQuarters, residesInRegion, residesInDwelling, and hasHabitat.]]>**OBJ1**

is usually located near **OBJ2**

. This does not entail that **OBJ1**

is near **OBJ2**

at any particular time, as **OBJ1**

may be away from its usual location at various time. Nor does it even entail that **OBJ1**

is at PLACE most of the time. Rather, it means that **OBJ2**

is in the vicinity of **OBJ1**

's "home base" in some sense. Thus, like its specialization, usualLocationOfObject (q.v.), usuallyFoundNear is more a normative than a temporally quantitative relation.]]>**THING**

is found in UTM Latitude Zone **LAT-ZONE**

. The UTMCoordinateSystem segments each longitude zone (see utmLongitudeZone)into 16 latitude zones. Each latitude zone is 8 degrees high, and is lettered starting from "C" at 80 S latitude, increasing up the (English) alphabet up to "X", omitting the letters "I" and "O" (because of their similarity to the digits one and zero). The last latitude zone, "X", is extended an extra 4 degrees, so it ends at 84 N latitude, thus covering the northern most land on the EarthsTopographicSurface.]]>**THING**

is found in UTM Longitude Zone **LONG-ZONE**

. There are 60 total UTM LongitudeZones, numbered from 1 to 60. Each zone is six degrees wide. Zone 1 is bounded by longitude 180 to 174 W and is centered on the 177th West meridian. Zone numbering increases in an easterly direction. See also utmLatitudeZone.]]>`(vDiagram `**X** (#$VDiagramFn **X**))

will always be true for **X**

meeting the relevant arg constraints.]]>`(vNVerbClass_Version2_0 `**X** (VNVerbClassFn_Version2_0 **X**))

will always be true for **X**

meeting the relevant arg constraints.]]>`(vaccineFor `**X** (VaccineForFn **X**))

will always be true for **X**

meeting the relevant arg constraints.]]>**SPECIFICATION**

of ProgramSpecification is a valid description of one way in which the computer program **PROGRAM**

can run.]]>`(valueOf `**X** **Y**)

means that the term '**X**

' is, in effect, a definite description that (contingently) picks out the ScalarOrVectorInterval that is directly denoted by '**Y**

'.
For example, `(valueOf ((QPQuantityFn Mass) EiffelTower) (MetricTon 10100))`

is true.]]>
**VECTOR** **DIRECTION**) means that the direction of the VectorInterval

is the Direction **VECTOR**

. See also vectorMagnitude.]]>**DIRECTION****VECTOR** **MAG**) means that the magnitude of the VectorInterval

is the ScalarInterval **VECTOR**

. See also vectorPreciseMagnitude and vectorDirection.]]>**MAG**`(vectorQuantityOf `

will always be true for **X** (VectorQuantityOfFn **X**))

meeting the relevant arg constraints.]]>**X**`(vehicle `

means that **EVENT** **VEHICLE**)

is a TransportationDevice_Vehicle which is both the providerOfMotiveForce and the transporter in EVENT. If an object is a TransportationDevice_Vehicle and plays the role of transporter in some moving event, then it generally will play the role of vehicle in that event. Examples: a car plays the role of vehicle in driving. Note, however, that a bicycle does not play the role of vehicle in bike riding since it is not a provider of motive force. A borderline non-example is someone sitting in a car while it's being pulled by a tow truck; the car is not playing the role of vehicle in that event (because it is not the provider of motive force - the tow truck is).]]>**VEHICLE****OBJ** **VEL**) relates a tangible object

to a LinearVelocityVector **OBJ**

; **VEL**

represents both the speed of **VEL**

and its direction of motion. See also speedOfObject_Translation, directionOfTranslation_Throughout, and direction_Pointing.]]>**OBJ**`(venomOf `

will always be true for **X** (VenomOfFn **X**))

meeting the relevant arg constraints.]]>**X**`(ventralRegion `

will always be true for **X** (VentralRegionFn **X**))

meeting the relevant arg constraints.]]>**X****POINT** **THING**) means that

is a vertex of **POINT**

.]]>**THING**`(vertexOfPolygon `

means that **POINT** **POLYGON**)

is a vertex Point of one of the LineStrings that constitute the boundary of **POINT****POLYGON**`.]]>`

```
```

```
```

`(vertexOfPolyhedron `

means that **POINT** **POLYHEDRON**)

is a vertex Point of one of the LineStrings that constitute the boundary of a polygon that is a side of **POINT**

.]]>**POLYHEDRON**`(veryHighAmountOf `

holds just in case **QUANTTYPE** **QUANTITY**)

is the GenericQuantity that corresponds to a **QUANTITY***very high amount* of

.
**QUANTTYPE**

```
For example,
```

`(veryHighAmountOf Happiness (VeryHighAmountFn Happiness))`

holds. And `(levelOfCompatibility `

holds just in case **OLDTHING** **NEWTHING** veryHighAmountOf)

and **OLDTHING**

are compatible to a very high degree.
**NEWTHING**

```
See also #$NoteAboutGenericValuePredicatesAsModifiers.]]>
```

`(veryHighly `

will always be true for **X** (VeryHighlyFn **X**))

meeting the relevant arg constraints.]]>**X**`(veryLowAmountOf `

holds just in case **QUANTTYPE** **QUANTITY**)

is the GenericQuantity that corresponds to a **QUANTITY***very low amount* of

.
**QUANTTYPE**

```
For example,
```

holds just in case `(veryLowAmountOf Happiness (VeryLowAmountFn Happiness))`

holds. And `(levelOfCompatibility `

holds just in case **OLDTHING** **NEWTHING** veryLowAmountOf)

and **OLDTHING**

are compatible to a very low degree.]]>
**NEWTHING****QUANT-TYPE** **QUANTITY**)

is the quantity that corresponds to a **QUANTITY***low to very low* quantity of

.]]>
**QUANT-TYPE**`(verySlightly `

will always be true for **X** (VerySlightlyFn **X**))

meeting the relevant arg constraints.]]>**X**`(veteran `

will always be true for **X** (VeteranFn **X**))

meeting the relevant arg constraints.]]>**X**`(vetoProhibitsActType `

means that **VETO** **ACTTYPE**)

prohibits or disallows any instance of **VETO**

from being performed. Such a **ACTTYPE**

will normally occur in response to some agent's proposing to do an action of **VETO**

. Note that this does not imply that no acts of **ACTTYPE**

are performed subsequent to **ACTTYPE**

, since vetoes are sometimes disobeyed.
**VETO**

```
See also lawProscribesActType.]]>
```

means that `(viabilityForOperation `

will always be true for **X** (ViabilityForOperationFn **X**))

meeting the relevant arg constraints.]]>**X****COUNTRY** **PERSON**)

is the vice-president of **PERSON**

.]]>
**COUNTRY**`(viceVersionOfPosition `

will always be true for **X** (ViceFn **X**))

meeting the relevant arg constraints.]]>**X**`(videoClipOfSubject `

will always be true for **X** (VideoClipOfSubjectFn **X**))

meeting the relevant arg constraints.]]>**X**`(videoClipOfWork `

will always be true for **X** (VideoClipOfWorkFn **X**))

meeting the relevant arg constraints.]]>**X**`(viewerOf `

will always be true for **X** (ViewerFn **X**))

meeting the relevant arg constraints.]]>**X**`(vintageOf `

will always be true for **X** (VintageFn **X**))

meeting the relevant arg constraints.]]>**X***virtual* physical field of a schema is one that is not
explicitly present in the schema defintion found on the native
knowledge source, but is introduced in the mapping process, typically
in order to facilitate translating more complex functional expressions
which are used to construct more expressive meaning sentences.]]>`(visa `

will always be true for **X** (VisaFn **X**))

meeting the relevant arg constraints.]]>**X**`(visitingSite `

will always be true for **X** (VisitingSiteFn **X**))

meeting the relevant arg constraints.]]>**X**`(visitingSiteOfType `

will always be true for **X** (VisitingSiteOfTypeFn **X**))

meeting the relevant arg constraints.]]>**X**`(visuallyDepicts `

means the object **IBT** **OBJ**)

is depicted by the visual information source **OBJ**

. For example, Mount Everest is visually depicted by a photograph of it, and (visuallyDepicts PietaStatue_Michelangelo JesusOfNazareth) is true.]]>**IBT**`(vocationalDegreeFor `

will always be true for **X** (VocationalDegreeForFn **X**))

meeting the relevant arg constraints.]]>**X****OBJECT** **VOLUME**) means that the SpatialThing

has the Volume **OBJECT**

.]]>**VOLUME**`(vulnerableToMaliciousCodeInstallation `

will always be true for **X** (VulnerableToMaliciousCodeInstallationFn **X**))

meeting the relevant arg constraints.]]>**X**`(vulnerableToPacketAttack `

will always be true for **X** (VulnerableToPacketAttackFn **X**))

meeting the relevant arg constraints.]]>**X**`(wMCase `

will always be true for **X** (WMCaseFn **X**))

meeting the relevant arg constraints.]]>**X****WAIT-TYPE** **TEMP-THING-TYPE**) means that every instance of

(a specialization of Waiting), is an event in which some agent waits for some instance of **WAIT-TYPE**

(a specialization of TemporalThing) to occur. For example, (waitTypeIsForInstanceOfType WaitingForABus (SubcollectionOfWithRelationToTypeFn ArrivingAtAPlace transporter Bus_RoadVehicle)) means that in each instance of WaitingForABus, some agent is waiting for the arrival of a bus.]]>**TEMP-THING-TYPE**`(wait_at_PLA001_1Of `

will always be true for **X** (#$wait_at_PLA001-1 **X**))

meeting the relevant arg constraints.]]>**X**`(watching `

will always be true for **X** (WatchingFn **X**))

meeting the relevant arg constraints.]]>**X**`(waterCycleOfRegion `

will always be true for **X** (WaterCycleOfRegionFn **X**))

meeting the relevant arg constraints.]]>**X**`(waveAbsorption `

will always be true for **X** (WaveAbsorptionFn **X**))

meeting the relevant arg constraints.]]>**X**`(waveReflection `

will always be true for **X** (WaveReflectionFn **X**))

meeting the relevant arg constraints.]]>**X**`(weaponDisarmed `

means that **DISARMING** **WEAPON**)

is disarmed in **WEAPON**

.]]>**DISARMING**`(wearingSomethingOn `

will always be true for **X** (WearingSomethingOnFn **X**))

meeting the relevant arg constraints.]]>**X**`(wearingTypeForSomethingToWearType `

means that **STW-TYPE** **WS-TYPE**)

is the collection of all instances of WearingSomething in which an instance of **WS-TYPE**

is the itemWorn. This is the predicate corresponding to WearingFn (q.v.).]]>**STW-TYPE**`(weather `

means that the OutdoorLocation **LOC** **WEATHER**)

is an instance of the OutdoorLocationTypeByWeather **LOC**

. For example, to say that it's snowy in Lake Tahoe, we would say: (weather LakeTahoe SnowyArea). Note that multiple sorts of conditions can characterize the weather at a given region at a given time; thus the truth of (weather LakeTahoe SnowyArea) does not rule out the possiblity of (weather LakeTahoe CloudyArea) also being true.]]>**WEATHER**`(webDirectory `

will always be true for **X** (WebDirectoryFn **X**))

meeting the relevant arg constraints.]]>**X**`(webPageAtURL `

will always be true for **X** (WebPageAtURLFn **X**))

meeting the relevant arg constraints.]]>**X****WP** **URI**) means that URI is the UniformResourceIdentifier from which relative links in the instance WP of WorldWideWebPage_AIS are computed. This information is specified via Base_HTMLTag.]]>`(webPublishedType `

will always be true for **X** (WebPublishedTypeFn **X**))

meeting the relevant arg constraints.]]>**X**`(webSite_Reference `

will always be true for **X** (WebSiteFn_Reference **X**))

meeting the relevant arg constraints.]]>**X**`(wholeOrganization `

will always be true for **X** (WholeOrganizationFn **X**))

meeting the relevant arg constraints.]]>**X**`(whollyLocatedAt_Spatial `

means that **OBJ** **LOC**)

is exactly located at (see exactlyLocatedAt_Spatial) a part of **OBJ**

.
**LOC**

For example, my desk is wholly located in the space region occupied by my office.

See also partiallyLocatedAt_Spatial and whollyLocatedAt_SurfaceGeographical.]]>
`(whollyLocatedAt_SurfaceGeographical `

means that **OBJ** **GEOSPACE**)

is exactly located at some part of **OBJ**

. **GEOSPACE**

corresponds to a set of pairs of geographical coordinates (i.e. degrees latitude and longitude) whose extent subsumes the exact space on a planet's surface that is occupied by **GEOSPACE**

.
**OBJ**

Note that whollyLocatedAt_SurfaceGeographical is agnostic as to whether or not

is (partially or wholly) located under, on, or above the ground at **OBJ**

. Use locationState to supply such additional information. Also note that this predicate assumes a planetary FrameOfReference, typically PlanetEarth and the TerrestrialFrameOfReference.
**GEOSPACE**

See also the specialization exactlyLocatedAt_SurfaceGeographical; and see partiallyLocatedAt_SurfaceGeographical.]]>
**OBJECT** **WIDTH**) means that the Distance across

from one side boundary to the opposite side boundary is **OBJECT**

. Side boundaries are roughly perpendicular to the top and bottom of the object. Note that some objects have widths by virtue of having one or more intrinsic default orientations (see BilateralObject and its specializations), while some objects have widths by virtue of having orientations determined only in relation to their environments. In any case, having a width requires being
at least two-dimensional (see PolyDimensionalThing). See also lengthOfObject, heightOfObject, and depthOfObject.]]>**WIDTH**`(wildPlantBLO `

will always be true for **X** (WildPlantBLOFn **X**))

meeting the relevant arg constraints.]]>**X**`(wildTypeOfAnimalType `

will always be true for **X** (WildAnimalFn **X**))

meeting the relevant arg constraints.]]>**X****LICENSEE** **LICENSOR**) means that

will be licensed by **LICENSEE**

appearing in text. Combines generalisesToForLicensing and isLicensedBy and is used for testing.]]>**LICENSOR**`(windowsAccountOfMachine `

will always be true for **X** (WindowsAccountFn **X**))

meeting the relevant arg constraints.]]>**X**`(wineOfVintage `

will always be true for **X** (WineOfVintageFn **X**))

meeting the relevant arg constraints.]]>**X**`(wineTypeOfWinery `

means that **WINERY** **WINETYPE**)

is the collection of all Wine made by **WINETYPE**

. This is the predicate corresponding to WineOfWineryFn (q.v.).]]>**WINERY**`(winterOlympics `

will always be true for **X** (WinterOlympicsFn **X**))

meeting the relevant arg constraints.]]>**X**`(womensEvent `

will always be true for **X** (WomensEventFn **X**))

meeting the relevant arg constraints.]]>**X**`(word `

will always be true for **X** (WordFn **X**))

meeting the relevant arg constraints.]]>**X****WORD** **STRUCTURE**) means that the instance of LexicalWord

was first encountered by a Cyc-based text processing program (e.g., the TextLearner system (#$TheCycTextLearnerProgram)) while processing text found in **WORD**

an instance of AbstractStructure.]]>**STRUCTURE**

For example, (wordIndexesCycTerm "pooch" Dog) is true if in response to query "pooch" the targeted information retrieval engine returns among others the term Dog. Because Cyc could be targeting different IR engines, the truth value of a wordIndexesCycTerm GAF is dependent on a particular microtheory (different microtheories being used to establish which IR engine is targeted).]]>
`(wordNetSynsetReified `

will always be true for **X** (WordNetSynsetReifiedFn **X**))

meeting the relevant arg constraints.]]>**X**`(wordsToSong `

will always be true for **X** (WordsToSongFn **X**))

meeting the relevant arg constraints.]]>**X****WORK** **DATE**) means that

was completed on **WORK**

. Generally, **DATE**

will be before the date on which **DATE**

is published, if it is published.]]>**WORK****PERSON** **PAGE**) means that

, an instance of WorldWideWebPage_CW, is a page that describes the work of **PAGE**

. This page is typically different from a person's own homepage or the homepage of a business. It is often a page that describes the professional role that **PERSON**

plays.]]>**PERSON****PERSON** **PAGE**) means that

, an instance of WorldWideWebHomePage_CW, is the homepage of a workplace of **PAGE**

.]]>**PERSON**`(worksAtFacility `

means that **PERSON** **FAC**)

normally works at **PERSON**

, some instance of Facility_Generic.]]>**FAC**`(worksOfArtFrom `

will always be true for **X** (WorksOfArtFromFn **X**))

meeting the relevant arg constraints.]]>**X**`(worksOfArtPeriod `

will always be true for **X** (WorksOfArtPeriodFn **X**))

meeting the relevant arg constraints.]]>**X**`(worldRecordIn `

will always be true for **X** (WorldRecordInFn **X**))

meeting the relevant arg constraints.]]>**X**`(wornOn_TypeType `

means that by default instances of **ITEM-TYPE** **BODY-PART-TYPE**)

are worn on instances of **ITEM-TYPE**

.]]>**BODY-PART-TYPE****DEV** **MEDIA-TYPE**) means that

writes to media of type **DEV**

.]]>**MEDIA-TYPE**`(writingOf `

will always be true for **X** (WritingFn **X**))

meeting the relevant arg constraints.]]>**X**`(writtenCharacterOf `

will always be true for **X** (WrittenCharacterFn **X**))

meeting the relevant arg constraints.]]>**X**`(xAxisPredicateOfSystem `

means that **X-PRED** **SYS**)

is the binary predicate used to state **X-PRED****x**-coordinate values in the Cartesian coordinate system

, i.e. Distances from the **SYS****y**-axis (if

is 2-D) or from the **SYS****yz**-plane (if

is 3-D).
**SYS**

Thus, for example, `(`

would mean that, in **X-PRED** **POINT** (Meter 5))

, the **SYS****x**-coordinate value of

is 5 meters.
**POINT**

See also yAxisPredicateOfSystem and zAxisPredicateOfSystem.]]>
`(xYCrossSectionOf `

will always be true for **X** (XYCrossSectionFn **X**))

meeting the relevant arg constraints.]]>**X**`(xZCrossSectionOf `

will always be true for **X** (XZCrossSectionFn **X**))

meeting the relevant arg constraints.]]>**X**`(xenograft `

identifies **EVENT** **ORGANISM-PART**)

as the allograft (tissue or organ) that is transplanted from a donor organism into a recipient. For the tissue or organ to qualify as an xenograft, the donor and recipient must belong to different species.]]>**ORGANISM-PART**`(y2K `

will always be true for **X** (#$Y2KFn **X**))

meeting the relevant arg constraints.]]>**X**`(y2KIndividual `

will always be true for **X** (#$Y2KIndividualFn **X**))

meeting the relevant arg constraints.]]>**X**`(yAxisPredicateOfSystem `

means that **Y-PRED** **SYS**)

is the binary predicate used to state **Y-PRED****y**-coordinate values in the Cartesian coordinate system

, i.e. Distances from the **SYS****x**-axis (if

is 2-D) or from the **SYS****xz**-plane (if

is 3-D).
**SYS**

Thus, for example, `(`

would mean that, in **Y-PRED** **POINT** (Meter 5))

, the **SYS****y**-coordinate value of

is 5 meters.
**POINT**

See also xAxisPredicateOfSystem and zAxisPredicateOfSystem.]]>
`(yZCrossSectionOf `

will always be true for **X** (YZCrossSectionFn **X**))

meeting the relevant arg constraints.]]>**X****AGENT** **ID**) means that the string

is a display ID used by **ID**

when logged into **AGENT**

's Yahoo! Chat account.]]>**AGENT**`(year `

will always be true for **X** (YearFn **X**))

meeting the relevant arg constraints.]]>**X**`(year_Julian `

will always be true for **X** (Year_JulianFn **X**))

meeting the relevant arg constraints.]]>**X**`(yearBCE_Julian `

will always be true for **X** (YearBCE_JulianFn **X**))

meeting the relevant arg constraints.]]>**X**`(yoctoVersionOf `

will always be true for **X** (Yocto **X**))

meeting the relevant arg constraints.]]>**X**`(yottaVersionOf `

will always be true for **X** (Yotta **X**))

meeting the relevant arg constraints.]]>**X**`(zAxisPredicateOfSystem `

means that **Z-PRED** **SYS**)

is the binary predicate used to state **Z-PRED****z**-coordinate values in the 3-D Cartesian coordinate system

, i.e. Distances from the **SYS****xy**-plane.

Thus, for example, `(`

would mean that, in **Z-PRED** **POINT** (Meter 5))

, the **SYS****z**-coordinate value of

is 5 meters.
**POINT**

See also xAxisPredicateOfSystem and yAxisPredicateOfSystem.]]>
`(zeptoVersionOf `

will always be true for **X** (Zepto **X**))

meeting the relevant arg constraints.]]>**X**`(zettaVersionOf `

will always be true for **X** (Zetta **X**))

meeting the relevant arg constraints.]]>**X**`(zipCodeToInteger `

will always be true for **X** (ZipCodeToIntegerFn **X**))

meeting the relevant arg constraints.]]>**X**