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.