## Groups

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

#$Group groups

> A collection of temporal objects. Each instance of #$Group is a composite object made up of one or more individual objects or events. A group is related to each of its members by the predicate #$groupMembers (q.v.). Note that instances of #$Group are _not_ collections. A group has temporal extent and might have spatial location, while a collection is timeless and nonspatial. It is of course possible to define a collection parallel to any given group, so that the instances of the collection are exactly the group-members of that group; e.g. each toe on my left foot (and nothing else) is both an instance of the collection of my left toes and a member of the group of toes on my left foot. But that group (of my left toes) is a spatiotemporal thing while the correlated collection (of my left toes) is not. Similarly, if a certain flock of pigeons is considered as having a location, a spatial extent, and a time of existence, then the flock is being considered a _group_ and not a collection. Finally, unlike a collection, a group cannot be empty, but must have _at_least_one_ group-member. As a default, a group whose group-members all are instances of #$SomethingExisting is itself an instance of #$SomethingExisting, and a group whose group-members all are #$Events is itself an #$Event. Instances of #$Group include #$QueensGuard, #$ThreeWiseMen, #$SantasReindeer, and #$InternationalCommunity.
> guid: bd58e6a0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$TemporalThing
> direct generalization of: #$PhysicalSeries #$Mob #$Holdings

#$GroupFn group fn

> An instance of #$CollectionDenotingFunction. When applied to an instance COL of #$FirstOrderCollection, #$GroupFn returns the collection of all groups whose members (see #$groupMembers) are instances of COL. Note that an application of #$GroupFn is a _collection_ that has groups as instances, rather than an individual group. For example, (#$GroupFn #$BallisticMissile) denotes the collection of all groups of ballistic missiles, which includes Russia's ballistic missiles, China's ballistic missiles, the US's ballistic missiles, and so on.
> guid: c0fd79df-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ReifiableFunction #$UnaryFunction #$CollectionDenotingFunction #$Individual

#$subGroups subgroup (reflexive binary predicate) (transitive binary predicate) (cotemporal predicate) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate relates a group to its subgroups. (#$subGroups GROUP SUBGROUP) means that (1) all #$groupMembers of SUBGROUP are members of GROUP (2) if SUBGROUP is different from GROUP, then the members of SUBGROUP constitute a #$Group in their own right that is some sort of specialization within GROUP, and (3) if a new member were to join SUBGROUP, by doing so it would also become a member of GROUP. Examples: the stars in #$BigDipper-Asterism constitute one of the #$subGroups of #$MilkyWay-Galaxy; the Democrats in the House of Representatives in a given year constitute a subgroup of the group of #$USRepresentatives for that year. CounterExample: the groupe of Democrats in the House of Representatives and the group of people currently located in the territory of the #$DistrictOfColumbia -- even if every member of the first group is a member of the second, and it isn't totally happenstance, a member of SUBGROUP could cease membership in GROUP without ceasing membership in SUBGROUP.
> guid: bd58c466-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CotemporalObjectsSlot #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate
> direct specialization of: #$temporalBoundsIntersect

#$groupMembers group member

> This predicate relates a group (see #$Group) to its individual members. (#$groupMembers GROUP MEMBER) means that MEMBER is a member of GROUP. For example, #$PyramidOfCheops is a group-member of the #$SevenWondersOfTheAncientWorld, and #$BillClinton is a group-member of the #$DemocraticParty.
> guid: bd58fe04-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CotemporalObjectsSlot
> direct specialization of: #$temporallyIntersects

#$cardinality cardinality (intensional representation predicate) (interval based quantity slot) (quantity slot)

> (#$cardinality SETORCOL N) means that the #$SetOrCollection SETORCOL has N members. For instance, (#$cardinality #$TheEmptySet 0). Note that the concept of cardinality is clearest for finite sets; only in special branches of mathematics does one speak of the cardinality of infinite sets. See also #$entityCardinality, #$Note-cardinality-vs-entityCardinality, #$groupCardinality.
> guid: bd58bbcf-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CollectionPredicate #$IntervalBasedQuantitySlot

#$groupCardinality group cardinality

> A predicate used to indicate the total number of members there are in a particular group. (#$groupCardinality GROUP NUM) means that the number of members in the #$Group GROUP is the #$Cardinal-Mathematical NUM. For example (#$groupCardinality #$SevenWondersOfTheAncientWorld 7). Cyc infers that the #$groupCardinality of pairs is 2, and dozens, 12. For stating the cardinalities of sets or collections rather than groups, see #$cardinality and #$entityCardinality.
> guid: bd58b9c3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalSlot #$IntervalBasedQuantitySlot

#$Mob mobs

> A specialization of #$Group. Each instance of #$Mob is a group that contains a large number of objects or events of the same type. Mobs typically have more members than would be feasible to enumerate or reify. One rarely refers to particular members of a given mob; and when one does, it is usually only to relatively few of them. Examples: the #$Andes-Mountains is a mob of mountains; each instance of #$Galaxy is a mob of stars; a cupful of sand is a mob of grains of sand; and making popcorn involves a mob of corn kernel bursting events. See also #$MobFn.
> guid: bd58ed36-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExistingStuffType
> direct specialization of: #$Group

#$MobFn mob

> An instance of #$CollectionDenotingFunction. When applied to any collection COL that is both an instance of #$ObjectType and a specialization of #$TemporalThing, #$MobFn returns a subcollection of #$Mob, namely the collection of those mobs whose group-members (see the predicate #$groupMembers) all are instances of COL. For example, a clump of hair on a person's head is an instance of (#$MobFn #$Hair-Strand); the collection #$Galaxy is a specialization of (#$MobFn #$Star); and the collection #$Applauding-Clapping (i.e. all applause events) could be referred to as (#$MobFn HandClappingEvent ).
> guid: c0fd7f53-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ReifiableFunction #$UnaryFunction #$CollectionDenotingFunction #$Individual

#$groupMembers group member

> This predicate relates a group (see #$Group) to its individual members. (#$groupMembers GROUP MEMBER) means that MEMBER is a member of GROUP. For example, #$PyramidOfCheops is a group-member of the #$SevenWondersOfTheAncientWorld, and #$BillClinton is a group-member of the #$DemocraticParty.
> guid: bd58fe04-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CotemporalObjectsSlot
> direct specialization of: #$temporallyIntersects

#$groupMemberType type of group member **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$groupMemberType is used in characterizing the members of a particular group. (#$groupMemberType GROUP TYPE) means that all of GROUP's members are elements of the collection TYPE. For example, to state that the #$groupMembers of the Austin City Council are humans, one would write (#$groupMemberType AustinCityCouncil #$Person). The members of a particular group might be characterized in more than one way; e.g., a Hispanic Business Council may have both the #$groupMemberType #$EthnicGroupOfHispanics and the #$groupMemberType #$BusinessPerson (provided that all of its members are Hispanic business people). For 'typical' or 'expected' characteristics of members, see also #$memberTypes and #$typeHasTypicalMemberTypes.
> guid: bd58ef50-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$groupPrototype group prototype **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$groupPrototype is used to identify the individual prototype for a particular group. (#$groupPrototype GROUP PROTO) means that the prototype of GROUP is PROTO. PROTO is an individual which is (or becomes), intentionally or unintentionally, the model for the #$groupMembers of GROUP, which share some feature(s) of the prototype. A group may or may not have a prototype. A group has only one prototype (if it has any). A prototype exists prior to other members of the group; it may or may not itself be a member of the group (by default, Cyc assumes it is). For example, the prototype for the class of Saturn V rockets; or, Casanova as the prototypical romantic adventurer.
> guid: bd589581-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalSlot
> direct specialization of: #$groupMembers

#$List is the atomic form of (#$ListOfTypeFn #$Thing)(#$ListOfTypeFn #$Thing)

> A specialization of #$Tuple. Each instance of #$List is a finite sequence of things with a first and last member-position, with each member-position other than the last having a successor member-position. As with tuples generally, lists allow for repetition of their members, so that the same item can appear at multiple member-positions in the same list. A list can be represented formally as a function from a finite index set of counting numbers, beginning with one, into the domain of all #$Things (but note that #$Lists are _not_ explicitly represented as functions in the Cyc ontology). Unlike an instance of #$Series (q.v.), a list is purely abstract (i.e. not spatio-temporal), and the only implied relation between an item and its successor in a list is the successor relation of the list itself. Technically, #$List is more specific than #$Tuple only in that the index set (see #$tupleIndexSet) for a given list must be the counting numbers in their usual order (or some initial segment thereof), whereas the index set for a tuple, generally speaking, might be any set whatsoever.
> guid: bed50053-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StuffType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Tuple
> direct generalization of: #$PostalCode #$ListWithoutRepetition #$AccessNumber #$StreetAddress #$SharedNote #$PhoneNumber #$HumanNameString #$NumericString #$SerialNumber-String #$ProgramIdentifier #$MACAddress #$PathChain #$SubLString #$IPAddress #$TextString #$SocialSecurityNumber #$NLSentence #$ContactInfoString #$EMailAddress #$UniformResourceLocator #$MailingAddress #$ShippingAddress #$HumanFamilyNameString #$IDNumber #$Address-LocationDesignator #$HumanGivenNameString #$CharacterString

#$TheList the list **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$TheList is a function that combines its arguments into a list. For any ITEM(1), ..., ITEM(n), each of which is an instance of #$Thing, (#$TheList ITEM(1) ... ITEM(n)) gives the instance of #$List-Extensional whose first member is ITEM (1), ..., and whose last member is ITEM(n). Note that in general ITEM(1), ..., ITEM(n) do not have to be distinct, though they do if (#$TheList ITEM(1) ... ITEM(n)) is an instance of #$ListWithoutRepetition.
> guid: bdcc9f7c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnreifiableFunction #$VariableArityRelation #$IndividualDenotingFunction #$Individual

#$TheEmptyList the empty list

> An instance of #$ListWithoutRepetition. #$TheEmptyList is a list that has no members (see #$listMembers). Note that any list that has no members is identical with #$TheEmptyList; thus #$TheEmptyList is the only list whose length is 0. Note also that #$TheEmptyList is a sublist (see #$subLists) of every list. Note finally that #$TheEmptyList is not the same as #$TheEmptySet (q.v.).
> guid: bd79c885-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ListWithoutRepetition #$Individual

#$ListWithoutRepetition OSETs

> A specialization of #$List. An instance LIST of #$List is also an instance of #$ListWithoutRepetition just in case each of the members of LIST occurs in only one member-position in LIST.
> guid: bdb9081e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$WellOrdering #$List

#$listMembers list members

> A predicate that relates an ordered n-tuple, or #$List (q.v.), to each of the items on that list. (#$listMembers LIST MEMBER) means that MEMBER is a member of LIST. For example, if LIST = (#$TheList A B C B) then LIST has exactly three members: A, B, and C. See also #$SetOfListMembersFn.
> guid: be6f9d0b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$EvaluatablePredicate #$AsymmetricBinaryPredicate #$IntangibleObjectPredicate
> direct specialization of: #$tupleMembers

#$LengthOfListFn length of list fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The function #$LengthOfListFn, applied to a list, gives the length of the list, a non-negative integer. Note that the length of LIST should not in general be considered the same as the cardinality of (#$SetOfListMembersFn LIST). For example, given that LIST = (#$TheList A B C B D), (#$LengthOfListFn LIST) is 5 while the cardinality of (#$SetOfListMembersFn LIST) is 4. When LIST is an instance of #$ListWithoutRepetition, nevertheless, the length of LIST is identical to the cardinality of (#$SetOfListMembersFn LIST).
> guid: c10b0ebc-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryFunction #$EvaluatableFunction #$Individual

#$FirstInListFn first in list fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The function #$FirstInListFn, applied to a list as in (#$FirstInListFn LIST), results in the first item on the list. For each nonempty #$List, (#$FirstInListFn LIST) = (#$NthInListFn LIST 1). (#$FirstInListFn LIST) is undefined if LIST is #$TheEmptyList.
> guid: c068f9a4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryFunction #$EvaluatableFunction #$Individual

#$LastInListFn last in list fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The function #$LastInListFn, applied to a list as in (#$LastInListFn LIST), results in the last item on the list. For each nonempty #$List LIST, (#$LastInListFn LIST) = (#$NthInListFn LIST (LengthOfListFn LIST)). (#$LastInListFn LIST) is undefined if LIST is #$TheEmptyList.
> guid: c0ae0876-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryFunction #$EvaluatableFunction #$Individual

#$RestOfListFn rest of list fn

> An instance of #$EvaluatableFunction. When applied to an instance LIST of #$List, #$RestOfListFn returns another list having as members all but the first item in LIST, in the same order. To put it more precisely, for each instance LIST of #$List with LIST not equal to #$TheEmptyList, (#$RestOfListFn LIST) is the list obtained from LIST by taking away the first member of LIST. If the first member of LIST is ITEM and LIST = (#$JoinListsFn (#$TheList ITEM) THE-LIST-OF-THE-REST), then (#$RestOfListFn LIST) = THE-LIST-OF-THE-REST. Note that (#$RestOfListFn LIST) is undefined if LIST is #$TheEmptyList and that (#$RestOfListFn LIST) is #$TheEmptyList if the length of LIST is 1.
> guid: c02afce7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PartialDenotationalFunction #$UnaryFunction #$EvaluatableFunction #$Individual

#$NthInListFn nth in list fn

> An instance of both #$EvaluatableFunction and #$PartialDenotationalFunction. For each LIST in #$List with length M (i.e., (#$LengthOfListFn LIST) = M), and for each #$PositiveInteger N that is less than or equal to M, (#$NthInListFn LIST N) is the member of LIST that occurs at the Nth position of LIST. For example, given that LIST = (#$TheList A B C D A E F), (#$NthInListFn LIST 1) = A, (#$NthInListFn LIST 2) = B, (#$NthInListFn LIST 5) = A and (#$NthInListFn LIST 7) = F. Note that when N is greater than the length of LIST or LIST is #$TheEmptyList, then (#$NthInListFn LIST N) is undefined.
> guid: bda6dd00-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PartialDenotationalFunction #$BinaryFunction #$EvaluatableFunction #$Individual

#$PositionsInListFn positions in list fn

> An instance of both #$BinaryFunction and #$EvaluatableFunction. When applied to two lists, as in (#$PositionsInListFn LIST1 LIST2), #$PositionsInListFn finds every occurrence of LIST1 as a sublist of LIST2, and returns a list of all the positions in LIST2 (i.e., a list of #$PositiveIntegers) where a copy of LIST1 starts. For any instances LIST1 and LIST2 of #$List, (#$PositionsInListFn LIST1 LIST2) is the list LIST* of #$PositiveIntegers defined below. Let L be the length of LIST1. The first member of LIST*, if there is any, is the smallest positive integer N1 such that LIST1 = (#$SublistFromToFn LIST2 N1 N1+L). The second member of LIST*, if there is any, is the second smallest positive integer N2 such that LIST1 = (#$SublistFromToFn LIST2 N2 N2+L). ... The last member of LIST* is the greatest positive integer N such that LIST1 = (#$SublistFromToFn LIST2 N N+L). Note that if LIST1 is not a sublist of LIST2 or LIST2 is #$TheEmptyList, then (#$PositionsInListFn LIST1 LIST2) is #$TheEmptyList. Note also that if LIST1 is #$TheEmptyList while LIST2 is not, then (#$PositionsInListFn LIST1 LIST2) returns a list of _all_ the positions in LIST2 (e.g., if LIST2 = (#$TheList A B C), (#$PositionsInListFn #$TheEmptyList LIST2) = (#$TheList 1 2 3)).
> guid: be223d0c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryFunction #$EvaluatableFunction #$Individual

#$ReverseListFn reverse list fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The function #$ReverseListFn applied to a #$List, as in (#$ReverseListFn LIST), results in the same list, but in reverse order. For example, if LIST is (#$TheList A B C A D), then (#$ReverseListFn LIST) = (#$TheList D A C B A).
> guid: bf3f0990-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryFunction #$EvaluatableFunction #$Individual

#$SublistFromToFn sublist from to fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The function #$SublistFromToFn applied to a list and two numbers, as in (#$SublistFromToFn LIST X Y), picks out the sublist of LIST from position X to position Y, inclusive. For each nonempty #$List LIST, and for each pair of positive integers M and N such that M is less than or equal to N and such that N is less than or equal to the length of LIST, (#$SublistFromToFn LIST M N) denotes the sublist SUBLIST of LIST such that the first member of SUBLIST is the Mth member of LIST and the last member of SUBLIST is the Nth member of LIST. See #$subLists. Note that (#$SublistFromToFn LIST M N) is not defined if LIST is #$TheEmptyList or M is greater than N or N is greater than the length of LIST.
> guid: c1311405-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TernaryFunction #$EvaluatableFunction #$Individual

#$JoinListsFn join lists fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This function attaches lists together to make longer lists. For any instances LIST(1), ..., LIST(n) of #$List, (#$JoinListsFn LIST(1) ... LIST(n)) denotes the list, i.e., the instance of #$List, that is obtained by concatenating LIST(1), ..., LIST(n) end to end in the order from 1 to n. Note that LIST(1), ..., LIST(n) do not have to be distinct.
> guid: bfa7f158-9c29-11b1-9dad-c379636f7270
> direct instance of: #$VariableArityRelation #$EvaluatableFunction #$AssociativeRelation #$Individual

#$Series series

> A specialization of #$TemporalThing. Each instance of #$Series is a complex temporal thing in which two or more other things are ordered in a linear fashion. Examples include a line of people at a ticket booth (an instance of the specialization #$PhysicalSeries) and a series of pitches in a baseball game (an instance of the specialization #$EventSeries). In each instance of #$Series, there is some relation by which its members are ordered (see the related predicate #$seriesOrderedBy); this relation often varies from series to series.
> guid: be8e694c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FirstOrderCollection
> direct specialization of: #$TemporalThing
> direct generalization of: #$PhysicalSeries

#$PhysicalSeries physical series

> A specialization of both #$Series and #$PartiallyTangible. Each instance of #$PhysicalSeries is a group of partially tangible objects ordered in a linear fashion, most likely according to some spatial relationship. Instances would include a group of people in line at a ticket booth, or the vertebrae in a person's spine.
> guid: c04cb9b8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExistingObjectType
> direct specialization of: #$Group #$PartiallyTangible #$Series

#$SeriesWithoutRepetition series without repetition **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A #$SeriesWithoutRepetition is a #$Series in which each member occurs only once.
> guid: bf7c353a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$Collection
> direct specialization of: #$Series

#$subSeries sub series

> (#$subSeries SERIES SUBSERIES) means that SUBSERIES is a sub-series of SERIES. This means that all the members of SUBSERIES are series-members (see the predicate #$seriesMembers) of SERIES, that SERIES and SUBSERIES share the same ordering principle, and that, if the first member of SUBSERIES is the Mth member of SERIES, the Nth member of SUBSERIES is the (N + M - 1)th member of SERIES.
> guid: bd5944c9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$PartPredicate
> direct specialization of: #$parts

#$seriesMemberIsa series member isa **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$seriesMemberIsa SERIES COL) means that each of the #$seriesMembers of SERIES SIT is an instances of the collection COL.
> guid: bd6c22c9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$seriesLength series length **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$seriesLength SER LEN) means that the series, SER, is LEN members long. Note that some #$Series have an unknown or infinite number of members.
> guid: bfe12eb2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalSlot

#$seriesOrderedBy series ordered by

> This predicate relates series to relations that order them linearly. (#$seriesOrderedBy SERIES PRED) means that PRED is a relation that imposes a linear, or total, ordering (see #$TotalOrdering) on the #$seriesMembers of SERIES. PRED is both a #$TransitiveBinaryPredicate and an #$AntiSymmetricBinaryPredicate, and each member of SERIES stands in the relation PRED to all of the succeeding members. For example, if SERIES is a line of cars driving north, it might be ordered by #$northOf (and perhaps also by ahead of ).
> guid: c0dbc44e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$seriesOrderedByInverse series ordered by inverse **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$seriesOrderedByInverse SER PRED) means that PRED is the relation that imposes an order on the members of SER. Each member of the series stands in the relation PRED to the series members that come before it. For example, if SER is a line of cars driving south, the ordering relation might be #$northOf (or ''behind''). See also #$seriesOrderedBy.
> guid: bd70bf75-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalPredicate #$BinaryPredicate

#$NthInSeriesFn nth in series fn

> An instance of both #$PartialDenotationalFunction and #$ReifiableFunction. (#$NthInSeriesFn SERIES N) is the Nth member (see #$seriesMembers) of the #$Series SERIES, provided that N is less than or equal to the length (see #$seriesLength) of SERIES. When N is greater than the length of SERIES, then (#$NthInSeriesFn SERIES N) is undefined.
> guid: be877e49-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PartialDenotationalFunction #$BinaryFunction #$ReifiableFunction #$Individual

#$structureRelations structure relations **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$structureRelations STRUCT REL) means that the situation or structure STRUCT has REL as one of its associated relations between its structure-members. This is very general and it could be an abstract predicate, relation or function, defined on the structure-members.
> guid: be1e710b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate
> direct specialization of: #$parts

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