Argument Type

Argument-type predicates are used to constrain the arguments of all relations, including predicates and functions. For each argument position that a relation takes, it must have an ``arg-isa'' for that position, even if it also has an ``arg-genls'' for the same position.
#$arg1Isa   arg 1 isa

    A binary #$ArgIsaPredicate (q.v.). (#$arg1Isa RELN COL) means that semantic well-formedness requires that anything given as the first argument to RELN must be an instance of COL. That is, (RELN ARG1 ...) is semantically well-formed only if (#$isa ARG1 COL) holds. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its specializations. See #$argIsa for a similar but more flexible ternary predicate.
    guid: bd588118-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate

#$arg2Isa   arg 2 isa

    A binary #$ArgIsaPredicate (q.v.). (#$arg2Isa RELN COL) means that semantic well-formedness requires that anything given as the second argument to RELN must be an instance of COL. That is, (RELN ARG1 ARG2 ...) is semantically well-formed only if (#$isa ARG2 COL) holds. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its specializations. See #$argIsa for a similar but more flexible ternary predicate.
    guid: bd588117-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate

#$arg3Isa   arg 3 isa

    A binary #$ArgIsaPredicate (q.v.). (#$arg3Isa RELN COL) means that semantic well-formedness requires that anything given as the third argument to RELN must be an instance of COL. That is, (RELN ARG1 ARG2 ARG3 ...) is semantically well-formed only if (#$isa ARG3 COL) holds. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its specializations. See #$argIsa for a similar but more flexible ternary predicate.
    guid: bd588116-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate

#$arg4Isa   arg 4 isa

    A binary #$ArgIsaPredicate (q.v.). (#$arg4Isa RELN COL) means that semantic well-formedness requires that anything given as the fourth argument to RELN must be an instance of COL. That is, (RELN ARG1 ARG2 ARG3 ARG4 ...) is semantically well-formed only if (#$isa ARG4 COL) holds. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its specializations. See #$argIsa for a similar but more flexible ternary predicate.
    guid: bd588115-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate

#$arg5Isa   arg 5 isa

    A binary #$ArgIsaPredicate (q.v.). (#$arg5Isa RELN COL) means that semantic well-formedness requires that anything given as the fifth argument to RELN must be an instance of COL. That is, (RELN ARG1 ARG2 ARG3 ARG4 ARG5 ...) is semantically well-formed only if (#$isa ARG5 COL) holds. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its specializations. See #$argIsa for a similar but more flexible ternary predicate.
    guid: bd588114-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate

#$argsIsa   args isa

    A binary #$ArgIsaPredicate (q.v.) that is used to put a specified #$isa based argument-type constraint on all of a given relation's argument-places at once. (#$argsIsa RELN COL) means that semantic well-formedness requires that each argument to which RELN is applied (regardless of argument-place) be an instance of COL. For example, `(#$argsIsa #$PlusFn #$ScalarInterval)' means that the function #$PlusFn must only be applied to scalar intervals. #$argsIsa is particularly useful for constraining (any and all of) the arguments to a #$VariableArityRelation (the preceding example being a case in point); though #$argsIsa may be applied to fixed-arity relations as well. For an explanation of semantic well-formedness, see #$CycLExpression-Assertible and its immediate specializations. See also #$argsGenl.
    guid: bd58803d-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgIsaBinaryPredicate