Part-Whole
Vocabulary
E-Mail Comments to: opencyc-doc@cyc.com
Last
Update: 3/30/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 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
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
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
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
direct specialization of: #$possessiveRelation
#$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)
(#$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)
(#$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
(#$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
#$AntiSymmetricBinaryPredicate #$PhysicalPartPredicate
direct specialization of:
#$physicalParts
#$intangibleComponent intangible component
(#$intangibleComponent
WHOLE PART) means that PART is the entire intangible part of
the #$CompositeTangibleAndIntangibleObject WHOLE.
guid: bd58d445-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
#$NonPhysicalPartPredicate
direct specialization of: #$intangibleParts
#$surfaceParts surface parts
(#$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)
(#$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.