OpenCyc HomepageSpatial Relations

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

Return to Documentation Contents
Return to Vocabulary Contents

This document describes collections, predicates and other Cyc constants that are used to represent spatial objects and relations. See also documents for Groups, Quantities, Movement, Paths & Trajectories, Parts Of Objects, and Geography.


Objects


#$SpatialThing   spatial things
The collection of all things that have a spatial extent or location relative to some other #$SpatialThing or in some embedding space. Note that to say that an entity is a member of this collection is to remain agnostic about two issues. First, a #$SpatialThing may be #$PartiallyTangible (e.g. #$Texas-State) or wholly #$Intangible (e.g. #$ArcticCircle or a line mentioned in a geometric theorem). Second, although we do insist on location relative to another spatial thing or in some embedding space, a #$SpatialThing might or might not be located in the actual physical universe. It is far from clear that all #$SpatialThings are so located: an ideal platonic circle or a trajectory through the phase space of some physical system (e.g.) might not be. If the intent is to imply location in the empirically observable cosmos, the user should employ this collection's specialization, #$SpatialThing-Localized.
guid: bd58e951-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$Individual  
direct generalization of: #$SpaceRegion #$TwoOrHigherDimensionalThing #$EdgeOnObject-Generic #$BilateralObject #$SpatialThing-Localized #$BilaterallySymmetricObject #$RadiallySymmetricObject #$GeometricallyDescribableThing #$SpacePoint #$Amorphous #$SheetShaped #$Shaped
#$SpatialThing and related constants:
#$SpatiallyDisjointRegionType   types of spatially disjoint region
A collection of collections, and a specialization of #$RegionType. Each instance of #$SpatiallyDisjointRegionType is a collection of geographical regions, where each of the regions in the collection is spatially disjoint with the other regions in the collection. For example, the collection #$State-UnitedStates is an instance of #$SpatiallyDisjointRegionType, since the territories of U.S. states do not overlap. Other instances of #$SpatiallyDisjointRegionType include #$CanadianProvince, #$IndependentCountry, #$City, and #$Colony. A non-example is #$EcologicalRegion, since ecological regions can overlap.
guid: bd58e513-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of: #$RegionType  
#$SpaceRegion-Empirical   regions of space    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$SpatialThing-Localized whose instances are intangible regions of space located in the empirically observable universe. A space region might or might not be connected (see #$spatiallyContinuous). It might be partially or completely filled with (occupied by) #$PartiallyTangibles, or it might be completely empty (but cf. #$EmptySpaceRegion). In any case, the space region itself is not to be confused with a physical object or other spatially localized (non-space-region) thing that might happen to be #$cospatial with it. A given space region can be characterized fully merely by specifying its location and dimensions. Thus (although this is not the case with spatial things in general), space regions are identical (#$equals) if and only if they are #$cospatial. #$SpaceRegion-Empirical is in a way the spatial analogue of #$TimeInterval, whose own instances can be fully characterized by specifying their temporal properties; these two collections can be used, respectively, to talk about space and time as dimensions .
guid: c047ef64-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$SpaceRegion  #$IntangibleExistingThing  #$SpatialThing-Localized  
direct generalization of: #$SpaceLine-Empirical #$EmptySpaceRegion #$CavityInteriorRegion #$GeographicalSpaceRegion #$SpacePoint-Empirical
#$EmptySpaceRegion   empty space    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$SpaceRegion-Empirical whose instances are connected regions of empty space located in the empirically observable universe. The meaning of empty depends on context. In a high-energy physics microtheory where empty is defined as containing no particles, an empty space region would be a complete vacuum (see also #$Vacuum). In #$AmbientConditionsMt an empty space region would be occupied by a piece of #$Atmosphere. An undersea context could treat empty space regions as filled with seawater. An instance of #$EmptySpaceRegion is intangible, and not to be confused with the material -- if any -- that occupies it (cf. #$FreeSpaceContent).
guid: bd58ee65-9c29-11b1-9dad-c379636f7270
direct instance of: #$StuffType
direct specialization of: #$SpaceRegion-Empirical  #$EmptyRegion-Generic  
#$FreeSpaceContent   empty space (gas)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Instances of #$FreeSpaceContent are connected, tangible, fluid individuals occupying regions of free space (i.e. instances of #$EmptySpaceRegion): space regions through which solid objects can move more or less freely. Examples include the #$Air in the interior of a room or the sky above a city. In an underwater context, a piece of free space content is likely to be an instance of #$Water. Often, a #$FreeSpaceContent is associated with a geographical region or some physical boundaries that define its edges. But a (partially) tangible #$FreeSpaceContent is not to be confused with the intangible #$EmptySpaceRegion it occupies.
guid: bd5899a9-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$Air  #$EmptyRegion-Generic  
#$Border   borders    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all lines, linear regions, or dividing planes or surfaces--physical or abstract--that each constitutes the boundary between (#$formsBorderBetween) two regions (i.e., two instances of #$SpatialThing).
guid: bd62894d-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$SpatialThing-Localized  
#$Place   places (things existing stably in time)
A specialization of both #$SpatialThing-Localized and #$SomethingExisting. Each instance of #$Place is a spatial thing which has a relatively permanent location. Thus, in a given microtheory, each #$Place is stationary with respect to the frame of reference of that microtheory.
guid: bd58d3b4-9c29-11b1-9dad-c379636f7270
direct instance of: #$FirstOrderCollection
direct specialization of: #$SpatialThing-Localized  #$SomethingExisting  
direct generalization of: #$FixedStructure #$GeographicalRegion #$RealEstate #$GroundsOfOrganization #$Horizon #$Place-NonAgent #$PhysicalContactLocation #$SpaceInAFixedHOC #$GeographicalThing-Intangible-FixedLocation

Surfaces Portals And Cavities


#$Surface-Generic   surface generic
The collection of all surfaces, tangible or intangible (see #$Surface-Physical and #$Surface-Intangible), of spatial things. Each instance of #$Surface-Generic is a spatial thing that has extent in at least two dimensions, and either has no thickness (i.e. is a two dimensional object) or has an insignificant thickness compared to its length and width. (If it is a closed surface, e.g. an apple skin, then any significant subregion of it must have insignificant thickness compared to that subregion's length and width). Thus generic surfaces might be two- or three-dimensional; tangible or intangible; spatially connected or not; they might be flat, curved, folded, or crumpled. Other examples: the skin of a basketball, the face-up side of a table top, and a particular face of an abstract cube.
guid: bd958103-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$TwoOrHigherDimensionalThing  
direct generalization of: #$Surface-Intangible #$Surface-Open #$Surface-Physical #$FlatSurface
#$Surface-Intangible   abstract surfaces    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of both #$GeometricallyDescribableThing-Intangible and #$Surface-Generic. Each instance of #$Surface-Intangible is an intangible, geometrically describable surface. Positive examples are a convex hull of a coffee table or the surface of an abstract sphere. A negative example is the glossy surface of a polished tabletop, since this is a physical surface, and thus partially tangible.
guid: bd5884f6-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$GeometricallyDescribableThing-Intangible  #$Surface-Generic  
#$Surface-Physical   physical surfaces    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all real physical (hence technically three-dimensional) surfaces. The thickness of a #$Surface-Physical is much less than its average length or width, but it is not of zero thickness. A #$Surface-Physical may have holes, tears, and may be unconnected, in multiple pieces.
guid: bd590365-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$PartiallyTangible  #$Surface-Generic  
direct generalization of: #$ExternalSurface-WholeThing #$GeographicalRegion #$Side #$FlatPhysicalSurface #$InsideSurface #$SurfaceOnTangibleObject
#$SurfaceOnTangibleObject   surfaces (sheets)
A specialization of both #$Surface-Physical and #$SheetOfSomeStuff. Each instance of #$SurfaceOnTangibleObject is a sheet-like surface (that is, a surface with one dimension significantly smaller than the other two) of a partially tangible object. Such a surface is neither unconnected nor in multiple pieces. Furthermore, the properties of such a surface differ noticeably from the properties of the partially tangible object covered by the surface. So a veneer surface of a table would be an instance of #$SurfaceOnTangibleObject, while the surface of a wooden table with no lining would not. Further positive examples include carpet that is part of a floor, paint on a wall, the earth's crust, and the crust on a piece of bread.
guid: bd590882-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$Surface-Physical  #$SheetOfSomeStuff  
direct generalization of: #$PathForWheeledVehicles #$Skin
#$InsideSurface   inside surface    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all inside surfaces of (surfaces of the interiors of) tangible things. The tangible thing may have a #$Cavity or several cavities or passageways. Often the tangible thing can be thought of as a container of some sort.
guid: bd589b7d-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$Surface-Physical  
#$ExternalSurface-WholeThing   exteriors    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all entire outer physical surfaces of tangible objects. Excludes mere patches or portions of the whole surface of an object.
guid: bd589b3e-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Surface-Physical  
#$FlatPhysicalSurface   flat surfaces    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all surfaces that are substantially flat (by the tolerance standards of the the context). This means that there are no 'significant' concave depressions or convex bulges or bumps, and that the surface approximates some portion of a Euclidian plane in space. Note that the surface may have holes or cracks and may be disconnected, in multiple (substantially coplanar) pieces. A typical table top is a #$FlatPhysicalSurface.
guid: bd5885fe-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Surface-Physical  
#$Layer   layers
A specialization of #$SheetOfSomeStuff. Each instance of #$Layer is a sheet-like object situated adjacent, surface-to-surface, to at least one surface or layer or region on one side, and possibly to other layers or surfaces on both sides. An instance of #$Layer may be part of a larger object, or it may be an independent whole object, such as a hide confined in a stack of hides. An instance of #$Layer is _not_ an instance of #$FreeSheet.
guid: bdee251a-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$SheetOfSomeStuff  
direct generalization of: #$Skin
#$Layered   layered    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The physical structural attribute of being layered, laminate, or made of #$Layers, like stratified rock or an onion. An object that is #$Layered has two or more parts that are each #$Layers.
guid: be00c275-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$FreeSheet   free sheet    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A collection of certain pieces of tangible stuff. A #$FreeSheet is a #$SheetOfSomeStuff which has two sides open to the environment. I.e. over most of each of its surfaces, it is not #$sheetSurfaceConnected with something else.
guid: be2a4be2-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$SheetOfSomeStuff  
direct generalization of: #$CreditCard #$PrepaidTelephoneCard #$BankDebitCard #$Leather #$Cloth
#$SheetOfSomeStuff   sheets    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$PartiallyTangible. Each instance of #$SheetOfSomeStuff is a substance which (in its `intrinsic' shape) is continuous and, when flattened, uncrumpled, unfurled, etc., has one dimension which is significantly smaller than the other two dimensions. The requirement of being a continuous sheet does not preclude some type of penetrability, as in instances of #$Screen-Mesh, #$Netting, or #$LaceCloth. Instances of #$SheetOfSomeStuff may be in solid, liquid, or gaseous form. An instance of #$Puddle on a relatively flat surface (but not in a deep pothole) or an instance of #$AltoStratusCloud would be members of this collection. Note that being an instance of this collection implies nothing about the current configuration of the instance; in particular, instances of #$SheetOfSomeStuff need not be lying flat. For example, aluminum foil on a roll or a bedspread crumpled up on a bed are instances of #$SheetOfSomeStuff. Cf. #$SheetShaped, #$TwoDimensional.
guid: bd59066e-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingStuffType
direct specialization of: #$PartiallyTangible  
direct generalization of: #$Card #$FreeSheet #$SurfaceOnTangibleObject #$Covering-Object #$Layer
#$surfaceAttributeOfSurf   surface attribute of surf    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(surfaceAttributeOfSurf SURF SURFATT) means that the particular individual #$Surface-Physical SURF has the #$SurfaceAttribute SURFATT over most or all of its area. It may have more than one such surface attribute.
guid: bd58b6e5-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryAttributePredicate
direct specialization of: #$hasAttributes
#$CurvatureOfSurface   curvature of surface    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all surface curvature attributes. These may apply to a particular piece of a surface of an object, or to the whole surface. For real-world (non-mathematical) surfaces, there is ordinarily some tolerance for minor surface deviations that depends on the context. Thus a 'flat' surface may have relatively small bumps and crevices.
guid: c0f2ab26-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$SurfaceAttribute  
#$Convex   convex    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A surface attribute meaning that the surface's overall shape is dominated by an outward bulge or mound, or consists of projecting corners between planes. In most contexts, it may have relatively small subregions which are concave or flat, etc., so long as overall shape is convex. Viewing something as convex assumes a perspective. From the opposite perspective, on the `other side', a #$Convex surface would look #$Concave.
guid: c0f2b67b-9c29-11b1-9dad-c379636f7270
direct instance of: #$SurfaceAttribute #$Individual
#$ConvexHullFn   convex hull fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
This function takes as argument an instance of #$SpatialThing (which may be a single object or a #$Group of several unconnected objects) and returns the abstract surface that is the convex hull of the object or objects. (#$ConvexHullFn OBJECT) denotes the convex hull that encloses, precisely, all of the minimal convex region of space that #$spatiallySubsumes all parts of OBJECT. The convex hull is a surface; for the minimal convex region of space, see #$ConvexHullSpaceFn.
guid: c103b180-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnaryFunction #$ReifiableFunction #$IndividualDenotingFunction #$Individual
#$ConvexHullSpaceFn   convex hull space fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
This function takes as argument an instance of #$SpatialThing (which may be a single object or a #$Group of several unconnected objects) and returns the spatial region that is enclosed by the convex hull of the object or objects. (#$ConvexHullSpaceFn OBJECT) denotes the minimal convex region of space that #$spatiallySubsumes all parts of OBJECT. The enclosed space is three or two dimensional and is not the hull surface itself, which is obtained by the function #$ConvexHullFn. See #$minimalConvexSpaceSubsuming
guid: bf3bb632-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnaryFunction #$ReifiableFunction #$IndividualDenotingFunction #$Individual
#$ConvexTangibleObject   convex tangible object    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all instances of #$PartiallyTangible that are #$Convex, i.e. have no significant #$Concave surfaces, cavities or #$Crevices. A #$ConvexTangibleObject occupies about the same space as its convex hull; see #$ConvexHullFn and #$ConvexHullSpaceFn. A solid physical sphere or cube are #$ConvexTangibleObjects but a cup or doughnut cannot be. The size of allowable minor concavities depends on the context.
guid: c0b9215a-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$PartiallyTangible  
#$CordlikeObject   cord-like objects
A specialization of #$PartiallyTangible. Each instance of #$CordlikeObject is a partially tangible non-fluid object (so #$CordlikeObject is disjoint with #$FluidTangibleThing) whose length is significantly greater than either its height or width. Moreover, each instance of #$CordlikeObject has a high degree of flexibility. Notable specializations of #$CordlikeObject include the collections #$Nerve, #$Tape, and #$Cable.
guid: bd58f581-9c29-11b1-9dad-c379636f7270
direct instance of: #$StuffType
direct specialization of: #$Path-Customary  #$Path-Simple  #$PartiallyTangible  
direct generalization of: #$AnatomicalVessel #$Nerve
#$EdgeOnObject   edges    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all edges on objects that are instances of #$PartiallyTangible. For a two-dimensional object, its boundaries other than corners are it edges. For a three dimensional object the edges are the outer portions of those extremities, excluding any corners (#$Corner-2or3d), that are much more acute in cross section in one direction than in most other directions at the same point. Some objects, like spheres, hairs, poles and typical burrs, have no edges. A discus has one, round, edge has four edges. A mountain ridge might have only a single edge. A solid polyhedron has six or more edges.
guid: bd58f6db-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$PartiallyTangible  #$EdgeOnObject-Generic  
#$Corner-2d   two-dimensional corners    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all regions wherein two linear edges of a two dimensional or sheet-shaped object (i.e., considered in this context to be sheet shaped) meet to form an angle of substantially less than 180 degrees. Polygons have at least three corners each.
guid: c0fbbe43-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Corner-2or3d  
#$Corner-3d   three-dimensional corners    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all regions where three or more surfaces of an object (which is considered three dimensional in current context), and three or more #$EdgeOnObjects, meet. This includes corners of boxes, the tops of pyramids, etc. Each #$Corner-3d includes some solid angle of part of the object.
guid: c0fba450-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Corner-2or3d  
#$Corner-2or3d   corners (tangible things)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all regions centered around a point where two edges of a sheet-like object meet at an angle or where three or more surfaces (together with three or more solid edges dividing them) meet at one place forming a solid angle. Includes 2-dimensional corners and 3 dimensional corners. Corners are either #$Convex or #$Concave with respect to some perspective.
guid: c0fba90e-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$PartiallyTangible  
direct generalization of: #$Corner-3d #$Corner-2d
#$Concave   concave    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An attribute of a surface meaning that it is bumped or indented inward. A concave surface has a pair of points which are both closer to a viewer than points on the surface between them. Depending on the context, it may have relatively small subregions which have convexities (e.g. wrinkles, small dents, corrugations) or are flat so long as the overall shape is concave. Saddle-shapes, although convex in certain dimensions, are concave in others and are therefore concave.
guid: c0f2b614-9c29-11b1-9dad-c379636f7270
direct instance of: #$SurfaceAttribute #$Individual
#$Portal   portals (localized spatial things)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all openings, as in a surface, through a tube, etc., with or without a covering. This includes doors, mouths, doughnut-holes, etc.
guid: bd58d597-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$SomethingExisting  #$Cavity  #$Path-Simple  
direct generalization of: #$PipeEndToCavityJunction #$WindowPortal #$Doorway
#$containsPortals   contains portals    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$containsPortals OBJECT PORTAL) means that the OBJECT has PORTAL as one of its holes, passages, exits or entrances.
guid: bd58d235-9c29-11b1-9dad-c379636f7270
direct instance of: #$FunctionalPredicate #$AntiTransitiveBinaryPredicate #$AsymmetricBinaryPredicate #$PhysicalPartPredicate #$CotemporalObjectsSlot
direct specialization of: #$hasAsCavity
#$spaceRegionPortals   space region portals    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$spaceRegionPortals REGION HOLE) means that HOLE is a #$Portal into the #$CavityInteriorRegion REGION.
guid: bd5899bb-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$InterExistingObjectSlot
direct specialization of: #$adjacentTo
#$hasPortalToRegion   has portal to region    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
ARG1 is connected to ARG2 through some type of portal (e.g. #$hasPortalToRegion(MyMasterBedroom MyMasterBathroom))
guid: bd58b12b-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SymmetricBinaryPredicate
#$portalConnectsRegions   portal connects regions
(#$portalConnectsRegions PORTAL HERE THERE) means that the regions HERE and THERE are connected via PORTAL, and that at least one of HERE and THERE contains PORTAL as a physical part.
guid: bd58d88e-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalPredicate #$TernaryPredicate
direct specialization of: #$pathBetween
#$Cavity   cavities
The collection of all cavities, including instances of #$Crevice, deep concavities or holes, and cavities of containers (for example, the interior of a box). Instances of #$Cavity can include walls as parts, in which case they are instances of #$CavityWithWalls. Instances of #$Cavity, unlike instances of #$Container, do not have well defined outside walls.
guid: bd5891a8-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$CavityOrContainer  
direct generalization of: #$CavityWithWalls #$Portal #$CavityInteriorRegion #$SpaceInAHOC
#$containsCavityWithWalls   contains cavity with walls
(#$containsCavityWithWalls OBJECT CAVITY) means that the #$PartiallyTangible OBJECT contains the #$CavityWithWalls CAVITY either somewhere within OBJECT, or on OBJECT's surface.
guid: bd5891ec-9c29-11b1-9dad-c379636f7270
direct instance of: #$FunctionalPredicate #$AntiTransitiveBinaryPredicate #$PhysicalPartPredicate #$AsymmetricBinaryPredicate #$CotemporalObjectsSlot
direct specialization of: #$hasAsCavity #$physicalParts
#$cavityHasWall   cavity has wall    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(cavityHasWall CAV WALL) means that the the #$Cavity CAV has WALL as one of its walls (or part of one of its walls), or partly-enclosing inner surfaces. #$cavityHasWall is often used for describing the relationship between some space or part of a #$ConstructionArtifact and the substructures that bound or enclose it (e.g., the relationship between a room and its walls, floor(s), and ceiling(s)).
guid: bd58c7f2-9c29-11b1-9dad-c379636f7270
direct instance of: #$PartPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$physicalParts
#$Crevice   crevices    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all long, slender cavities or cracks or furrows in otherwise solid objects. The width of a crevice is significantly less than its length. The depth of a crevice is often greater than its width, and is never significantly less than its width.
guid: c0fcdf4c-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$CavityWithWalls  
#$CavityInteriorRegion   interiors (localized spatial things)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of space regions that constitute cavities inside the walls or boundaries of solid objects. Such regions need not be completely sealed off. As a space region, an instance of #$CavityInteriorRegion is intangible, and thus not to be confused with the partially tangible matter that might fill or occupy it (see #$CavityInteriorContent). See also #$Cavity, whose instances, unlike those of #$CavityInteriorRegion, can include walls (in which cases they are also instances of #$CavityWithWalls).
guid: bd58a8e9-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Cavity  #$SpaceRegion-Empirical  #$CavityInterior-Generic  
#$CavityInteriorRegionFn   cavity interior region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$CavityInteriorRegionFn OBJECT) denotes the entire interior space region (#$CavityInteriorRegion) within any #$Cavity or cavites (chambers, passages, pockets, bubbles, etc.) that occur inside of OBJECT. This does not include the walls of the chamber(s) or passage(s), just the interior space itself.
guid: bd58ff3c-9c29-11b1-9dad-c379636f7270
direct instance of: #$ReifiableFunction #$IndividualDenotingFunction #$UnaryFunction #$Individual
#$TubeShape   rod shaped    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$CylinderShape. Each instance of #$TubeShape is a hollow cylinder whose height is much greater than the radius of its base. Examples include spatially localized objects, such as pipes and hoses, as well as some abstract cylinders.
guid: c10060cb-9c29-11b1-9dad-c379636f7270
direct instance of: #$GenericShapeType #$ThreeDimensionalShapeType
direct specialization of: #$CylinderShape  
#$Pipe-GenericConduit   pipes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all enclosed tubular fluid conduits with openings at both ends. #$Pipe-GenericConduit encompasses both human-made pipes as well as natural pipes, found naturally occurring in the environment, or found in an organism's body, like #$BloodVessels.
guid: bd5899fd-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$CylindricalHollowObject  #$Container  #$FluidConduit  
direct generalization of: #$AnatomicalVessel

Shape


#$ShapeType   configurations (mathematical concepts)
A collection of collections. Each instance of #$ShapeType is a subcollection of #$SpatialThing (q.v.).
guid: c0f46e0f-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
direct specialization of: #$ObjectType  
direct generalization of: #$AbstractShapeType #$TwoDimensionalShapeType #$GenericShapeType #$ThreeDimensionalShapeType
#$GeometricThing-Abstract   abstract shapes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$GeometricallyDescribableThing each of whose instances is abstract in the sense of being intangible (see #$Intangible) as well as lacking spatial and temporal location. Each instance of #$GeometricThing-Abstract is an abstract region of an abstract space (the latter having two or more dimensions). Geometric figures that are located in this (or another) universe are not instances of this collection, but of #$GeometricThing-Localized.
guid: bd5885bc-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$GeometricallyDescribableThing-Intangible  #$MathematicalObject  
#$fitsIn   fits in    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The predicate #$fitsIn is used to give an approximation of the external size and shape of particular tangible objects, by relating an object to an abstract region of space described as a geometric shape with definite dimensions. (#$fitsIn OBJ SHAPE) gives an upper bound for the size of the object OBJ, by stating what sized shape OBJ will fit inside. #$fitsIn uses the elements of #$ShapeFunction (q.v.) for reference, especially the basic shapes generated by #$RectangularSolidFn, #$CylinderFn, and #$SphereFn. (Note: actual instances of AbstractPhysicalShape are NOT used for assertions made with #$fitsIn.) Examples: (#$fitsIn #$Pittman (#$RectangularSolidFn (#$Meter 2) (#$Meter 0.35) (#$Meter 0.25))) and (#$fitsIn HopeDiamond (#$CylinderFn (#$Centi (#$Meter 10) (#$Centi(#$Meter 10))). When #$fitsIn is used in a rule to represent a class of objects with variable sizes, the #$ShapeFunction used should refer to the largest size that such objects normally have. For example, by default, any sandwich SW (#$fitsIn SW (#$RectangularSolidFn (#$Inch 12) (#$Inch 12) (#$Inch 6))).
guid: bd590bea-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate
#$canContainShapes   can contain shapes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The predicate #$canContainShapes is used to give an approximation of the internal size and shape of particular tangible objects, by relating an object to an abstract region of space described as a geometric shape with definite dimensions. (#$canContainShapes OBJ SHAPE) gives an upper bound for the size of things that can be contained in the object OBJ, by specifying the dimensions of an abstract shape which OBJ can contain. #$canContainShapes uses the elements of #$ShapeFunction (q.v.) for reference, especially the basic shapes generated by #$RectangularSolidFn, #$CylinderFn, and #$SphereFn. For example, the trunk of my Honda Civic #$canContainShapes of (#$RectangularSolidFn (#$Meter 1) (#$Meter 0.5) (#$Meter 0.75)). Cf. #$fitsIn.
guid: bd58d16d-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate
#$ShapeFunction   shape functions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A collection of Cyc functions. Each instance of #$ShapeFunction is a function which returns an element of #$GeometricThing-Abstract, an abstract physical region with a specific shape and dimensions. Positive examples of #$ShapeFunction include #$RectangleFn, #$EllipseFn, #$CircleFn, #$RectangularSolidFn, #$CylinderFn, etc. Each shape function takes as argument(s) the dimension(s) of #$Distance needed to determine a geometric shape of that kind, then returns a shape which has those dimensions. For example, (#$CylinderFn L D) denotes an abstract cylinder of length L and diameter D.
guid: bd58809c-9c29-11b1-9dad-c379636f7270
direct instance of: #$FunctionCategory
direct specialization of: #$IndividualDenotingFunction  
#$SphereFn   sphere fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An instance of #$ShapeFunction. When applied to an instance DIAMETER of #$Distance-Absolute, #$SphereFn returns an abstract #$SphereShape which has diameter DIAMETER. Examples: the #$shapeOfObject of a 2-inch rubber ball is #$SphereShape; the ball #$fitsIn the shape denoted by (#$SphereFn (#$Inch 2)). The #$shapeOfObject of #$PlanetEarth is also #$SphereShape; Earth #$fitsIn the shape denoted by (#$SphereFn (#$Mile 8000)).
guid: bd5880b5-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnreifiableFunction #$ShapeFunction #$UnaryFunction #$Individual
#$RectangularSolidFn   rectangular solid fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
#$The #$Cyc function #$RectangularSolidFn is a #$ShapeFunction (q.v.). (#$RectangularSolidFn DP BR HT) returns an abstract rectangular solid of depth DP, breadth BR, #$and height HT. For example, the #$shapeOfObject of a 2-by-4 stud is #$Rectangular3DShape; it #$fitsIn the #$shapeOfObject denoted by (#$RectangularSolidFn (#$Inch 2) (#$Inch 4) (#$Foot-UnitOfMeasure 8)).
guid: bd5880b4-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnreifiableFunction #$TernaryFunction #$ShapeFunction #$Individual
#$CylinderFn   cylinder fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The Cyc function #$CylinderFn is a #$ShapeFunction (q.v.). (#$CylinderFn L D) that returns an abstract cylinder of length L and diameter D. For example, a particular beer mug #$canContainShapes (#$CylinderFn (#$Inch 10) (#$Inch 5)).
guid: bd5880b3-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnreifiableFunction #$BinaryFunction #$ShapeFunction #$Individual
#$ThreeDimensionalShapeType   types of three dimensional shape
A collection of collections. Each instance of #$ThreeDimensionalShapeType is a sub-collection of #$ThreeDimensionalGeometricThing. Instances include the collections #$CylinderShape, #$SphereShape, and #$Rectangular3DShape.
guid: c0f46ec5-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
direct specialization of: #$ShapeType  
#$TwoDimensionalShapeType   types of two dimensional shape    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A collection of collections. Each instance of #$TwoDimensionalShapeType is a collection of things which are specializations of #$TwoDimensionalGeometricThing.
guid: c0f46e93-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
direct specialization of: #$ShapeType  
#$AbstractShapeType   types of abstract shape
A collection of collections. An instance SHAPE of #$ShapeType (q.v.) is also an instance of #$AbstractShapeType if and only if SHAPE is a specialization of #$GeometricThing-Abstract. Since all of the instances of a given instance of #$AbstractShapeType are abstract, the collection #$AbstractShapeType is disjoint with #$GenericShapeType (q.v.), which is the collection of those collections that are instances of #$ShapeType, some of whose instances are abstract, and some of whose instances are localized (note that there is no collection `LocalizedShapeType').
guid: c0f46e32-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of: #$ShapeType  
#$LongAndThin   long and thin    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A physical attribute. #$LongAndThin is the #$PhysicalStructuralAttribute that characterizes a tangible object which has one dimension whose length exceeds that of each of the other two dimensions by at least a factor of three. E.g., pencils, straws, telephone wire, submarines, skyscrapers. Cf. #$SheetShaped.
guid: c0f2a0fe-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$PointyEnded   spiky    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Includes anything which tapers to a pointy or sharp end--pens, pencils, needles, pins, nails, and wood-screws, but not wires (no taper). Most knives would be included, but only because they have pointy ends. A knife with a rounded ended and a sharp blade would not be included.
guid: c10060b6-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$SharpEdged   sharp    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Includes anything which has a sharp edge. Includes knives, scissors, and broken glass. Does not include the right angle at the edge of a desk--that's not sharp enough. Does not include the edge of a cotton sheet--that's not hard enough to be sharp. Does not include a needle--it may be sharp, but it's not an edge. For needles, nails, etc., see #$PointyEnded.
guid: c10058b3-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$SheetShaped   panels    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An instance of #$ShapeType. #$SheetShaped refers to an object that is flat and spread out, planar, and neither fully crumpled nor compactly folded. Such an object has two opposing surfaces which have the attribute #$Flat (q.v.). The other surfaces have much smaller area than the two main flat surfaces. Thus, one of the three orthogonal dimensions (length, width or height) of a #$SheetShaped object is much smaller than the other two. Ice over ponds, and sheets of paint on a house are all possible examples of such objects. A bedspread is #$SheetShaped only if it is not folded into a small volume or crumpled. See #$CurrentShapeVsIntrinsicShape. For describing a sheet of something (e.g., waxed paper, aluminum foil, cloth) regardless of its configuration, use #$SheetOfSomeStuff. For 'one-sided' surfaces (see #$SurfaceOnTangibleObject), such as 'TheGreatPlains' #$SheetShaped is not appropriate but #$Flat is appropriate.
guid: bd58c6d6-9c29-11b1-9dad-c379636f7270
direct instance of: #$ShapeType
direct specialization of: #$SpatialThing  

Symmetry In Space


#$RadiallySymmetricObject   radial    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of objects which are radially symmetric, such as wheels, starfish, etc.
guid: bd5906ff-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$SpatialThing  
#$BilaterallySymmetricObject   bilaterally symmetric object
A specialization of #$SpatialThing. Each instance of #$BilaterallySymmetricObject is an object which is symmetric on both sides of a bisecting axis.
guid: bd58b94b-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$SpatialThing  
direct generalization of: #$ClothingItem
#$LeftObject   left object    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of objects that are meant for, or are found on and distinctively structured for, the left side of some larger entity or ensemble of parts. Examples include left hands, left shoes, left automobile turning signals.
guid: bd58d4ba-9c29-11b1-9dad-c379636f7270
direct instance of: #$TangibleObjectTypeBySide
direct specialization of: #$PartiallyTangible  
#$RightObject   right object    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of objects that are meant for, or are found on and distinctively structured for, the right side of some larger entity or ensemble of parts. Examples include right hands, right shoes, right automobile turning signals.
guid: bd589f35-9c29-11b1-9dad-c379636f7270
direct instance of: #$TangibleObjectTypeBySide
direct specialization of: #$PartiallyTangible  
#$symmetricPartTypes   symmetric part types    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$symmetricPartTypes BIG SMALL) means that every instance of BIG has exactly two, symmetrically positioned, instance of SMALL as parts.
guid: bf12f780-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate
direct specialization of: #$physicalPartTypes
#$uniquePartTypes   unique part types
The predicate #$uniquePartTypes relates two sub-collections of #$PartiallyTangible. (#$uniquePartTypes BIG SMALL) means that every instance of BIG has exactly one instance of SMALL as a physical part (see the predicate #$physicalParts).
guid: bdc6b464-9c29-11b1-9dad-c379636f7270
direct instance of: #$ReflexiveBinaryPredicate
direct specialization of: #$physicalPartTypes
#$SymmetryMemberFunction   symmetry member function    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The class of functions which return one member of a symmetric relation. This class consists of #$LeftFn and #$RightFn.
guid: bd744168-9c29-11b1-9dad-c379636f7270
direct instance of: #$FunctionCategory
direct specialization of: #$SubcollectionDenotingFunction  #$ReifiableFunction  #$UnaryFunction  

Direction And Orientation Vocabulary


#$FrameOfReference   frames of reference    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$MathematicalObject. Each instance of #$FrameOfReference is a mathematical (and hence intangible) representation of the context in which certain data are to be interpreted. Such contexts are typically physical (i.e., spatiotemporal), but contexts may also be purely mathematical. A Cartesian coordinate system represents a frame of reference.
guid: bd58d4a0-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$MathematicalObject  
#$TerrestrialFrameOfReference   Terrestrial Frame Of Reference    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The terrestrial frame of reference is the unique individual #$FrameOfReference that generally regards the surface of the #$PlanetEarth as fixed in the background space. It permits fixed notions of #$VerticalOrientation and #$HorizontalOrientation. There are multiple standard coordinate systems based on the #$TerrestrialFrameOfReference, including #$latitude and #$longitude, Earth-Centered Cartesian, and others. Various local frames of reference and coordinate systems assume the #$TerrestrialFrameOfReference.
guid: bd5905ed-9c29-11b1-9dad-c379636f7270
direct instance of: #$FrameOfReference #$Individual
#$OrientationAttribute   orientations (attribute values)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of attributes which characterize an object's orientation relative to whatever instance of #$FrameOfReference is being used in the current context. In most contexts, orientation is taken with respect to the #$TerrestrialFrameOfReference.
guid: c0fbab60-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$AttributeValue  
#$HorizontalOrientation   horizontal    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$orientation OBJECT #$HorizontalOrientation) means that OBJECT is horizontal with respect to the current instance of #$FrameOfReference. A linear (#$LongAndThin) object is horizontal if and only if its longest axis lies in the horizontal plane. A planar (#$SheetShaped) object is horizontal if and only if its two longest axes lie in the horizontal plane. Typically, horizontal objects include dinner plates, mousepads, ice skating rinks, parking lots, and stratus clouds.
guid: c0fbacf8-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$VerticalOrientation   vertical (attribute value)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$orientation OBJECT #$VerticalOrientation) means that OBJECT is vertical with respect to the current instance of #$FrameOfReference. A linear (#$LongAndThin) object is vertical if and only if its longest dimension is perpendicular to horizontal (#$HorizontalDirection). A planar (#$SheetShaped) object has #$VerticalOrientation if and only if its planar surface is perpendicular to the current horizontal plane. Typically, vertical objects include window panes, skyscrapers, trees, radio towers, and walls.
guid: c0fbad0b-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$UpsideDown   upside-down    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$orientation OBJECT #$UpsideDown) means that OBJECT's intrinsic bottom (e.g., the hull of a ship) is above (#$above-Directly) its intrinsic top (e.g., the masthead). Many things don't work properly when upside down, e.g., sailboats, salad bowls, newspapers.
guid: c0fbac43-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$RightSideUp   right side up    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$orientation OBJECT #$RightSideUp) means that OBJECT's intrinsic top (e.g., the lid of a teapot) is above (#$above-Directly) its intrinsic bottom (e.g., bowl of a teapot).
guid: c0fbac6d-9c29-11b1-9dad-c379636f7270
direct instance of: #$AttributeValue #$Individual
#$oppositeDirection-Interval   opposite direction - interval    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$oppositeDirection-Interval COMING GOING) means that the vector which points in the opposite direction to the vector COMING is the vector GOING. More technically, COMING and GOING are both elements of #$UnitVectorInterval in Cyc's spatial representation, and the midpoint of the direction interval COMING is 180 degrees from the midpoint of the direction interval GOING. Examples: (#$oppositeDirection-Interval #$North-Generally #$South-Generally), (#$oppositeDirection-Interval #$DorsalDirection #$VentralDirection). If a precise opposite direction is needed, use #$oppositeDirection-Precise.
guid: bd58896c-9c29-11b1-9dad-c379636f7270
direct instance of: #$AntiTransitiveBinaryPredicate #$SymmetricBinaryPredicate
direct specialization of: #$directionsDisjoint
#$oppositeDirection-Precise   opposite direction - precise    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Predicate used mainly for reasoning about orientations within a given frame of reference. (#$oppositeDirection-Precise DIR OPPDIR) means that DIR is precisely the opposite direction to OPPDIR. The predicate may be taken to imply that the vectors denoting the directions are separated by 180 degrees.
guid: bd58c726-9c29-11b1-9dad-c379636f7270
direct instance of: #$AntiTransitiveBinaryPredicate #$SymmetricBinaryPredicate
direct specialization of: #$oppositeDirection-Interval #$parallelVectors
#$TerrestrialDirection   terrestrial directions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of directions used to describe the orientation of objects on or near the surface of the Earth. Includes terrestrial directions related to compass points (e.g., #$East-Directly) and to the gravitational vector (e.g., #$Down-Directly, #$VerticalDirection). Note that assertions in different terrestrial contexts can be inconsistent in a neutral context: East in China points in a different direction than East in New York!
guid: bd588a62-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$UnitVectorInterval  
direct generalization of: #$GeographicalDirection
#$Up-Generally   upward    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An instance of #$TerrestrialDirection. #$Up-Generally comprises the cone-shaped set of vectors pointing (from some reference point) within approximately forty-five degrees of #$Up-Directly.
guid: bd58a4d6-9c29-11b1-9dad-c379636f7270
direct instance of: #$TerrestrialDirection #$Individual
#$Up-Directly   straight up    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The direction straight up. In the terrestrial context, #$Up-Directly points in the opposite direction of Earth's gravitational force vector.
guid: bd5889a9-9c29-11b1-9dad-c379636f7270
direct instance of: #$UnitVector-Precise #$TerrestrialDirection #$Individual
#$Down-Generally   downward    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An instance of #$TerrestrialDirection. #$Down-Generally comprises the cone-shaped set of vectors pointing (from some reference point) within approximately forty-five degrees of #$Down-Directly.
guid: bd58a496-9c29-11b1-9dad-c379636f7270
direct instance of: #$TerrestrialDirection #$Individual
#$Down-Directly   straight down    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The direction straight down. In the terrestrial context, #$Down-Directly points in the same direction as Earth's gravitational force vector.
guid: bd5889eb-9c29-11b1-9dad-c379636f7270
direct instance of: #$TerrestrialDirection #$UnitVector-Precise #$Individual
#$HorizontalDirection   horizontally    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The element of #$VectorInterval that comprises all the vectors which are perpendicular to #$Up-Directly and #$Down-Directly.
guid: bd58ba3a-9c29-11b1-9dad-c379636f7270
direct instance of: #$TerrestrialDirection #$Individual
#$VerticalDirection   vertical    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The element of #$VectorInterval that comprises all the vectors that are parallel to #$Up-Directly and #$Down-Directly.
guid: bd58baba-9c29-11b1-9dad-c379636f7270
direct instance of: #$TerrestrialDirection #$Individual
#$GeographicalDirection   directions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$UnitVectorInterval. #$GeographicalDirections derive from the 'intrinsic' directional axes of a terrestrial frame of reference: North, South, East, West, geographic 'Up' and geographic 'Down'. Like all #$VectorIntervals, they may be specified precisely--e.g., #$North-Directly or as intervals--e.g., #$North-Generally. With respect to 'up' and 'down', care should be taken to distinguish a #$TopAndBottomSidedObject's 'intrinsic' up and down from 'up' and 'down' with respect to the surface of the Earth or some other planet.
guid: bd58dbdb-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$DirectionExpression  #$TerrestrialDirection  
direct generalization of: #$GeographicalDirection-Direct #$GeographicalDirection-General
#$North-Generally   north (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
An instance of #$GeographicalDirection. #$North-Generally comprises the cone-shaped set of vectors pointing (from some reference point) within approximately forty-five degrees of #$North-Directly (q.v.).
guid: bd588776-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$North-Directly   due north    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Due North, an instance of #$GeographicalDirection.
guid: bd58fb02-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$South-Generally   southern (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of South. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The instance of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$South-Directly.
guid: bd5887b7-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$South-Directly   due south    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Due South. An instance of #$TerrestrialDirection.
guid: bd58dde2-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$East-Generally   East (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of East. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The instance of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$East-Directly.
guid: bd58a558-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$East-Directly   due east    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Due East, an instance of #$GeographicalDirection.
guid: bd58f124-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$West-Generally   west (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of West. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The instance of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$West-Directly.
guid: bd58a517-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$West-Directly   due west    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Due West, an instance of #$GeographicalDirection.
guid: bd58f165-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$Northeast-Generally   northeast (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of Northeast. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The element of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$Northeast-Directly.
guid: c107ca50-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$Northeast-Directly   due northeast    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The precise Northeast direction from any geographic point other than a pole.
guid: bd588d73-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$Northwest-Generally   northwest (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of Northwest. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The instance of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$Northwest-Directly.
guid: c090ff2d-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$Northwest-Directly   due northwest    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The precise Northwest direction from any geographic point other than a pole.
guid: bd588aad-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$Southeast-Generally   Southeast (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of Southeast. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The instance of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$Southeast-Directly.
guid: bde453b2-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$Southeast-Directly   due southeast    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The precise Southeast direction from any geographic point other than a pole.
guid: bd588a29-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$Southwest-Generally   Southwest (mathematical concept)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The general direction of Southwest. In the context of the CPoF Block Party VI simulation, this constant has a narrower meaning according to which it corresponds to a range of degrees that is half what it is in the BaseKB, so that it does not overlap with that of any other general direction. Thus: The element of #$VectorInterval that comprises the cone-shaped set of vectors pointing (from some reference point) within approximately 22.5 degrees (in either direction) of #$Southwest-Directly.
guid: be8d6ed9-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-General #$Individual
#$Southwest-Directly   due southwest    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The precise Southwest direction from any geographic point other than a pole.
guid: bd588ae7-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalDirection-Direct #$Individual
#$SpatialPredicate   spatial relations    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of predicates that are spatial relationships. Instances of this collection take one or more instances of #$SpatialThing as arguments and give information about its/their spatial location, position, or orientation by relating it/them to a direction or other spatial thing. (Of course, the asserted isa-contraints on the relevant argument places might be proper subcollections of #$SpatialThing.) Note that when an instance of #$SpatialPredicate has an instance of #$Group as one of its arguments, in many cases a certain spatial relationship is being asserted to hold of all or most of the members of that group; but there are exceptions (e.g. #$in-Among) for which this is not the case.
guid: bd58bc17-9c29-11b1-9dad-c379636f7270
direct instance of: #$PredicateCategory
direct specialization of: #$CotemporalPredicate  
#$orientation   orientation (spatial relation)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$orientation OBJECT ORTN) means that the tangible OBJECT is oriented in the way described by the #$OrientationAttribute ORTN. Examples: (#$orientation OBJ #$RightSideUp), (#$orientation OBJ #$VerticalOrientation). #$orientation is asserted with respect to the current context's #$FrameOfReference.
guid: c0fbab99-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
direct specialization of: #$hasAttributes
#$upAxisPoints   up axis points    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$upAxisPoints OBJ DIR) means OBJ's intrinsic up-axis points in the direction DIR. An object has an intrinsic up-axis only if it has an intrisic top by virtue of its design or function. People, rockets, cars, and cups are examples of objects with intrinsic tops. A sphere has no intrinsic top, due to its symmetry. If an object with an intrinsic up-axis, OBJ, is on its side, one asserts (#$upAxisPoints OBJ #$HorizontalDirection). If OBJ is upside-down, one asserts (#$upAxisPoints OBJ #$Down-Directly) or (#$upAxisPoints OBJ #$Down-Generally), depending on how precise one wishes to be.
guid: bd590a36-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
#$facesDirection   faces direction    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$facesDirection OBJ DIR) means that the intrinsic forward axis of OBJ (i.e., the vector normal to its intrinsic front side) points in the direction DIR. Note that an object only has an intrinsic forward axis if it has some intrinsic front side by virtue of its design or function. For example, trains, cars, and bullets have intrinsic front faces by virtue of the direction in which they are intended to travel. Other objects, such as refrigerators, bookshelves against walls, and televisions, have front faces by virtue of how people usually view the object. Spheres, being symmetric, do not have an intrinsic forward axis.
guid: bd58b302-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
#$IntrinsicAxisOfObject   intrinsic axes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all intrinsic axes of objects (where those objects can be either spatially localized or abstract), being the conventional or obvious axes depending on shape, movement or function of the object. For example, for a chest-of-drawers, the intrinsic axes are top-to-bottom, side-to-side, and front-to-back. See also #$AxisFn. Each intrinsic axis is a direction relative to the object's orientation.
guid: bd58eb96-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$Axis  
#$AxisFn   axis fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$AxisFn OBJ REGIONTYP1 REGIONTYP2) is a function that, applied to an individual object OBJ and two types of region of such an object, returns the axis through the object, determined by running the axis through the centers of the individual regions (of those types) of the object. Thus #$AxisFn is an #$IndividualDenotingFunction that returns a particular axis of an individual object. (#$AxisFn OBJ FROM-SIDE TO-SIDE) denotes a directional axis, pointing from FROM-SIDE to TO-SIDE of OBJ and extending through it. For example, (#$AxisFn `Chair37' #$BackSide #$FrontSide) would denote the back-to-front axis of Chair37. See also #$IntrinsicAxisOfObject. Note that resultant axis is straight, so that the #$AxisFn of a coiled hose from its female end to its male end would not be aligned with the hose.
guid: bd58daa2-9c29-11b1-9dad-c379636f7270
direct instance of: #$ReifiableFunction #$TernaryFunction #$IndividualDenotingFunction #$Individual
#$direction-Pointing   direction - pointing    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$direction-Pointing OBJ DIR) means that the intrinsic pointing axis of OBJ points in the direction DIR (which is described using an instance of #$UnitVectorInterval). Pointing axes may be ascribed to certain objects especially in relation to their function(s); e.g., objects which are intended to indicate direction (e.g., a pointer stick, a compass needle); objects which cause motion in a certain direction (e.g., a gun, a train); objects which are accessed from a certain direction (e.g., cupboards, couches).
guid: bd58b9fb-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
#$facesObject   faces object    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The Cyc predicate #$facesObject is used to represent the orientation of one object to another. (#$facesObject OBJ1 AXIS1 OBJ2) means that an intrinsic axis projected through OBJ1 (i.e., AXIS1) spatially intersects with the second object, OBJ2. See also #$IntrinsicAxisOfObject, #$AxisFn.
guid: bd588de5-9c29-11b1-9dad-c379636f7270
direct instance of: #$TernaryPredicate
#$Angle   angles    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$GeometricallyDescribableThing. Each instance of #$Angle is formed by two lines diverging from the same point, or two surfaces diverging from the same line. Examples include spatially localized objects, such as the angle formed by the intersection of two walls, and abstract objects, such as the angle formed by the intersection of two (abstract) lines.
guid: bd61bd87-9c29-11b1-9dad-c379636f7270
direct instance of: #$GenericShapeType
direct specialization of: #$GeometricallyDescribableThing  

Spatially Oriented Parts


#$Side   sides (tangible things)    **GAFs NOT REVIEWED**
A specialization of #$Surface-Physical. Each instance of #$Side is a surface of some partially tangible object, and serves as a boundary between the inside and outside of that object.
guid: c0f4873f-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Surface-Physical  
direct generalization of: #$FrontSide #$BottomSide #$TopSide #$BackSide
#$TopSide   tops    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all the entire top sides (as conventionally understood) of all objects that have distinct #$Sides, one of which faces up.
guid: bd58c4a5-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Side  
#$BottomSide   undersides    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all the entire bottom sides (as conventionally understood) of all objects that have distinct #$Sides, one of which faces down.
guid: bd58d673-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Side  
#$BackSide   backs    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all the entire back sides (as conventionally understood) of all objects that have distinct #$Sides, one of which faces in the backwards direction.
guid: bd59048d-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Side  
#$FrontSide   fronts (tangible things)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all the entire front sides (as conventionally understood) of all objects that have distinct #$Sides, one of which faces in the frontwards direction.
guid: bd58f6a1-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Side  
#$RightRegionFn   right region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (RightRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the region consisting of the right half or flank or right main portion of REGOROBJ. It applies only when REGOROBJ itself has an intrinsic left/right orientation, or is part of a larger region or object that has a left/right orientation.
guid: be8712f5-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$LeftRegionFn   left region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (LeftRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the region consisting of the left half or flank or left main portion of REGOROBJ. It applies only when REGOROBJ itself has an intrinsic left/right orientation, or is part of a larger region or object that has a left/right orientation.
guid: bf0b24fb-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$PosteriorRegionFn   posterior region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (PosteriorRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the region consisting of the back or rear half or section, or posterior main portion, of REGOROBJ. It applies only when REGOROBJ itself has an intrinsic front/back orientation, or is a (non-backward-facing) part of a larger region or object that has a front/back orientation.
guid: be660582-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$AnteriorRegionFn   anterior region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (AnteriorRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the region consisting of the front half or section, or the anterior main portion, of REGOROBJ. It applies only when REGOROBJ itself has an intrinsic front/back orientation, or is a (non-backward-facing) part of a larger region or object that has a front/back orientation.
guid: be6a5a9d-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$surfaceParts   surface parts    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$surfaceParts BIG LITTLE) means that LITTLE is an external physical part (see #$externalParts) of a surface of BIG, or that LITTLE is a physical part of BIG itself and a surface of LITTLE is part of a surface of BIG. LITTLE is also something which 'does not go all the way through' BIG. In other words, there is no line segment spatially subsumed by LITTLE that goes from a point at the surface of one side of BIG to a point of the surface on the opposite side of BIG. Positive exemplars: the skin of an orange is a #$surfaceParts of the orange, a window of a house is a #$surfaceParts of that house. Borderline positive exemplars: the inside surface of a coffee cup is one of the #$surfaceParts of the cup; the inside surface of a beer-can in some contexts is a #$surfaceParts of the can. Negative exemplars: the brain is not a #$surfaceParts of a person. A person's head is also a negative exemplar of a #$surfaceParts. There is a line that can go, for example, from the front side to the back side of that person.
guid: bd58d0ad-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate #$PhysicalPartPredicate
direct specialization of: #$externalParts #$physicallyContains
#$ExteriorRegionFn   exterior region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (ExteriorRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the sub-region consisting of all the outer parts or sections of REGOROBJ, or the exterior main portion of REGOROBJ. It applies when REGOROBJ itself has an intrinsic inside/outside orientation (unlike, say, a loop of thread), but if REGOROBJ is an enveloping part, surface membrane, ring or layer within or on a larger region or object that has its own inside/outside orientation, the function returns REGOROBJ's outside portion with respect to the inside and outside of the larger region or object.
guid: bfc0e605-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$internalParts   interior (physical part predicate)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$internalParts OBJ PART) means that OBJ has PART as one of its internal #$physicalParts. I.e. PART is totally inside OBJ and is part of it.
guid: bd58cf63-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate #$PhysicalPartPredicate #$SpatialPredicate #$CotemporalObjectsSlot
direct specialization of: #$physicalParts #$physicallyContains
#$InteriorRegionFn   interior region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (InteriorRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the sub-region consisting of the core or inner parts or sections of REGOROBJ, or the interior main portion of REGOROBJ. It applies when REGOROBJ itself has an intrinsic inside/outside orientation (unlike, say, a loop of thread), but if REGOROBJ is an enveloping part, surface membrane, ring or layer within or on a larger region or object that has its own inside/outside orientation, the function returns REGOROBJ's inside portion with respect to the inside and outside of the larger region or object.
guid: c1555aff-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$MedialRegionFn   medial region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (MedialRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the sub-region consisting of the center parts or middle section (near the mid-line) of REGOROBJ, or the medial main portion of REGOROBJ as opposed to the right and left portions. It applies when REGOROBJ itself has an intrinsic right/left orientation (unlike, say, a sphere), but if REGOROBJ is a part within a larger region or object that has its own right/left orientation, the function returns REGOROBJ's portion nearest the mid-line (with respect to left and right) of the larger region or object.
guid: c0d7da87-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual
#$LateralRegionFn   lateral region fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The function (LateralRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the sub-region consisting of the flanks or side parts or lateral main sections (away from the mid-line) of REGOROBJ, or the lateral main areas of REGOROBJ as opposed to the medial or middle area; the right and left regions then both include parts of the lateral regions. #$LateralRegionFn applies when REGOROBJ itself has an intrinsic right/left orientation (unlike, say, a sphere), but if REGOROBJ is a part within a larger region or object that has its own right/left orientation, the function returns REGOROBJ's portions farthest from the mid-line (with respect to left and right) of the larger region or object.
guid: bd662056-9c29-11b1-9dad-c379636f7270
direct instance of: #$AnimalPartRegionFunction #$Individual

Relative Positions Of Objects


#$spatiallyIntersects   spatially intersects
(#$spatiallyIntersects THING1 THING2) means that the spatial extent of the #$SpatialThing THING1 overlaps the spatial extent of the #$SpatialThing THING2. Note that spatial intersection doesn't imply that THING1 and THING2 have any physical parts (see the predicate #$physicalParts) in common. For example, an instance of #$IntangibleIndividual, such as a shadow, can spatially intersect an instance of #$PartiallyTangible, such as a wall; in such a case, the instance of #$IntangibleIndividual will obviously not share any physical part with the instance of #$PartiallyTangible.
guid: bd58d895-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$SymmetricBinaryPredicate #$ReflexiveBinaryPredicate
direct specialization of: #$near #$notFarFrom
#$perpendicularVectors   perpendicular vectors    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$perpendicularVectors VECTOR1 VECTOR2) means that VECTOR1 is perpendicular to VECTOR2. E.g., (#$perpendicularVectors #$SouthEast-Directly #$SouthWest-Directly), (#$perpendicularVectors #$East-Directly #$North-Directly).
guid: bd5897ac-9c29-11b1-9dad-c379636f7270
direct instance of: #$SymmetricBinaryPredicate #$IrreflexiveBinaryPredicate
direct specialization of: #$directionsDisjoint
#$perpendicularObjects   perpendicular objects    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$perpendicularObjects OBJ1 OBJ2) means that the longest axis of OBJ1 is perpendicular to the longest axis of OBJ2.
guid: c0fb9dbe-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$SymmetricBinaryPredicate #$SpatialPredicate
#$parallelVectors   parallel vectors    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$parallelVectors VECTOR1 VECTOR2) means that VECTOR1 is parallel to VECTOR2. The vectors may either point in the same direction or directly opposite directions. See #$parallelObjects and #$sameDirection, and #$oppositeDirection-Precise.
guid: c05262b8-9c29-11b1-9dad-c379636f7270
direct instance of: #$EquivalenceRelation
direct specialization of: #$parallel
#$parallelObjects   parallel objects    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$parallelObjects OBJ1 OBJ2) means that the lengthwise axes of OBJ1 and OBJ2 are parallel to each other.
guid: c0fbb94a-9c29-11b1-9dad-c379636f7270
direct instance of: #$EquivalenceRelation #$SpatialPredicate
direct specialization of: #$parallel #$spatiallyRelatedTo
#$pointingToward   pointing toward    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$pointingToward OBJ1 OBJ2) means that OBJ1 has a pointing axis and that its axis points toward OBJ2. A pointing axis is ascribed to objects that have directionality (e.g., a gun, a projectile, an arrow, an extended finger).
guid: bd58dfeb-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate #$SpatialPredicate
#$directionBetweenObjects   direction between objects    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$directionBetweenObjects OBJ1 OBJ2 UVI) means that UVI, an instance of #$UnitVectorInterval , is a vector or set of vectors which point(s) from a point (or set of points) in OBJ1 to a point (or set of points) in OBJ2. See also #$VectorFromToFn which is roughly interchangeable with #$directionBetweenObjects. #$directionBetweenObjects has the advantage that an arbitrarily precise direction may be specified. #$VectorFromToFn saves the user from doing the labor involved with reifiing and from having to know the direction between OBJ1 and OBJ2.
guid: bd5895b8-9c29-11b1-9dad-c379636f7270
direct instance of: #$TernaryPredicate
#$VectorFromToFn   vector from to fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$VectorFromToFn OBJ1 OBJ2) may be colloquially thought of as denoting the range of directions which point from OBJ1 to OBJ2. More formally, (#$VectorFromToFn OBJ1 OBJ2) is a set of #$UnitVectorIntervals. This set, UNIT-VECTOR-SET, is constructed as follows: A set of vectors is constructed such that for every point P1 in OBJ1 and every point P2 in OBJ2 there is a vector (see #$Vector-Precise) with its origin at P1 and its terminus at P2. For every vector in this set, there is a parallel unit vector in UNIT-VECTOR-SET. For example, `the ball rolled towards Mecca' could be represented as (#$directionOfTranslation-Throughout BallRolling01 (#$VectorFromToFn Ball01 Mecca)). `a ball rolling away from Mecca' would be represented as (#$directionOfTranslation-Throughout BallRolling (#$VectorFromToFn Mecca Ball)). Note that the interval includes vectors which don't point in what is intuitively the direction in which the ball is rolling, since, for example, some vectors point from spots on the left side of the ball to spots on right side of Mecca. Note further that (#$VectorFromToFn OBJ REF) assumes that OBJ does not #$spatiallyIntersects REF. See also #$directionBetweenObjects which is roughly interchangeable with #$VectorFromToFn. #$directionBetweenObjects has the advantage that an arbitrarily precise direction may be specified. #$VectorFromToFn saves the user from doing the labor involved with reifying and from having to know the direction between OBJ1 and OBJ2.).
guid: c079729e-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryFunction #$IndividualDenotingFunction #$ReifiableFunction #$Individual
#$inFrontOf-Generally   in front of - generally    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$inFrontOf-Generally FORE AFT) means that FORE is in front of the tangible object AFT. More precisely, the intrinsic back-to-front axis of AFT is within 45 degrees of some line intersecting both FORE and AFT. Note that FORE may be an intangible spatial object, such as an image projected onto a screen.
guid: bd5909a2-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$IrreflexiveBinaryPredicate
direct specialization of: #$near
#$inFrontOf-Directly   in front of - directly    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$inFrontOf-Directly FORE AFT) means that FORE is directly in front of tangible object AFT. More precisely, it implies both (#$inFrontOf-Generally FORE AFT) and that there is at least one line parallel to the forward pointing axis of AFT that intersects both FORE and AFT. FORE may be an intangible, such as an image projected onto a screen.
guid: bd59091d-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$IrreflexiveBinaryPredicate
direct specialization of: #$inFrontOf-Generally
#$behind-Generally   posterior (spatial relation)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$behind-Generally AFT FORE) means that AFT is behind FORE. More precisely, a line originating at the center of FORE projecting away from the front side of FORE and parallel to the intrinsic front-to-back axis of FORE forms an angle of less than 45 degrees with a line intersecting both AFT and FORE. AFT may be intangible.
guid: bd58b405-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$IrreflexiveBinaryPredicate
direct specialization of: #$near
#$behind-Directly   behind - directly    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$behind-Directly AFT FORE) means that AFT is directly behind tangible object FORE. More precisely, it implies both (#$behind-Generally AFT FORE) and that there is at least one line parallel to the backward pointing axis of FORE that intersects both AFT and FORE. Note that FORE must have a back side. AFT may be intangible, such as an image projected behind an actor on a stage.
guid: bd58b3c4-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$SpatialPredicate
direct specialization of: #$behind-Generally
#$above-Directly   above - directly
(#$above-Directly ABOVE BELOW) means either that (1) the volumetric center of ABOVE is directly above some point of BELOW, if ABOVE is smaller than BELOW; or that (2) some point of ABOVE is directly above the volumetric center of BELOW, if ABOVE is larger than, or equal in size to, BELOW.
guid: bd58fbde-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$above-Generally
#$above-Touching   above - touching    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$above-Touching ABOVE BELOW) means that ABOVE is located over BELOW and they are touching. More precisely, it implies both (#$above-Directly ABOVE BELOW) and that ABOVE #$touches BELOW. Examples: a person sitting on a chair; coffee in a cup; a boat on water; a hat on a head. (Note that not every point of ABOVE must be higher than every point of BELOW.)
guid: bd58f620-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$above-Directly #$touches
#$above-Overhead   above - overhead
(#$above-Overhead ABOVE BELOW) means that ABOVE is directly above BELOW (see the predicate #$above-Directly), all points of ABOVE are higher than all points of BELOW, and ABOVE and BELOW do _not_ touch.
guid: bd58b981-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$above-Directly
#$above-Higher   above - higher    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$above-Higher OBJ-A OBJ-B) means that OBJ-A is ``higher up'' than OBJ-B. Since most contexts are terrestrial (see #$TerrestrialFrameOfReferenceMt) ``higher up'' typically means that the #$altitudeAboveGround of OBJ-A is greater than that of OBJ-B.
guid: bf020f6c-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$SpatialPredicate #$TransitiveBinaryPredicate #$CotemporalObjectsSlot
direct specialization of: #$spatiallyDisjoint
#$above-Generally   above - generally    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$above-Generally OBJ1 OBJ2) means that OBJ1 is more or less above OBJ2. To be more precise: if OBJ1 would be within a cone-shaped set of vectors within about 45 degrees of #$Up-Directly pointing up from OBJ2 (see #$Up-Generally), then (#$above-Generally OBJ1 OBJ2). This is a wider predicate than #$above-Directly, but narrower than #$above-Higher. It probably most closely conforms to the English word 'above.'
guid: be69c623-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$SpatialPredicate
direct specialization of: #$above-Higher
#$surroundsCompletely   surrounded    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$surroundsCompletely OUTSIDE INSIDE) means that OUTSIDE completely surrounds INSIDE. In other words, all rays with origins at INSIDE pass through OUTSIDE by default (with some exceptions). OUTSIDE is not a part of INSIDE (or vice versa). Holes in OUTSIDE are permitted. Examples: a candy bar inside its wrapper; the body of a pregnant mammalian female containing a foetus; a fish in water.
guid: bd589a41-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
direct specialization of: #$surroundsHorizontally #$spatiallyIncludes #$surrounds-3D
#$surroundsHorizontally   surrounds horizontally
(#$surroundsHorizontally OUTSIDE INSIDE) means that OUTSIDE surrounds a horizontal cross-section of INSIDE. That is, there is some horizontal cross-section of INSIDE such that all rays drawn horizontally from points in that cross-section pass through OUTSIDE, and along each of those rays there are points which are in OUTSIDE but not in INSIDE. Note that (#$surroundsHorizontally OUTSIDE INSIDE) is _not_ true if INSIDE shares a boundary with OUTSIDE; for example, Texas is not surrounded by the USA. Positive cases: water surrounds islands, and foothills may surround a mountain range. See also #$surroundsCompletely.
guid: c0f2a0c3-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$surrounds-2D

Proximity And Location


#$near   nearby object (relative locational predicate)    **GAFs NOT REVIEWED**
This intentionally-vague predicate relates spatial things that are relatively near each other. (#$near THIS THAT) means that the distance between THIS and THAT is such that -- given the situation at hand and the sorts of things that THIS and THAT are -- they would be considered near each other by most observers. Note that an object is #$near itself, anything it touches, and any part of itself. When appropriate, use a more precisely-defined predicate such as #$nearToDegree, #$nearRelativeTo, #$nearForRolesInEventType, #$nearnessForRolesInEventType, #$touchesDirectly, or #$physicalParts.
guid: c0fbad76-9c29-11b1-9dad-c379636f7270
direct instance of: #$SymmetricBinaryPredicate #$SpatialPredicate
direct specialization of: #$notFarFrom
#$adjacentTo   adjacent to
(#$adjacentTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are touching, and that their region of contact is (at least for practical purposes, relative to the objects' dimensions and shapes) a line (i.e. the contact region is not a point, though the line of contact might actually have some height). Moreover, OBJ1 is neither mostly above nor mostly below OBJ2. Positive examples: adjacent squares on a chessboard, bordering countries, a connected pair of puzzle pieces. Negative examples: diagonally touching squares on a chessboard, a geographical region and the air directly above it, one block stacked on top of another.
guid: bd5904a2-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$PhysicalFeatureDescribingPredicate #$SymmetricBinaryPredicate
direct specialization of: #$touches
#$touches   touches (symmetric binary predicate)
(#$touches THIS THAT) means that THIS and THAT are in contact, either directly or indirectly. Two spatial things are directly in contact just in case there is nothing between them; to indicate that such a situation obtains between two spatial things, use the predicate #$touchesDirectly, a specialization of #$touches. Two spatial things touch indirectly if there is only a very thin object or substance between them. `Very thin' means that the distance between the surfaces of the two spatial things is very much less than the distance between their center points. Some examples of #$touches: an airplane touches the air around it; my feet touch the floor (even though I am wearing shoes); a blanket touches the person sleeping under it (even if there is a sheet); a hovercraft touches the water (even though a cushion of air is between it and the water).
guid: bd590568-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$SymmetricBinaryPredicate
direct specialization of: #$near
#$touchesDirectly   touches directly
(#$touchesDirectly THIS THAT) means that THIS and THAT are in direct physical contact. That is, there exists a region on THIS and a region on THAT such that the distance between the surfaces of those regions is zero.
guid: bd5889ba-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterExistingObjectSlot #$SpatialPredicate #$CotemporalObjectsSlot #$PhysicalFeatureDescribingPredicate #$SymmetricBinaryPredicate
direct specialization of: #$touches
#$PhysicalContactSituation   physical contact situation
The collection of all temporal situations in which two or more tangible objects are touching (see #$touches) for at least part of the situation's duration. This includes an object's rubbing against another, objects colliding, as well as static touching configurations. Note that, although most types of #$PhysicalEvents involve some kind of touching, only those types for which contact is salient should be subcollections of #$PhysicalContactSituation.
guid: bfffa642-9c29-11b1-9dad-c379636f7270
direct instance of: #$TemporalStuffType
direct specialization of: #$Situation-Temporal  
direct generalization of: #$AnimalWalkingProcess #$ContinuousPhysicalContactSituation #$PhysicalContactEvent
#$on-Physical   on (spatial relation)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$on-Physical OVER UNDER) means that the object OVER is above, supported by, and touching the object UNDER. OVER and UNDER may be at rest or in motion, or one may be in motion and the other at rest (relative to it). Examples: a person on a bicycle; groceries on a checkout conveyor belt; a statue on a pedestal. Note that only #$touches (and not #$touchesDirectly) is implied.
guid: bd58b498-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$supportedBy #$above-Touching
#$supportedBy   supported by    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$supportedBy OBJECT SUPPORT) means that SUPPORT is at least partially responsible for holding OBJECT up and maintaining its vertical position. If SUPPORT were to be removed, then (everything else being equal) either OBJECT would fall or at least part of OBJECT would move downward. See also #$supportedObject, #$supportingObject, and #$SupportingSomething.
guid: bd5901fe-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$TransitiveBinaryPredicate
direct specialization of: #$securedBy #$supportedBy-Contributing #$movesWith
#$suspendedIn   suspended in    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$suspendedIn OBJ FLUID) means that OBJ is fully immersed in FLUID (see #$in-ImmersedFully), and FLUID provides a significant supporting or upward force via fluid dynamics of FLUID. That is, OBJ does not undergo rapid falling. Note that a rapidly rising object such as a released helium ballon or a submarine on its way towards the surface is #$suspendedIn the fluid surround it. Buoyancy or fluid dynamic forces are strong enough that the net upward force acting on OBJ is positive, zero, or slightly negative. A feather in free fall is a borderline negative example of #$suspendedIn. An airborne (see #$Airborne) soap bubble slowly drifting towards the ground is a borderline positive example of #$suspendedIn (in typical contexts). An underwater bubble floating to the surface is a positive exemple usage of #$suspendedIn. A rock in free fall is a clear negative exemplar. An air bubble rising to the surface is a positive exemplar of #$suspendedIn. Birds, airplanes, and cruise missiles flying are positive examples of #$suspendedIn because fluid dynamics of the surrounding air plays a major role in keeping them aloft. Rockets or blasting blasting off, on the other hand, are negative examples of #$suspendedIn because the dynamics of FLUID (i.e. the air surrounding them) does not play a major role in the forces keeping them aloft. A floating (see #$in-Floating) ship, although #$supportedBy the water, is not #$suspendedIn the water because it is only #$in-ImmersedPartly the water. See also #$Suspension, #$suspendedPart, #$suspendingFluid.
guid: bd5899ec-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AntiTransitiveBinaryPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$in-ImmersedFully
#$hangsAround   hangs around    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$hangsAround LOOP OBJ) means that LOOP is a semi-flexible loop, looped around a piece of OBJ. LOOP is supported by gripping friction and/or LOOP's limited ability to elongate as it moves down on OBJ. See also #$hangsFrom.
guid: c0fbb11f-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$ConnectionPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$connectedTo-Directly #$surrounds-2D #$touches #$hangsFrom
#$hangsFrom   hanged (spatial relation)
(#$hangsFrom OBJ1 OBJ2) means that OBJ1 is suspended from OBJ2, either directly touching it (like a weight attached to a line) or through some intermediary object (like a weight suspended from the ceiling via a hook). All of OBJ1's weight is #$supportedBy OBJ2. Most, if not all, of OBJ1 is below OBJ2; certainly, the center of OBJ1 is below the connection point. If pushed, OBJ1 will undergo an instance of #$Swinging (q.v.).
guid: c0fbb177-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$ConnectionPredicate #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
direct specialization of: #$touches #$supportedBy
#$inRegion   in region
This is a general locative predicate that has a diverse group of specializations. (#$inRegion OBJ1 OBJ2) means, roughly, that OBJ1 is located at or in OBJ2. OBJ1 might or might not be a part (see #$parts) of OBJ2. Certain important specializations (and inverse-specializations) of #$inRegion, however, differ on this point. To take three examples: #$spatiallySubsumes is noncommital on the parthood issue, #$objectFoundInLocation implies that the object is _not_ a part of the location , while #$physicalDecompositions is a specialization of #$parts.
guid: bd58d70c-9c29-11b1-9dad-c379636f7270
direct instance of: #$ReflexiveBinaryPredicate #$SpatialPredicate
direct specialization of: #$notFarFrom
#$geographicalSubRegions   geographical sub regions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$geographicalSubRegions SUPER SUB) means that SUPER and SUB are both elements of #$GeographicalRegion, and the area SUB lies wholly within the region SUPER (see #$inRegion). SUPER may or may not completely surround SUB (i.e., they may share an outer boundary, as do Texas and the USA in the #$WorldGeographyDualistMt). To relate two instances of #$GeopoliticalEntity, use the predicate, #$geopoliticalSubdivision, if it applies. If either argument of this predicate is to be an instance of #$GeopoliticalEntity, the assertion must be made in #$WorldGeographyDualistMt or a specMt thereof. See also #$surroundsHorizontally and #$bordersOn.
guid: bd58cd89-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$TransitiveBinaryPredicate #$PhysicalPartPredicate #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate
direct specialization of: #$physicalParts #$subRegions #$spatiallySubsumes #$onSamePlanetSurfaceAs
#$objectFoundInLocation   site (cotemporal predicate)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$objectFoundInLocation OBJ LOC) means that OBJ has the location LOC. OBJ is not a part of LOC. Examples: the #$ArcDeTriomphe is located in the #$CityOfParisFrance; the #$AlaskanPipeline is found in #$Alaska-State; the #$TownOfGettysburgPA is located in the Eastern region of Pennsylvania (note that the town's territory is part of Pennsylvania, but the town as a social organization is distinct). See also the #$comment on #$inRegion. Cf., for cases where OBJ is a spatial part of LOC, #$physicalDecompositions, #$geographicalSubRegions.
guid: bd58d0e4-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$CotemporalObjectsSlot #$FunctionalPredicate
direct specialization of: #$temporallyIntersects #$inRegion #$different #$permanentLocationOfObject
#$locationState   location state    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$locationState OBJ LOC-TYPE) means that OBJ is in the kind of location indicated by LOC-TYPE. #$locationState is used to represent useful general information about an object's location--e.g., whether it is airborne, outdoors, indoors, etc.--without having to identify (or reify) the location itself.
guid: c0fd6964-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryAttributePredicate
direct specialization of: #$hasAttributes
#$LocationStateAttribute   location state attribute    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$AttributeValue. Each instance of #$LocationStateAttribute is an attribute of an object which indicates the nature of that object's location.
guid: c0fd695a-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$AttributeValue  
#$inPlane   in plane    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$inPlane OBJ SURFACE) means that OBJ spatially intersects with the #$FlatSurface SURFACE.
guid: bd588683-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
direct specialization of: #$spatiallyIntersects
#$onLine   on line    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$onLine OBJ LINE) means that OBJ is an object or region with one or more dimensions much smaller than the length of the #$Line LINE, and OBJ #$spatiallyIntersects or touches LINE but does not include all of LINE. One object can be on several different #$Lines. See also #$onPath.
guid: bd58f0b7-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate #$SpatialPredicate
direct specialization of: #$spatiallyIntersects
#$onPath   on path
(#$onPath THING PATH) means that THING is located along (on or adjacent to) the #$Path-Generic PATH. THING could be a moving object, or it could be a stationary point (in the latter case, see the more specific predicate #$pointOnPath). For example, Saint Louis, Missouri was #$onPath U.S. Route 66, as was Missouri, any car driving along Route 66, and any lamp-post alongside it.
guid: c10b5746-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$TransitiveBinaryPredicate
#$pointOnPath   point on path    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$pointOnPath X PATH) holds just in case X is on path PATH, an instance of #$Path-Simple. Here we do not commit ourselves to any assertion concerning whether X itself, or a part of it, is a part of PATH. We do want, nevertheless, to restrict the use of this predicate to the extent that when (#$pointOnPath X PATH) holds, X is a 'point' (loosely speaking) on the path PATH (and hence cannot move along PATH even if it could move in some other sense; for moving objects on a path use the more general #$onPath). It is not a subpath of PATH or something on PATH occasionally (such as something moving along PATH or stopped on PATH). Nor can it be anything that takes PATH as a part (e.g., Austin is not a point on the 10th Street in it). Note that the relative positions of points on a path do not in general form a linear order (#$TotalOrdering) unless the points and the path are part of a particular #$PathSystem. If no #$PathSystem is specified, both Austin and Texas can be 'points' on the same path Interstate 35.
guid: c0408997-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate
direct specialization of: #$pointOnPath-Generic
#$trajectoryPassesThrough   thing passed through (actor slot)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$trajectoryPassesThrough MOVE LOC) means that the #$trajectory-Complete of the #$Translation-SingleTrajectory MOVE passes through LOC, which is an instance of #$SpatialThing-Localized, and thus can be a location, a portal, a river, a path, the equator, etc. More formally, the #$objectMoving which undergoes MOVE from the #$fromLocation to the #$toLocation passes through LOC. Here `passes through LOC' means that the #$objectMoving OBJ both arrives in and leaves LOC. Thus, LOC can not be a super region of any #$fromLocation nor any #$toLocations of MOVE. Otherwise it would be possible to state (#$trajectoryPassesThrough TripToTheStore01 TheUniverse). On the other hand, LOC can be a sub region of some #$toLocation or some #$fromLocation.
guid: bfd6faea-9c29-11b1-9dad-c379636f7270
direct instance of: #$ActorSlot
direct specialization of: #$nonDeliberateActors
#$traversalPassesThrough   traversal passes through    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$traversalPassesThrough TRAV POINT) means that POINT is a point that the #$Traversal TRAV passes through. Note that when TRAV passes through POINT, POINT cannot be a mere endpoint of TRAV. This means that a traversal does not pass through its starting point if it does not go back to the point and then leave it, nor does it pass through its ending point if it does not meet the point twice.
guid: c14db0b9-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate

Betweenness


#$betweenOnPath   between on path    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$betweenOnPath X Y Z PATH) means that X, Y and Z are points on the path PATH and X is between Y and Z. Note that this gives no ordering of Y and Z; it just claims that X is between them. Note: Given a #$Path-Customary PATH and points or places on PATH, #$betweenOnPath does not always determine a linear order (#$TotalOrdering) on the set of all points on PATH when PATH is not part of a specified #$PathSystem (since one thing on such a path -- #$onPath PATH -- may be part of another). However, in a specified #$PathSystem SYS, #$betweenOnPath does determine a linear order on the set of all points on PATH in SYS.
guid: c0e50f87-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$pathBetween   path between
(#$pathBetween PATH X Y) means that the #$Path-Simple PATH goes between points (or places) X and Y, where X and Y do not 'overlap', and no further. Both X and Y have to be on PATH (see #$pointOnPath). Note that (#$pathBetween PATH X Y) is more specific than (#$pathConnects PATH X Y) because here the PATH cannot extend beyond X and Y. Within a particular #$PathSystem, a path's end points in the system are unique, and #$pathBetweenInSystem (q.v.) is restricted to paths and points in the system. When considered without a context of a path system, a path may have several different places at one end, such as Austin and Texas both being at the same end of some path along Highway I-35.
guid: c065f088-9c29-11b1-9dad-c379636f7270
direct instance of: #$TernaryPredicate
direct specialization of: #$pathConnects
#$pathBetweenInSystem   path between in system
(#$pathBetweenInSystem PATH X Y SYS) means that PATH is a path in the #$PathSystem SYS, and X and Y are the end points (in the #$PathSystem) of PATH. If PATH is a link of the system (see #$linkInSystem), (#$pathBetweenInSystem PATH X Y SYS) iff (#$linkBetweenInSystem PATH X Y SYS). Note that there can be multiple paths in SYS between the same two points in SYS (which may or may not be nodes in SYS; see #$nodeInSystem). See also #$pathBetween when no #$PathSystem is specified.
guid: c0e14545-9c29-11b1-9dad-c379636f7270
direct instance of: #$PartiallyCommutativeRelation #$QuaternaryPredicate
#$SubPathBetweenFn   sub path between fn    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
Given a path PATH and different points X and Y on it, (#$SubPathBetweenFn PATH X Y) gives a unique subpath SUB of PATH that is between X and Y. This function should not be used without the context of a #$PathSystem because only with the reference to a path system can we be certain about the existence of such a subpath (e.g., Austin and Texas are different points on I-35, but there is no subpath of I35 that is between Austin and Texas). To put this in another way, let SYS be any path system. If PATH is a path in SYS and X and Y are different points in SYS and are also points on PATH, (#$SubPathBetweenFn PATH X Y) is the only subpath (in SYS) of PATH that is between X and Y. See #$pathInSystem. Note that this function is not defined on the cartesian product #$Path-Simple x #$Thing x #$Thing, but on a proper subset of it.
guid: c08712ed-9c29-11b1-9dad-c379636f7270
direct instance of: #$PartialDenotationalFunction #$TernaryFunction #$Individual
#$linkBetweenInSystem   link between in system
(#$linkBetweenInSystem LINK X Y SYS) means that in the #$PathSystem SYS, the #$Path-Simple LINK (a link in SYS, so that (#$linkInSystem LINK SYS) holds) has as its two end points X and Y (nodes in SYS, so that both (#$nodeInSystem X SYS) and (#$nodeInSystem Y SYS) hold). Since LINK connects the two end points X and Y when (#$linkBetweenInSystem LINK X Y SYS) holds, (#$linkBetweenInSystem LINK X Y SYS) implies (#$pathBetween LINK X Y). A link in a path system is a path whose end points are nodes in the system, and which has no other nodes along it (although it may have any number of non-node points along it). For each link LINK in SYS, there is a unique pair {X, Y} of different nodes in SYS such that (#$linkBetweenInSystem LINK X Y SYS) and (#$linkBetweenInSystem LINK Y X SYS) hold, and for any two nodes in SYS, there could be several different ('parallel') links between them. No point in SYS that is not a node can be an end point of a link. Only a node in SYS can be an 'intersection' point in SYS (see #$junctionInSystem), which implies that there is, in the system SYS, no point on a link LINK between X and Y that is an 'intersection' point of LINK and another link or a loop.
guid: be07a2f8-9c29-11b1-9dad-c379636f7270
direct instance of: #$PartiallyCommutativeRelation #$QuaternaryPredicate
direct specialization of: #$pathBetweenInSystem
#$nodeCutSetBetweenInSystem   node cut set between in system    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$nodeCutSetBetweenInSystem SET X Y SYS) means that SET is a node-cut-set in the #$ConnectedPathSystem SYS, and that the points X and Y in SYS are disconnected in the subsystem of SYS obtained by cutting all nodes in SET from SYS. More strictly, (#$nodeCutSetBetweenInSystem SET X Y SYS) is true if and only if (#$nodeCutSetInSystem SET SYS) is true and (#$connectedInSystem X Y (#$LinksCut-SubSystemFn SYS SET)) is false.
guid: c089e511-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$linkCutSetBetweenInSystem   link cut set between in system    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$linkCutSetBetweenInSystem SET X Y SYS) means that SET is a link-cut-set in the #$ConnectedPathSystem SYS, and that the points X and Y in SYS are disconnected in the subsystem of SYS obtained by cutting all links in SET from SYS. More strictly, (#$linkCutSetBetweenInSystem SET X Y SYS) is true if and only if (#$linkCutSetInSystem SET SYS) is true and (#$connectedInSystem X Y (#$LinksCut-SubSystemFn SYS SET)) is false.
guid: c0a7846b-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$cutNodeBetweenInSystem   cut node between in system    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$cutNodeBetweenInSystem NODE X Y SYS) means that NODE is a node somewhere between the points X and Y in the #$ConnectedPathSystem SYS, the removal of which would leave X and Y in disconnected components. That is to say, (#$cutNodeBetweenInSystem NODE X Y SYS) holds if and only if (#$nodeCutSetBetweenInSystem (#$TheSet NODE) X Y SYS) holds.
guid: c10cf0a0-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$cutLinkBetweenInSystem   cut link between in system    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$cutLinkBetweenInSystem LINK X Y SYS) means that LINK is a link somewhere between the points X and Y in the #$ConnectedPathSystem SYS, the removal of which would leave X and Y in disconnected components. That is to say, (#$cutLinkBetweenInSystem LINK X Y SYS) holds if and only if (#$linkCutSetBetweenInSystem (#$TheSet LINK) X Y SYS) holds.
guid: beda4976-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate

In


#$in-ImmersedGeneric   in - immersed generic    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-ImmersedGeneric OBJ FLUID) means that OBJ is immersed in FLUID. #$in-ImmersedGeneric is noncomittal as to whether OBJ is completely or partially immersed. But FLUID #$touches OBJ and conforms to a significant portion of the surface of OBJ. See also #$in-ImmersedFully, #$in-ImmersedPartly.
guid: c0fbad6e-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AntiTransitiveBinaryPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$touches
#$in-ImmersedPartly   in - immersed partly
(#$in-ImmersedPartly OBJ FLUID) means that a portion of OBJ is immersed in FLUID, but OBJ is not completely surrounded by FLUID.
guid: bd58993f-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AntiTransitiveBinaryPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$in-ImmersedGeneric
#$in-ImmersedFully   in - immersed fully    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-ImmersedFully OBJ FLUID) means that FLUID is the unique fluid in which OBJ is completely immersed. Thus, as a default inference, every outside surface region of OBJ #$touches FLUID. E.g., (live) fish are fully immersed in water, and people are usually immersed in air (even though the bottoms of their feet touch the ground and not the air). Examples like air bubbles in water or mercury globules immersed in air suggest that the #$arg1Isa should be kept general, i.e., #$PartiallyTangible rather than #$SolidTangibleThing.
guid: bd58bf2d-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$AntiTransitiveBinaryPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$objectFoundInLocation #$in-ImmersedGeneric
#$in-Floating   in - floating
(#$in-Floating OBJ LIQUID) means that the #$SolidTangibleThing OBJ is floating on the surface of the #$LiquidTangibleThing LIQUID. Thus, (#$in-Floating OBJ LIQUID) implies that OBJ is buoyant and that OBJ is partly immersed (see the predicate #$in-ImmersedPartly) in LIQUID.
guid: c0fba290-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
direct specialization of: #$above-Touching #$in-ImmersedPartly
#$in-Embedded   in - embedded    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Embedded OBJ1 OBJ2) means that some portion of OBJ1 is embedded in OBJ2 at least semi-permanently. OBJ1 is thus #$connectedTo OBJ2. The remaining portion of OBJ1 is not embedded in OBJ2. The #$in-Embedded relationship comes about during the formation of OBJ1 or OBJ2. Examples: grass in the ground, hair in the scalp, or eyes in sockets. Also, OBJ1 is not beneath the surface of OBJ2.
guid: bd590b63-9c29-11b1-9dad-c379636f7270
direct instance of: #$ConnectionPredicate #$IrreflexiveBinaryPredicate #$InterExistingObjectSlot #$CotemporalObjectsSlot #$SpatialPredicate
direct specialization of: #$movesWith #$sticksInto #$connectedAtContact #$aligned #$touchesDirectly-Apartanomic
#$in-Spiked   in - spiked    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Spiked OBJ REG) means that an object, OBJ, is spiked into another object, REG, in the way that nails, push pins, needles, and other pointed objects stick into other objects. Thus, OBJ must be #$LongAndThin and must be harder than REG. Typically, the rigid connection between REG and OBJ can support forces substantially greater than the weight of OBJ.
guid: bd58f450-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$InterExistingObjectSlot #$ConnectionPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$in-Lodged
#$in-ContGeneric   in - cont generic
(#$in-ContGeneric OBJ CONT) means that OBJ is contained, confined, or held in CONT. OBJ is not a part of CONT. CONT has a cavity (see #$CavityWithWalls) and OBJ is at least partly within (see #$spatiallyIntersects) the interior of this cavity. If CONT moves, OBJ is, by default, caused to move so as to remain within that cavity (see #$movesWith). If OBJ leaves the confines of CONT, then either OBJ passes through some appropriately sized portal of CONT, or OBJ breaks into smaller pieces that themselves pass through appropriately sized portals of CONT, or OBJ breaks through a wall of CONT. CONT may function as an open or closed container with respect to objects of the size of OBJ. If CONT is closed with respect to OBJ, then #$in-ContClosed is the preferred more specific predicate. If CONT is open with respect to OBJ, #$in-ContOpen is preferred. If OBJ is a fluid which completely fills CONT (for example, a cup of coffee brimming over) then #$in-ContFullOf is more precise.
guid: bd589405-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$movesWith #$spatiallyDisjoint #$objectFoundInLocation
#$in-ContOpen   in - cont open    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-ContOpen OBJ CONT) means that OBJ is contained in CONT -- CONT confines or holds OBJ in -- but OBJ can be removed from CONT without having to either A) open any portals in CONT B) break some part of CONT or C) break OBJ into smaller pieces such that it can fit through some portal of CONT's. Note that (#$in-ContOpen OBJ CONT) is a relationship based on the size of OBJ and the largest portal of CONT that OBJ might be able to traverse through. For example, a paperclip might be #$in-ContOpen a jail cell even though the person locked inside would be #$in-ContClosed the jail cell. This is because the paper clip is small enough to fit in between the bars of the cell whereas the person is not. See #$portalState for vocabulary relating containers to whether its portals are open or closed.
guid: bd58bc57-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$AsymmetricBinaryPredicate
direct specialization of: #$in-ContGeneric
#$in-ContClosed   in - cont closed    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-ContClosed CONTAINEE CONTAINER) entails (#$in-ContGeneric CONTAINEE CONTAINER) except that CONTAINEE may not leave CONTAINER as an object without the opening of a portal in CONTAINER or a non-standard significant deformation of CONTAINEE or CONTAINER. CONTAINER need not have a portal. Parts of CONTAINEE may extend out through portals in CONTAINER. If CONTAINEE can temporarily undergo (a not-too forceful) shape deformation in order to fit through a portal in CONTAINER, then CONTAINEE is not #$in-ContClosed with respect to CONTAINER. Positive Examples: water in a bottle with a closed cap; a person in a closed but unlocked jail cell sticking his arms through the bars; King Kong in a flimsy cage; a Nerf (TM) ball in a bottle (The ball must be compressed in order to force it out); egg yolk in an egg shell. Negative Examples: a morsel of bread in a prison cell (morsels are small enough to leave the cell by passing in between the bars of the cell -- use #$in-ContOpen); an egg yolk in an egg -- use #$internalParts; water in an open bottle (the necessary deformation is not forceful). Positive borderline examples: a roll of dental floss in a dispenser -- although the strand may flow out with an expected deformation, it is a long process that continually deforms the object such that the object leaves the container part by part instead of as an object; a skinny person in a jail cell who could just barely manage to squeeze through the bars (the necessary deformations, although self-imposed, would be abnormal and unexpected). Negative borderline example: a spelunker who has crawled through a narrow passage into a cave (the deformations needed to get in (and therefore out) were self-imposed and not abnormal).
guid: bd589fe3-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$CotemporalObjectsSlot #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
direct specialization of: #$in-ContCompletely
#$in-ContFullOf   in - cont full of    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-ContFullOf STUFF CONT) means that STUFF is the substance that fills the cavity/cavities of CONT. STUFF is unique in that it is the only substance that `fills' the cavity, even though other things may be within CONT (e.g., as #$in-ContGeneric). Filling the container means that the inside surface of CONT touches the filling STUFF at virtually all points of CONT's inner surface, rather than touching whatever stuff CONT itself is immersed in and which CONT's outside surface touches (e.g., air). The only thing which can override this #$touches (i.e., get alongside CONT's inside wall without being STUFF) would be some other object which is also in CONT (e.g., with #$in-ContGeneric). In order to fill the container, STUFF must be #$Pourable or have a shape which conforms to the shape of CONT's cavity. Cf. #$in-ContGeneric to cover cases of stuff which is in a container without filling it.
guid: c0fbb0f9-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$in-ContCompletely #$touchesDirectly-Apartanomic
#$in-Held   in - held    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Held OBJ HOLDER) means that OBJ is being held or restrained by HOLDER, which is applying pressure to OBJ. HOLDER #$touches OBJ. HOLDER may be either a #$deviceUsed or an #$anatomicalPartTypeAffected in an instance of #$HoldingAnObject; OBJ would be the #$objectActedOn by that holding. Examples include ``salad in tongs'', ``a bread crumb in ant's pincers'', ``a bird in your hand'', ``a long two-by-four in a vice''.
guid: c0fbab6c-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$CotemporalObjectsSlot #$AntiSymmetricBinaryPredicate
direct specialization of: #$movesWith #$in-ContGeneric #$touches
#$in-Snugly   in - snugly    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Snugly INNER OUTER) means that INNER is #$in-ContGeneric OUTER, that INNER #$touches OUTER, and that a #$FrictionProcess would be necessary for a #$RemovingSomething in which INNER is the #$objectMoving and OUTER is the #$fromLocation.
guid: bde589f6-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$CotemporalObjectsSlot #$SpatialPredicate
direct specialization of: #$in-ContGeneric #$touches
#$in-Permeates   in - permeates    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Permeates LIQUID SOLID) means that LIQUID permeates SOLID. LIQUID must be separable from SOLID by physical, not chemical means. LIQUID must be a #$LiquidTangibleThing, and SOLID a #$SolidTangibleThing. If LIQUID is not a constituent (#$constituents) of SOLID, then SOLID is #$Porous. Exemplars include water permeating a wet sponge (Sponge-CleaningImplement), #$Oil soaking a sponge, or water in #$Soil-Generic. Negative exemplars include vapor suspended in #$Air (see, e.g. #$suspendingFluid or #$solute) . Other negative exemplars include liquids which undergo a chemical change and combine with some other substance, e.g. water which becomes a chemical part of plant material in photosynthesis.
guid: c08a9a06-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterExistingObjectSlot
direct specialization of: #$spatiallySubsumes #$objectFoundInLocation #$touchesDirectly-Apartanomic
#$in-Among   in - among    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$in-Among OBJ GROUP) means that the tangible thing OBJ is physically located within the spatial cluster GROUP, which is composed of individuals. OBJ may (but need not) be a member of GROUP. OBJ is spatially distinct from any (other) member of GROUP; cf. #$spatiallyIntersects. Examples: a bird in the branches of a tree; a zebra in its herd; a flea in a dog's pelt; a bee in a swarm of bees; a snake in the grass.
guid: c0fbb064-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate
direct specialization of: #$objectFoundInLocation

Connections


#$connectedTo   connection (symmetric binary predicate)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$connectedTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are (directly or indirectly) physically attached in a way that allows at most only limited types of relative motion between them. A hinged connection, for example, allows limited rotational motion between OBJ1 and OBJ2. OBJ1 and OBJ2 must be in a #$SolidStateOfMatter. In many cases, being #$connectedTo implicitly involves another object(s); e.g. a door is #$connectedTo a door frame by a hinge, which is itself #$connectedTo-Directly (q.v.) both the door and the frame.
guid: bd590527-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$CoEquivalenceBinaryPredicate #$ConnectionPredicate
direct specialization of: #$movesWith #$spatiallyRelatedTo
#$continuouslyConnectedTo   continuously connected to    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(continuouslyConnectedTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are #$PartiallyTangibles which are are directly and almost seamlessly connected (e.g. they are formed from the same chunk of material, with no substantial barrier or surface or gap separating them.).
guid: bd589fde-9c29-11b1-9dad-c379636f7270
direct instance of: #$CoEquivalenceBinaryPredicate #$InterExistingObjectSlot #$PhysicalFeatureDescribingPredicate #$CotemporalObjectsSlot
direct specialization of: #$touchesDirectly-Apartanomic
#$connectedTo-Rigidly   connected to - rigidly    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$connectedTo-Rigidly OBJ1 OBJ2) means that OBJ1 and OBJ2 are joined so that no relative motion between them can occur at the point of connection unless the connection is severed by breakage of some part of the connected objects or by disassembly of the connection. Further, no relative motion between the contact surfaces of OBJ1 nor OBJ2 may occur. Thus, if a nail is rigidly connected to a board, the only way for that relationship to no longer hold is if the nail is pulled out of the hole (e.g. by a hammer or crowbar) or if the nail or board is broken in a critical location. Note that (#$connectedTo-Rigidly OBJ1 OBJ2) does admit cases in which OBJ1 or OBJ2 undergo plastic deformation. For example, consider the case of a disc rigidly connected via glue (see #$gluedTo) to a rubber sheet. The rubber sheet and disc may undergo significant relative motion. Both of the connected objects are solid.
guid: bd58a606-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SymmetricBinaryPredicate #$SpatialPredicate #$InterExistingObjectSlot #$ConnectionPredicate
direct specialization of: #$connectedTo-Directly #$movesWith #$touchesDirectly-NotAsPart
#$connectedTo-SemiRigidly   connected to - semi rigidly    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$connectedTo-SemiRigidly OBJ1 OBJ2) means that there is a physical connection between OBJ1 and OBJ2 such that due to the flexibility of a connector, OBJ1, or OBJ2, limited movement around the point of connection is possible. Positive exemplars include a book flap hinged to the spine of a book (see #$flapHingedTo), the #$GallBladder's attachment to the #$Liver. Negative exemplars include a wheel and axle or a door hinged to a door frame because the degrees of freedom of the object arise out of geometrical/mechanical properties of the objects and their connectors, not out of the flexibity of said objects. Note that all flexible connections have a limit to their relative motion. An extreme example of such a limit is in the connection between a propeller and the fuselage of a rubber band powered airplane.
guid: c1007845-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterExistingObjectSlot #$SpatialPredicate #$ConnectionPredicate #$IrreflexiveBinaryPredicate #$SymmetricBinaryPredicate
direct specialization of: #$connectedTo
#$rotationallyConnectedTo   rotationally connected to    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$rotationallyConnectedTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are connected in such a way that rotational motion, and only rotational motion, can happen between them. The rotational motion may be fully or partially rotational. Non-rotational movement between two rotationally connected objects at their connection point can occur only if the connection is broken, deformed, or disassembled. If OBJ1 and OBJ2 do rotate relative to one another, then this may be due to sliding of their surfaces, articulation of some joint part, or deformation of OBJ1 or OBJ2 (so long as that deformation only allows rotation between OBJ1 and OBJ2). Positive examples: Femurs are rotationally connected to hips, doors are rotationally connected to door frames, doorknobs are rotationally connected to doors, and propellers are rotationally connected to airplanes; in computer trackballs the ball is rotationally connected to the housing. Also a book cover is rotationally connected to its binding (but #$flapHingedTo is more appropriate because it is more specific). Negative examples: a planet orbiting around a star (they are not connected). Cf. #$MovingInACircle. A toothpick stuck in a person's leg is also a negative exemplar: Although elastic deformation of flesh allows there to be rotational motion between toothpick and leg, it also may allow a small amount of translational motion to occur between toothpick and leg. #$in-Lodged is more appropriate for describing the case of a toothpick stuck in a leg.
guid: bd58b50b-9c29-11b1-9dad-c379636f7270
direct instance of: #$IrreflexiveBinaryPredicate #$SymmetricBinaryPredicate #$SpatialPredicate #$ConnectionPredicate
direct specialization of: #$connectedTo
#$hingedTo   hinged to
(#$hingedTo OBJ1 OBJ2) means that there is some hinge connecting OBJ1 and OBJ2, allowing limited rotational motion (but no other sort of relative motion) between OBJ1 and OBJ2. The connecting hinge may be part of OBJ1, part of OBJ2, or separate from both OBJ1 and OBJ2. Note that (#$hingedTo OBJ1 OBJ2) implies that some edge of OBJ1 adjoins some edge of OBJ2.
guid: bd58c7a2-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$PhysicalFeatureDescribingPredicate #$SymmetricBinaryPredicate #$ConnectionPredicate #$IrreflexiveBinaryPredicate
direct specialization of: #$rotationallyConnectedTo
#$screwedTo   screwed to    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$screwedTo OBJ1 OBJ2) means that a screw holds OBJ1 to OBJ2. There is a hole in OBJ1 and the screw's threads have grabbed onto OBJ2. The screw does not go all the way through OBJ2. The connector is an element of #$Screw-TheConnector. Depending upon the type of screw and style of attachment, the head of the screw may be recessed into, flush with, or raised above the side of OBJ1.
guid: bd59041f-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$ConnectionPredicate #$IrreflexiveBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$alignedAlongSurface #$fastenedTo
#$fastenedTo   fastened to    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$fastenedTo OBJ1 OBJ2) means that there is an assembly consisting of OBJ1, OBJ2, and one or more fasteners configured so that OBJ1 and OBJ2 are rigidly connected. Many types of fastener are covered by #$fastenedTo; e.g., screws, nails, rivets, nuts and bolts. The fastener penetrates all the way through OBJ1 and may or may not go all the way through OBJ2. Examples: a utility shelf screwed into the wall; paper notices stapled to a bulletin board; shingles nailed to the roof of a house.
guid: bd58eba2-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$ConnectionPredicate #$InterExistingObjectSlot #$SymmetricBinaryPredicate
direct specialization of: #$connectedViaConnector #$connectedTo-Rigidly
#$stuckTo   stuck to    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$stuckTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are held together by an adhesive force that is at least strong enough to support the whole weight of (the lighter of) OBJ1 or OBJ2. Either OBJ1 or OBJ2 must be `sticky' or have a sticky surface; e.g., duct tape, honey, chewing gum, and perhaps magnetism. #$stuckTo may represent a weak form of connection, one that may be separated by manual force. Note: If a third object (such as glue) supplies the adhesive force holding OBJ1 and OBJ2 together, or if OBJ1 or OBJ2 were acted on non-trivially (e.g., welding, not simply contact or pressure), then see #$bondedTo and its specializations.
guid: bd58f0a1-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$ConnectionPredicate #$InterExistingObjectSlot #$SymmetricBinaryPredicate
#$sheetSurfaceConnected   sheet surface connected    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$sheetSurfaceConnected MEMBRANE OBJ2) means that MEMBRANE is connected all over most of one surface to a surface of OBJ2. For example, a bi-layer membrane would have two parts #$sheetSurfaceConnected to each other. Or, a membrane could be attached over most of its surface to an object's surface, as the #$VisceralPleura is attached to the surface of the #$Lung in the body. The membrane(s) may be flexible, but the surface connection is firm (i.e. no sliding can occur without a separation, tearing, or breaking occurring).
guid: c0a8974b-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$InterExistingObjectSlot #$ConnectionPredicate #$SpatialPredicate
direct specialization of: #$connectedAtContact #$covers-Sheetlike #$sheetSurfaceTouches #$connectedAlongSurface
#$endToEndConnected   end to end connected    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$endToEndConnected PATH1 PATH2) means that one end of #$Path-Simple PATH1 is connected to one end of another #$Path-Simple, PATH2, end-to-end (i.e., without sharing any subpaths), allowing flow or transport between them. This kind of connection is not a #$JunctionOfPaths since there is no third distinct path joined there. In pipe welding, these end-to-end connections are called butt welds or circumferential pipe welds.
guid: bf11c86e-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterExistingObjectSlot #$ConnectionPredicate #$SpatialPredicate #$SymmetricBinaryPredicate
direct specialization of: #$connectedAtEnd #$connectedTo #$different
#$JunctionOfPaths   junctions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of junctions of paths, each junction being an arrangement of three or more distinct instances of #$Path-Customary such that they are all locally connected to each other by joining at the #$JunctionOfPaths. It includes the case of two or more paths that 'cross' at a junction (because four path segments are thereby joined), but not the case in which the end of one path simply joins the end of another path, and no others. For junctions in #$PathSystems, see #$junctionInSystem. (Determining what constitutes a #$JunctionOfPaths depends on the #$PathTypes of the joined paths; if it is #$River then only a junction of rivers qualifies, not the place where a road joins a river.)
guid: c0fbbdc4-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$ArrangementOfLikeObjects  
direct generalization of: #$JunctionOfPipes
#$adjacentPathsAtJunction   adjacent paths at junction    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(adjacentPathsAtJunction JUNCT PATH) means that the #$JunctionOfPaths JUNCT has PATH as one of the paths (instances of #$Path-Generic) joining it. A junction may connect many paths (it must connect at least three distinct paths), and a path may pass through many junctions, and may end at a junction. Examples: all the streets meeting at a certain #$Intersection-Street, the particular #$Trachea and both primary bronchi meeting at the #$TracheobronchialJunction between a certain person's #$Lungs, and three #$LongitudeLines intersecting at the #$SouthPole. Neither PATH nor JUNCTION need be instances of #$PartiallyTangible, #$TemporalThing, or #$SpatialThing; however if PATH is, JUNCTION must also be.
guid: bfd6e907-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate
#$BranchingJunction   branching junction    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all junctions of instances of #$Path-Customary in which one #$Path-Customary adjoining the junction #$branchesInto two or more others, the latter being about equal in size to one another and no wider than the former. Distinct from a #$SideBranchJunction in which a small #$Path-Customary joins the side of a large one.
guid: bed90aa4-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$JunctionOfPaths  
#$branchesInto   branches into    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$branchesInto BIGPATH LITTLEPATH) means that the #$Path-Customary BIGPATH ends by branching into two or more (usually smaller) paths, one of which is the #$Path-Customary LITTLEPATH. LITTLEPATH is one of the two or more branches issuing from BIGPATH. This predicate is based on the size and connections but not on the direction of any flowing on the paths: A large river #$branchesInto rivulets at a delta near the mouth, but it also #$branchesInto its tributaries at its headwaters. Contrast this with #$sideBranches, in which one smaller path joins a larger path somewhere along its length. There may be a named #$BranchingJunction where BIGPATH #$branchesInto LITTLEPATH and other paths.
guid: c03301e5-9c29-11b1-9dad-c379636f7270
direct instance of: #$ConnectionPredicate #$SpatialPredicate #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
#$SideBranchJunction   side branch junction    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of junctions of instances of #$Path-Customary in which each junction is where a larger #$Path-Customary is joined along its side by a substantially smaller #$Path-Customary that ends there (this can be described using the predicate #$sideBranches). It is often a T-junction, but the smaller #$Path-Customary may join at any angle. This does not depend on any direction of movement or flow along the paths. In systems of named paths, it is usual for the large #$Path-Customary to keep the same name on both sides of the #$SideBranchJunction. See also the contrasting #$BranchingJunction.
guid: be3ed1d3-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of:
#$sideBranches   side branches    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$sideBranches MAINPATH SIDEPATH) means that the #$Path-Customary SIDEPATH ends where it joins the #$Path-Customary MAINPATH somewhere along the latter's length other than at an end. The basic nature and name of MAINPATH on either side of the junction does not change at that point; MAINPATH and SIDEPATH joined at a #$SideBranchJunction, which is a #$NonintrusiveJunction. Contrast this predicate with #$branchesInto.
guid: bf069a35-9c29-11b1-9dad-c379636f7270
direct instance of: #$ConnectionPredicate #$SpatialPredicate #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
#$pipesDirectlyConnected   pipes directly connected    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(pipesDirectlyConnected PIPE1 PIPE2) means that there is a #$JunctionOfPipes connecting two #$Pipe-GenericConduits, PIPE1 to PIPE2, (or else they are #$endToEndConnected) allowing flow of #$FluidTangibleThings between them.
guid: beb95113-9c29-11b1-9dad-c379636f7270
direct instance of: #$ConnectionPredicate #$SymmetricBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$connectedAtContact
#$JunctionOfPipes   junctions of pipes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all junctions of pipes or tubes. Each junction permits flow between any two #$Pipe-GenericConduits joined at that junction. At any #$JunctionOfPipes, three or more distinct (non-overlapping) lengths of #$Pipe-GenericConduit must be joined at their ends at the junction. (Some of the so-joined pipes may loop back to the same junction.)
guid: bf53bf8d-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$JunctionOfPaths  
#$pipeEndsAtCavity   pipe ends at cavity
(#$pipeEndsAtCavity PIPE CAV) means that PIPE is an instance of #$Pipe-GenericConduit that joins the instance of #$CavityOrContainer CAV at some instance of #$PipeEndToCavityJunction (q.v.), allowing flow or access between PIPE and CAV.
guid: c13547fe-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$ConnectionPredicate #$SpatialPredicate #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$pathTerminus #$touchesAtEnd
#$PipeEndToCavityJunction   pipe end to cavity junction    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of junctions, in each of which some #$Pipe-GenericConduit ends at a #$Cavity of larger diameter than the pipe, allowing flow or access between them. The flange where a water pipe enters a water tank is one example, as is the junction of the esophagus and the stomach in animals. See also the predicate #$pipeEndsAtCavity.
guid: bffab025-9c29-11b1-9dad-c379636f7270
direct instance of: #$RegionType
direct specialization of: #$Portal  
#$cavityConnectedAlongPathSide   cavity connected along path side    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(cavityConnectedAlongPathSide PATH CAVITY) means that there is a portal somewhere along the wall of the #$Path-Generic (which must also be #$PartiallyTangible) PATH which leads to the #$CavityOrContainer CAVITY. It does not apply if an end of PATH is the portal, nor to a branching of the path, nor a small hole in an otherwise dead end of the path. The portal is substantially smaller in width than the path, and instead of a smaller path connected there, the portal opens into a neighboring #$CavityOrContainer. Example: an #$Alveolus attached to a #$RespiratoryBronchiole in the #$Lung is so connected. Or, a room opening along the side of a hallway.
guid: bf852702-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterExistingObjectSlot #$ConnectionPredicate

Spatial Covering Relations


#$covers-Ruglike   covers - ruglike    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$covers-Ruglike MAT OBJECT) means that MAT covers at least part of one surface of OBJECT. MAT is #$SheetShaped, and MAT lies with its two longer dimensions parallel to OBJECT. See also #$coversWithConformity.
guid: bd58848f-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$IrreflexiveBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$covers-Generic #$covers-Sheetlike
#$covers-Hairlike   onto    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$covers-Hairlike HAIR OBJECT) means that HAIR consists of a mob of things that are embedded close together in OBJECT and cover some portion of its surface. See also #$Mob.
guid: bd58d760-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$SpatialPredicate #$IrreflexiveBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$covers-Generic #$touchesDirectly
#$covers-Paintlike   covers - paintlike    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$covers-Paintlike COATING OBJECT) means that COATING adheres to and covers OBJECT like a coat of paint. COATING #$touchesDirectly onto OBJECT. COATING may be either dry (e.g., dried paint) or liquid (e.g., lubricant spread on a surface, like cooking oil on a baking pan). Like paint, COATING isn't more cohesive with itself than it is with OBJECT, so (if dry) it would tend to peel or flake off in small pieces, rather than as a whole.
guid: bd58cc20-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$CotemporalObjectsSlot #$AsymmetricBinaryPredicate #$InterExistingObjectSlot #$TransitiveBinaryPredicate
direct specialization of: #$covers-Generic #$touchesDirectly #$touches
#$covers-Baglike   onto
(#$covers-Baglike WRAP OBJECT) means that the #$SheetOfSomeStuff WRAP covers OBJECT as a continuous sheet (so that WRAP also touches OBJECT), and is wrapped wholly around OBJECT (so that OBJECT is totally enclosed in WRAP).
guid: bd58b489-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$CotemporalObjectsSlot #$AsymmetricBinaryPredicate #$InterExistingObjectSlot #$TransitiveBinaryPredicate
direct specialization of: #$covers-Sheetlike #$surroundsCompletely
#$coversWithConformity   covers with conformity    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$coversWithConformity OBJ SHEET LEVEL) means that OBJ is covered by SHEET, and that the inner surface of SHEET conforms to the surface features of OBJ to the degree LEVEL. SHEET may cover OBJ in either the sense of #$covers-Ruglike or #$covers-Baglike. For example, hosiery covers legs with a #$High degree of conformity; sweat pants have #$Low conformity to legs. Level of conformity could probably based on the average of the distance between of lines going normal to the inside surface of OBJ to SHEET. The lowness or highness of this number would be based on comparison to representative exemplars. E.g. in a low conformity case, e.g. the average OBJ to SHEET distance for a pen in a grocery bag would be high relative to the dimensions of the pen. Thus level would be #$Low. The analogous measure for a leg inside spandex pants would be very low compared to the dimensions of the leg. In such a case LEVEL would be #$High.
guid: bd58aac6-9c29-11b1-9dad-c379636f7270
direct instance of: #$FunctionalPredicate #$TernaryPredicate #$SpatialPredicate
#$covers-Skinlike   covers - skinlike    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$covers-Skinlike SKIN OBJECT) means that SKIN forms all or part of OBJECT's outer surface, shell, or skin. The predicate is agnostic as to whether SKIN is a part of OBJECT.
guid: bd58d0ef-9c29-11b1-9dad-c379636f7270
direct instance of: #$CotemporalObjectsSlot #$FunctionalSlot #$SpatialPredicate #$TransitiveBinaryPredicate #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
direct specialization of: #$covers-Generic #$touches #$touchesDirectly

Sundry Spatial Concepts


#$Horizon   horizons    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The collection of all horizons, each being the far-off region within a few degrees of the horizontal plane, where the sky appears to join the distant landscape. The horizon is always relative to a particular point of observation.
guid: be00ef13-9c29-11b1-9dad-c379636f7270
direct instance of: #$ExistingObjectType
direct specialization of: #$Place-NonAgent  
#$DirectionExpression   direction expression    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
A specialization of #$UnitVectorInterval. Each instance of #$DirectionExpression is a vector representing a direction. Typically these expressions are used to indicate direction between two objects or locations. An important specialization of this collection is #$GeographicalDirection (q.v.).
guid: bd58dff3-9c29-11b1-9dad-c379636f7270
direct instance of: #$FirstOrderCollection
direct specialization of: #$UnitVectorInterval  
direct generalization of: #$GeographicalDirection
#$Underground   underground (attribute value)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The attribute of a location or region that means that it is below the surface of the ground of a particular place.
guid: c0f2a2f4-9c29-11b1-9dad-c379636f7270
direct instance of: #$LocationStateAttribute #$Individual
#$eventOccursNear   nearby location (actor slot)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The predicate #$eventOccursNear relates an event to its approximate location. (#$eventOccursNear EVENT LOC) means that EVENT occurs at or near (see #$near) LOC. #$eventOccursNear is useful when the more exact location is unknown, hard to specify, or not worth reifying; otherwise use #$eventOccursAt. For example, #$eventOccursNear could be used to CycLify Bob was cycling by the dam , We played checkers near the TV , and He is standing by the horse's hind legs . See the #$cyclistNotes for ideas on how to formalize this.
guid: c0fbb7cb-9c29-11b1-9dad-c379636f7270
direct instance of: #$ActorSlot
direct specialization of: #$temporallyIntersects
#$undergroundOf   underground of    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$undergroundOf OBJ GROUND) means that OBJ is beneath the surface of ground and has the #$locationState #$Underground.
guid: c0f2a793-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$AsymmetricBinaryPredicate
#$groundOf   ground of    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$groundOf OBJ GROUND) means that GROUND is the stationary surface on which OBJ is located and possibly supported.
guid: c0f2aea3-9c29-11b1-9dad-c379636f7270
direct instance of: #$SpatialPredicate #$BinaryPredicate
#$levelWith   level with    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
(#$levelWith OBJ1 OBJ2) means that OBJ1 and OBJ2 are roughly the same vertical distance from some horizontal surface in the frame of reference.
guid: bd58b2c1-9c29-11b1-9dad-c379636f7270
direct instance of: #$EquivalenceRelation #$SpatialPredicate


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