## Part-Whole Vocabulary

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

#$PartPredicate part predicates **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of predicates that are used to relate an individual (an instance of #$Individual) to its tangible or intangible parts or components. Each instance of #$PartPredicate has an #$arity of 2, and both argument places are constrained (see #$argIsa) to instances of #$Individual, or some subcollection thereof. Each instance of #$PartPredicate is a specialization of the predicate #$parts (q.v.); consequently, for each instance PRED of #$PartPredicate, either (#$genlPreds PRED #$parts) or (#$genlInverse PRED #$parts) holds.
> guid: bd588496-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$ObjectPredicate #$BinaryPredicate
> direct generalization of: #$PhysicalCompositionPredicate #$NonPhysicalPartPredicate

#$PhysicalPartPredicate physical part predicate

> A collection of predicates that are used to relate a partially tangible thing to its distinct, identifiable, non-diffuse, partially tangible parts. Each instance of #$PhysicalPartPredicate has an #$arity of 2, and both argument places are constrained (see #$argIsa) to instances of #$PartiallyTangible, or some subcollection thereof. Each instance of #$PhysicalPartPredicate is a specialization of the predicate #$physicalParts (q.v.); consequently, for each instance PRED of #$PhysicalPartPredicate, either (#$genlPreds PRED #$physicalParts) or (#$genlInverse PRED #$physicalParts) holds.
> guid: bd58a601-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$PhysicalCompositionPredicate

#$NonPhysicalPartPredicate nonphysical part predicates **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of predicates. Instances of #$NonPhysicalPartPredicate are used to describe the relationship between a #$PartiallyIntangible and its non-physical parts.
> guid: bd588411-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$IntangibleObjectPredicate #$PartPredicate
> direct generalization of: #$TemporalPartSlot

#$UniqueAnatomicalPartType types of unique anatomical part **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Instances are types of #$OrganismParts that occur uniquely in the organisms (#$Organism-Whole) that have them. For example, #$Head-AnimalBodyPart.
> guid: c0fe0533-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SiblingDisjointCollection #$SecondOrderCollection
> direct specialization of: #$OrganismPartType

#$SymmetricAnatomicalPartType symmetric anatomical part type **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Instances are types of #$anatomicalParts of bilaterally symmetrical organisms (#$Organism-Whole) which occur in bilaterally symmetric pairs. This is not intended to include broader categories like #$Tooth, #$Rib-AnimalBodyPart, or #$Finger, but the specific parts of which the organism only has two (EyeTooth, FifthRib, or #$RingFinger).
> guid: c0fde885-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SiblingDisjointCollection #$SecondOrderCollection
> direct specialization of: #$AnimalBodyPartType

#$parts constituent (part predicate)

> This predicate relates individuals to their (individual) parts , where this is understood in a very broad sense that includes spatial parts, temporal parts, conceptual parts, members of groups, and so forth. (#$parts WHOLE PART) means that PART is in some sense a part of WHOLE. Note that PART need not be a _proper_ part of WHOLE: #$parts is reflexive (see #$ReflexiveBinaryPredicate). Important specializations of #$parts include the predicates #$physicalParts, #$subEvents, #$timeSlices, #$subInformation, and #$groupMembers.
> guid: bd58fb6e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$IndividualLevelPredicate #$PartPredicate

#$physicalDecompositions physical decompositions **GAFs NOT REVIEWED**

> (#$physicalDecompositions WHOLE PART) means that PART is a spatial part or component of WHOLE, in a very broad sense of `part' whereby PART might or might not be spatially continuous or discrete. Thus PART might be discontinuous, or even diffused throughout WHOLE.
> guid: bd58f362-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalCompositionPredicate #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$SpatialPredicate #$CotemporalObjectsSlot
> direct specialization of: #$movesWith #$spatiallySubsumes #$parts #$touchesDirectly #$physicallyOverlaps

#$physicalParts physical part (physical part predicate)

> (#$physicalParts WHOLE PART) means that WHOLE is an at least partially tangible object and PART is one of its distinct, non-diffuse, identifiable, partially tangible parts. This predicate can be used, for example, to relate a dog to its tail, or an automobile to its wheels. Note that any partially tangible object is considered to be a distinct, non-diffuse, identifiable part of itself; consequently, #$physicalParts is an instance of #$ReflexiveBinaryPredicate.
> guid: bd58f916-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$PhysicalFeatureDescribingPredicate #$TransitiveBinaryPredicate #$PhysicalPartPredicate #$SpatialPredicate #$CotemporalObjectsSlot
> direct specialization of: #$physicalDecompositions

#$anatomicalParts anatomical part (physical part predicate)

> (#$anatomicalParts ORGANISM PART) means that the #$OrganismPart PART is an anatomical part of the #$Organism-Whole ORGANISM. One should use the predicate #$physicalParts (q.v.), rather than #$anatomicalParts, to relate an instance of #$OrganismPart (for example, a hand) to other #$OrganismParts (for example, the fingers of the hand) that are part of it.
> guid: bd58ee7e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalPredicate #$PhysicalPartPredicate #$CotemporalObjectsSlot
> direct specialization of: #$physicalParts

#$physicalPortions physical portion (composition predicate) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$physicalPortions WHOLE PART) means PART is a representative spatial chunk of WHOLE. Every intrinsic property which is true of WHOLE should be true of PART. Spatial parts of WHOLE which are not representative of the whole would be #$physicalParts or #$physicalDecompositions, not #$physicalPortions. For example, the SpaghettiSauce001 which is part of SpaghettiDinner001 is a #$physicalParts of the dinner. A #$physicalPortions of the dinner would include some sauce, some noodles, some parmesan cheese, etc. -- parts of all the #$constituents. This is the spatial analog of #$timeSlices (not #$subEvents).
> guid: bd590638-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalCompositionPredicate #$AntiSymmetricBinaryPredicate #$CotemporalObjectsSlot
> direct specialization of: #$physicalDecompositions

#$physicalExtent physical extent **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$physicalExtent WHOLE PART) means that PART is the complete physical (Tangible) part of the #$CompositeTangibleAndIntangibleObject WHOLE, which does not include any intangible part of WHOLE.
> guid: bd589827-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalSlot #$TransitiveBinaryPredicate #$AntiSymmetricBinaryPredicate #$PhysicalPartPredicate
> direct specialization of: #$physicalParts

#$intangibleComponent intangible component **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$intangibleComponent WHOLE PART) means that PART is the entire intangible part of the #$CompositeTangibleAndIntangibleObject WHOLE.
> guid: bd58d445-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TransitiveBinaryPredicate #$FunctionalSlot #$NonPhysicalPartPredicate
> direct specialization of: #$intangibleParts

#$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

#$externalParts external part (physical part predicate) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$externalParts OBJ PART) means that OBJ has PART as one of its external #$physicalParts. See #$surfaceParts, an important specialization of #$externalParts, for parts which do not extend from one side to the opposite side of ARG1.
> guid: bd58cfa4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$TransitiveBinaryPredicate #$PhysicalPartPredicate #$CotemporalObjectsSlot
> direct specialization of: #$physicalParts

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