## Part-Whole Vocabulary

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

Return to Documentation Contents
Return to Vocabulary Contents

#$PartPredicate part predicates

> A collection of #$ObjectPredicates that are used to relate a given individual to its (tangible or intangible) parts or components of a certain sort. Each instance of #$PartPredicate has an arity (see #$arity) of 2, and both argument places are constrained (see #$argIsa) to instances of #$Individual or some subcollection thereof. Each instance PRED of #$PartPredicate is a specialization of the predicate #$parts (q.v.); i.e. either (#$genlPreds PRED #$parts) or (#$genlInverse PRED #$parts) holds. Notable examples include #$physicalDecompositions, #$subEvents, and #$subOrganizations.
> guid: bd588496-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$BinaryPredicate #$ObjectPredicate
> direct generalization of: #$PhysicalPartPredicate #$PhysicalCompositionPredicate #$NonPhysicalPartPredicate

#$PhysicalPartPredicate physical part predicates

> 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 #$AtemporalNecessarilyEssentialCollectionType
> 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 #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$PartPredicate #$IntangibleObjectPredicate
> direct generalization of: #$SubEventPredicate

#$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: #$SiblingDisjointCollectionType #$SecondOrderCollection
> direct specialization of: #$OrganismPartType

#$SymmetricAnatomicalPartType types of symmetric anatomical part **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: #$SiblingDisjointCollectionType #$SecondOrderCollection
> direct specialization of: #$AnimalBodyPartType

#$parts constituent

> 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: #$IndividualLevelPredicate #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$PartPredicate

#$physicalDecompositions physical decompositions

> (#$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) (ordering relation) (composition 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: #$PhysicalFeatureDescribingPredicate #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$SpatialPredicate #$CotemporalObjectsSlot #$PhysicalPartPredicate
> direct specialization of: #$physicalDecompositions

#$anatomicalParts anatomical part (physical part predicate) (composition predicate) (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 #$CotemporalObjectsSlot #$PhysicalPartPredicate
> direct specialization of: #$physicalParts

#$physicalPortions portion (composition predicate) (reflexive binary predicate) (part predicate)

> (#$physicalPortions WHOLE PART) means that PART is a representative physical part of WHOLE, in the sense that the intrinsic physical properties of WHOLE are also properties of PART. Physical parts of WHOLE which are not representative in this sense should not be related to WHOLE by #$physicalPortions, but rather by #$physicalParts or #$physicalDecompositions (qq.v.). For example, the SpaghettiSauce001 which is part of SpaghettiDinner001 would not be related to SpaghettiDinner001 by #$physicalPortions, since SpaghettiSauce001 differs from SpaghettiDinner001 in its composition (the latter has constituents -- noodles, parmesan cheese, and so on -- that the former does not have). On the other hand, a #$physicalPortions of the dinner would include parts of all the constituents of the dinner.
> guid: bd590638-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalCompositionPredicate #$ReflexiveBinaryPredicate #$AntiSymmetricBinaryPredicate #$CotemporalObjectsSlot
> direct specialization of: #$physicalDecompositions

#$physicalExtent physical extent

> A #$PhysicalPartPredicate and specialization of #$physicalParts that relates an object with tangible and intangible parts (see #$CompositeTangibleAndIntangibleObject) to its greatest tangible part. (#$physicalExtent WHOLE PART) means that PART is the complete part of WHOLE that is #$PartiallyTangible and not itself a #$CompositeTangibleAndIntangibleObject (and thus does not include any intangible part of WHOLE). For example, the #$physicalExtent of a given copy of Moby Dick includes the cover, the pages, and their markings; it excludes the #$AbstractInformationalThing and the #$ConceptualWork that are also in some sense present in that copy of Moby Dick .
> guid: bd589827-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalSlot #$AntiSymmetricBinaryPredicate #$TransitiveBinaryPredicate #$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: #$StrictlyFunctionalSlot #$TransitiveBinaryPredicate #$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) (composition predicate) (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 #$CotemporalObjectsSlot #$PhysicalPartPredicate
> direct specialization of: #$physicalParts

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