Entry Format

#$arg1Format   arg 1 format
    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the first (or arg1 ) argument-place of a given predicate. (#$arg1Format PRED FORMAT) means that PRED's arg1 is constrained to FORMAT. See the reified instances #$Format for further details.
    guid: bd61886b-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate

#$arg2Format   arg 2 format

    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the second (or arg2 ) argument-place of a given predicate. (#$arg2Format PRED FORMAT) means that PRED's arg2 is constrained to FORMAT. See the reified instances #$Format for further details.
    guid: bd5a142d-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate

#$arg3Format   arg 3 format

    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the third (or arg3 ) argument-place of a given predicate. (#$arg3Format PRED FORMAT) means that PRED's arg3 is constrained to FORMAT. See the reified instances #$Format for further details.
    guid: bd5b6d60-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate

#$arg4Format   arg 4 format

    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the fourth (or arg4 ) argument-place of a given predicate. (#$arg4Format PRED FORMAT) means that PRED's arg4 is constrained to FORMAT. See the reified instances #$Format for further details.
    guid: bd678812-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate

#$arg5Format   arg 5 format

    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the fifth (or arg5 ) argument-place of a given predicate. (#$arg5Format PRED FORMAT) means that PRED's arg5 is constrained to FORMAT. See the reified instances #$Format for further details.
    guid: bd60a887-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate

#$Format   argument entry formats

    A collection of argument entry-formats that can be specified for #$Predicates with respect to particular argument-places (see #$argFormat). An argument entry-format is a kind of restriction on a predicate regarding how many things, or the range of things, that the predicate holds of with respect to a given one of its argument-places. More precisely: given any particular way of fixing the arguments in the rest of the predicate's argument-places, the entry-format tells us something about the number of different things, or the range of things, that can occupy the given argument-place such that the relation holds of those arguments. That is, supposing the given argument-place is the Nth, the entry-format tells us something about the number or range of different sequences of arguments of which the predicate holds and that differ from each other only in their Nth items. For example, the format #$SingleEntry (q.v.) is used to state that in every case there is at most only one such sequence, the format #$SetTheFormat (q.v.) to state that there is no particular (upper or lower) limit to the number of such sequences that applies to every case, and the format #$IntervalEntry (q.v.) to state that the Nth items of any two such sequences must be #$ScalarIntervals that intersect (see #$quantityIntersects). Thus, the first argument-place of #$biologicalMother has the format (see #$arg1Format) #$SetTheFormat, since a given female animal might have any number (including zero) of offspring; but the second argument-place of this predicate has (see #$arg2Format) #$SingleEntry format, since any given animal has at most (in fact, exactly) one biological mother. And the format of the second argument-place of #$bodyTemperature is #$IntervalEntry because, while a given creature (at a given moment in time) has a single exact (see #$ScalarPointValue) body temperature, we want the predicate #$bodyTemperature to be flexible enough to allow us to specify this temperature with varying degrees of precision (e.g. as 98.6 degrees Fahrenheit or as between 98 and 99 degrees or as less than 100 degrees ). See the various instances of #$Format for further details. See also #$ArgFormatPredicate. Note that, in contrast with what #$ArgTypePredicates are used for, specifying an argument entry-format for a predicate does _not_ impose any sort of necessary condition for semantic well-formedness. A violation of a legitimate entry-format constraint necessarily involves two or more statements, and at least one them must be _untrue_; but there is no implication that any of them is malformed.
    guid: bd589a1d-9c29-11b1-9dad-c379636f7270
    direct instance of: #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$IntangibleIndividual 

#$SingleEntry   single-entry format

    An instance of #$Format (q.v.) that can be specified to hold of a given predicate with respect to a given argument-place (see #$argFormat). (#$argFormat PRED N #$SingleEntry) means that, for any particular way of fixing the other arguments to PRED besides the Nth, there is at most one thing such that, if taken as the Nth argument, PRED holds of those arguments. That is, if the sequences <... ARGN ...> and <... ARGN-PRIME ...> differ at most in their Nth items and both (PRED ... ARGN ...) and (PRED ... ARGN-PRIME ...) hold, then ARGN = ARGN-PRIME (see #$equals). For example, the format of #$biologicalMother's second argument-place is single-entry, since an animal can only have one biological mother. A predicate with a single-entry format argument-place is thus a #$FunctionalPredicate (q.v.) that is functional with respect to that argument-place (see #$functionalInArgs). Contrast with #$SetTheFormat.
    guid: bd5880eb-9c29-11b1-9dad-c379636f7270
    direct instance of: #$Format #$Individual

#$SetTheFormat   set argument entry format

    An instance of #$Format (q.v.) that can be specified to hold of a given predicate with respect to a given argument-place (see #$argFormat). (#$argFormat PRED N #$SetTheFormat) means that, for any particular way of fixing the other arguments to PRED besides the Nth, there might be any number (including zero) of things such that, if taken as the Nth argument, PRED holds of those arguments. For example, the format of #$biologicalMother's first argument-place is #$SetTheFormat, since a female animal might have any number of offspring. Unlike the other reified instances of #$Format, #$SetTheFormat actually places no restriction at all on what PRED might or might not hold of with respect to the relevant argument-place. But one should not infer from this that entry-format assertions using #$SetTheFormat are pointless; for they forestall duplication of effort by serving notice that the entry-format of a given argument-place has previously been considered and #$SetTheFormat was deemed the appropriate format. #$SetTheFormat is the most commonly-encountered format in the Cyc Knowledge Base. Contrast with #$SingleEntry.
    guid: bd589408-9c29-11b1-9dad-c379636f7270
    direct instance of: #$Format #$Individual

#$PartsFormat   parts argument entry format    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    Argument positions of Cyc predicates may have specified formats that constrain how many and what kind of terms may occupy that position, given some fixed list of terms in the other argument positions of the predicate. If a predicate P has #$PartsFormat for argument position N, then given some particular list of terms that occupy the other argument positions of P, there may be multiple assertions with different terms in position N (keeping the other arguments fixed), but only so long as the terms in position N are all #$physicalParts of the same #$PartiallyTangible. For example, the #$arg1Format of #$physicalParts is #$PartsFormat. This allows us to represent that JosephsRightThumbnail is a #$physicalParts of JosephsRightThumb, of JosephsRightHand, and of Joseph. This is more restrictive than #$SetTheFormat, which allows multiple unrelated values. In contrast, specifying only (#$arg1Format #$physicalParts #$SetTheFormat) would not prevent JosephsRightThumb from being a #$physicalParts of both JosephsRightHand and of JamesRightHand.
    guid: c0fb3343-9c29-11b1-9dad-c379636f7270
    direct instance of: #$Format #$Individual

#$IntervalEntry   interval-entry argument format

    An instance of #$Format (q.v.) that can be specified to hold of a given predicate with respect to a given argument-place (see #$argFormat), where the argument-place in question is one constrained (via #$argIsa) to instances of #$ScalarInterval. (#$argFormat PRED N #$IntervalEntry) means that, for any particular way of fixing the other arguments to PRED besides the Nth, there may be more than one instance of #$ScalarInterval such that, if taken as the Nth argument, PRED holds of those arguments. However, if there is more than one instance of #$ScalarInterval taken as the Nth argument in such a situation, it must be the case that each of the instances of #$ScalarInterval intersect one another (see #$quantityIntersects). That is, if the sequences <... ARGN-1 ...>, <... ARGN-2 ...>, ..., <... ARGN-M ...> differ at most in their Nth items and each of (PRED ... ARGN-1 ...), (PRED ... ARGN-2 ...), ..., (PRED ... ARGN-M ...) holds, then for any distinct ARGN-K and ARGN-L, where K and L are greater than or equal to 1, and less than or equal to M, (#$quantityIntersects ARGN-K ARGN-L). For example, the format of #$volumeOfObject's second argument-place is #$IntervalEntry.
    guid: bd5880e0-9c29-11b1-9dad-c379636f7270
    direct instance of: #$Format #$Individual

#$functionalInArgs   functional in args

    A #$MetaPredicate for specifying the argument-place(s) with respect to which a given #$FunctionalPredicate (q.v) is functional . (#$functionalInArgs PRED N) means that PRED is functional in its Nth argument-place. That is, for any particular way of fixing all of PRED's other arguments, there will be at most one thing that, if taken as the Nth argument, would result in a true sentence. For example, #$biologicalMother is functional in its second argument, as nothing has more than one biological mother. In most cases, the entry-format (see #$Format) of a functional argument-place should be #$singleEntryFormatInArgs (q.v.). In some cases, however, the entry-format is #$intervalEntryFormatInArgs (q.v.), and then the meaning of (#$functionalInArgs PRED N) deviates slightly from that described above. In such a case there might be more than one instance of #$ScalarInterval (q.v.) that, when taken as PRED's Nth argument (and keeping the other arguments fixed), yields a true statement; but if so, all such (equivalently truth-yielding ) scalar-intervals must _overlap_ one another (see #$quantityIntersects). For example, #$heightOfObject's second, functional argument-place has the interval-entry format, reflecting the fact that it might be true to say of a given basketball player (e.g.) _either_ that he is 6-feet-11-inches in height or that he is between 6-feet-10 and 7-feet in height. Obviously, the specified integer N must be less than or equal to the arity (see #$arity) of PRED. Note that, for some ways of fixing the other arguments, there might be _nothing_ that would yield a true sentence when put in PRED's functional argument-place. For example, #$dictator is functional in its second argument because a given country can have at most one dictator at a given time; but of course some countries have no dictator.
    guid: bd58dcb9-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$BinaryPredicate #$MetaPredicate

#$scopingArg   scoping arg    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    (#$scopingArg RELATION N) indicates the Nth argument of #$ScopingRelation RELATION denotes one or more scoped variables.
    guid: c03d1910-9c29-11b1-9dad-c379636f7270
    direct instance of: #$BinaryPredicate

#$ScopingRelation   scoping relations    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    Relations that are used to define a scope with respect to one or more variables and to bind any occurrences of those variables that are inside that scope.
    guid: c0960de2-9c29-11b1-9dad-c379636f7270
    direct instance of: #$RelationshipType #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$Relation 
    direct generalization of: #$Quantifier #$SententialRelation