OpenCyc HomepagePart-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.