Attributes

#$AttributeValue   attribute values (individuals)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
    The collection of all property-like attributes. These are attributes that can be said to be true of an individual intrinsically, and not in relation to other objects in the universe when considered in the appropriate microtheory. Examples include #$BlueColor, #$BelowFreezingOnEarth, #$AFewHoursDuration #$Haploid, and #$BloodTypeO. Attributes such as #$TallPhysicalBuild and #$AverageStrength are not #$AttributeValues, but instead #$RelativeAttributeValues. All instances ATT of #$AttributeValue must make sense as the second argument for some thing THING in (#$hasAttributes THING ATT). The number 6 and instances of #$GenericQuantity such as #$HighToVeryHigh are not elements of #$AttributeValue.
    guid: bd5880c5-9c29-11b1-9dad-c379636f7270
    direct instance of: #$ObjectType #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$IntangibleIndividual 
    direct generalization of: #$Flammability #$Qualifier #$GenericAttribute #$ColorTingeAttribute #$AttributePointValue #$LocationStateAttribute #$CycLAssertionDirection #$ReformulatorRuleProperty #$SocialOrEconomicAttribute

#$AttributeType   types of attribute    **GAFs NOT REVIEWED**

    A collection of collections. Each element of #$AttributeType is a collection of either attributes or relative attributes. Each element of #$AttributeType is a subset either of #$AttributeValue (q.v.) or #$RelativeAttributeValue. Examples include #$SensoryAttribute #$BodyPartPosition, #$RelationalAttribute, #$Texture, and many more.
    guid: bd590364-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SecondOrderCollection #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$ObjectType 
    direct generalization of: #$PartialOrderAttributeType #$IllocutionaryForceType #$CompositeScalarIntervalType #$LinearOrderAttributeType #$SiblingDisjointAttributeType

#$hasAttributes   trait (attribute predicate) (binary predicate) (CycL predicate)    **GAFs NOT REVIEWED**

    A very general predicate that relates a thing to an attribute or property (see #$AttributeValue) that it has. (#$hasAttributes THING ATT) means that ATT characterizes THING. There are a large number of more specialized predicates in CycL that represent more specific ways in which an attribute might characterize a thing; such predicates should be used instead of #$hasAttributes when possible. Thus #$mainColorOfObject is preferrable to #$hasAttributes for stating that a physical object has a particular main color. See also #$AttributeType.
    guid: bd58d1f6-9c29-11b1-9dad-c379636f7270
    direct instance of: #$IndividualLevelPredicate #$BinaryAttributePredicate

#$genlAttributes   genl attributes

    An instance of #$TaxonomicSlot and a specialization of #$generalizations. #$genlAttributes can be used to relate a more-specific instance of #$AttributeValue to other instances that are correlatively more-general. (#$genlAttributes SPEC-ATT GENL-ATT) means that SPEC-ATT generalizes to GENL-ATT in the sense that anything that possesses the former attribute possesses the latter as well. That is, for any THING, (#$hasAttributes THING SPEC-ATT) implies (#$hasAttributes THING GENL-ATT). For example, (#$genlAttributes #$SilverColor #$Grayish) means that anything that is silver-colored is also grayish.
    guid: bd588072-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$TaxonomicSlot #$DefinitionalPredicate #$RuleMacroPredicate #$ReflexiveBinaryPredicate #$IntangibleObjectPredicate #$TransitiveBinaryPredicate
    direct specialization of: #$generalizations

#$negationAttribute   negation attribute

    This predicate relates attributes that are mutually incompatible. (#$negationAttribute ATT1 ATT2) means nothing has, or could have, both ATT1 and ATT2 as attributes at the same time. This implies more than mere material non-coincidence (e.g. being a 5-star restaurant and being colored hot-pink are _not_ negation-attributes, even if there happen to be no hot-pink 5-star restaurants in existence); but #$negationAttribute does subsume both physical and logical (or conceptual ) incompatibility between attributes. Note that it is presupposed that ATT1 and ATT2 are distinct. (Otherwise, any self-contradictory or impossible-to-have attribute would trivially qualify as a negation-attribute of itself, and #$negationAttribute could not be considered an #$IrreflexiveBinaryPredicate.)
    guid: bd58a5b5-9c29-11b1-9dad-c379636f7270
    direct instance of: #$OpenCycDefinitionalPredicate #$PossibleDefinitionalPredicate #$SymmetricBinaryPredicate #$IrreflexiveBinaryPredicate
    direct specialization of: #$different

#$oppositeAttributes   opposite attributes

    This specialization of #$negationAttribute (q.v.) relates incompatible attributes that are direct opposites of each other. (#$oppositeAttributes ATTR1 ATTR2) means that ATTR1 is the directly opposite #$AttributeValue of ATTR2 (and vice versa). The sense of opposite intended here is intuitively familiar, but difficult to define precisely. In some cases, ATTR1 and ATTR2 will constitute the only two instances of a certain #$AttributeType ATTRTYPE, and there is a certain natural class of things ATTRTYPERANGE each member of which has ATTR1 if and only if it fails to have ATTR2; e.g. any device that is operational and in the #$attributeRange of #$DeviceOn and #$DeviceOff will have one of these attributes iff it does not have the other. In other cases, ATTR1 and ATTR2 will be instances of an ATTRTYPE that has other instances as well, but is structured such that ATTR1 and ATTR2 are maximally different from or diametrically opposed to each other with respect to their positions in this structure; e.g with respect to the instances of #$GeographicalDirection-General, #$North-Generally and #$South-Generally are opposites.
    guid: bd58a37b-9c29-11b1-9dad-c379636f7270
    direct instance of: #$DefinitionalPredicate #$StrictlyFunctionalSlot #$AntiTransitiveBinaryPredicate #$SymmetricBinaryPredicate
    direct specialization of: #$negationAttribute

#$UnorderedAttributeType   unordered attribute type    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    A collection of collections and a specialization of #$AttributeType. Each instance ATTTYPE of #$UnorderedAttributeType is a collection of attributes having the following property: for any two instances ATT1 and ATT2 of ATTTYPE, neither (#$followingValue ATT1 ATT2) nor (#$followingValue ATT2 ATT1) holds. In other words, any two instances of ATTTYPE are incommensurable with each other. Instances of #$UnorderedAttributeType include #$GenderOfLivingThing and #$HumanSkinColor.
    guid: bd58d593-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SiblingDisjointCollectionType #$SecondOrderCollection #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$ObjectType 

#$PrimitiveScalarIntervalType   primitive attribute types

    A collection of collections. Each instance of #$PrimitiveScalarIntervalType is a specialization of #$ScalarInterval whose instances are totally ordered by some relation (See #$TotallyOrderedCollection). Moreover, each instance of #$PrimitiveScalarIntervalType is a type of quantity (such as mass) that is not derived from other quantities. Instances of #$PrimitiveScalarIntervalType include #$Time-Quantity, #$Mass, and #$Happiness.
    guid: bd58812a-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SecondOrderCollection
    direct specialization of: #$TotallyOrderedScalarIntervalType 
    direct generalization of: #$ScriptPerformanceAttributeType #$FundamentalNumericScalarIntervalType #$FeelingType #$SensoryReactionType

#$GenericAttribute   generic attributes    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    guid: bf2df9a8-9c29-11b1-9dad-c379636f7270
    direct instance of: #$ObjectType #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$AttributeValue 

#$CompositeScalarInterval   composite scalar intervals    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    A specialization of #$ScalarInterval. Each instance of #$CompositeScalarInterval is an attribute that is essentially a vector with many dimensions. Instances of #$Color are good examples; colors have intensity, hue, and saturation as independent dimensions.
    guid: bd58d8d8-9c29-11b1-9dad-c379636f7270
    direct instance of: #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$ScalarInterval 

#$CompositeScalarIntervalType   composite attribute types    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    A collection of collections. Every instance of #$CompositeScalarIntervalType is a specialization of #$CompositeScalarInterval (q.v.).
    guid: bd588238-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SecondOrderCollection
    direct specialization of: #$ObjectType 

#$primitiveAttributeTypes   primitive attribute types (binary predicate) (CycL predicate) (relationship)    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    The predicate #$primitiveAttributeTypes is used to relate a type of complex attribute to its basic components. (#$primitiveAttributeTypes COMP PRIM) means that PRIM is an instance of #$PrimitiveAttributeType that makes up the #$CompositeAttributeType, COMP. PRIM can be thought of as one axis for the composite scale. For example, hue, intensity, and saturation are each a primitive scale for the composite attribute `color'. Another case: #$Speed is a primitive component of the composite attribute #$VelocityVector.
    guid: bd58cb9a-9c29-11b1-9dad-c379636f7270
    direct instance of: #$BinaryPredicate

#$DerivedNumericScalarIntervalType   types of derived numeric scalar interval

    A collection of collections. Each instance of #$DerivedNumericScalarIntervalType is a collection of numerically measurable #$ScalarIntervals whose units are complex (that is, whose units are derived from some more basic units of measure). Instances include #$Volume, #$Area, and #$Acceleration. See also the related collection #$FundamentalNumericScalarIntervalType.
    guid: bd58dae0-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SiblingDisjointCollectionType #$SecondOrderCollection #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$MeasurableScalarIntervalType 
    direct generalization of: #$MaterialStrengthType

#$MeasurableScalarIntervalType   types of measurable scalar interval    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    A collection of collections. Each instance of #$MeasurableScalarIntervalType is a collection of #$ScalarIntervals which are quantifiable (i.e., they can be assigned a numeric value). Instances of #$MeasurableScalarIntervalType include #$RateOfRotation, #$ConcentrationPerVolume, and #$Time-Quantity.
    guid: bd58d9b3-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SecondOrderCollection #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$TotallyOrderedScalarIntervalType 
    direct generalization of: #$IntegerTypeByRange #$FundamentalNumericScalarIntervalType #$DerivedNumericScalarIntervalType

#$SiblingDisjointAttributeType   types of sibling disjoint attribute    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**

    A collection of collections. Each instance of #$SiblingDisjointAttributeType is a collection of attributes. If COL is such a collection, then nothing can have two instances of COL as attributes unless those two instances are related in a #$genlAttributes relationship to each other. For example, #$MaritalStatusOfPeople is an instance of #$SiblingDisjointAttributeType; no person can have (at the same time) the #$maritalStatus #$Married and the #$maritalStatus #$Single. However, a person could have both the status #$Single and the status #$Divorced, if #$Single is a #$genlAttributes of #$Divorced. See also #$SiblingDisjointCollectionType.
    guid: bd590951-9c29-11b1-9dad-c379636f7270
    direct instance of: #$SecondOrderCollection #$AtemporalNecessarilyEssentialCollectionType
    direct specialization of: #$ObjectType