## Cyc Fundamental Vocabulary

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

### Basics

#$Thing things

> #$Thing is the universal collection : the collection which, by definition, contains everything there is. Every thing in the Cyc ontology -- every #$Individual (of any kind), every #$Set-Mathematical, and every #$Collection -- is an instance of (see #$isa) #$Thing. Similarly, every collection is a subcollection of (see #$genls) #$Thing. Trivially, #$Thing is both an instance of and a subcollection of itself, and is not a subcollection of any other collection. (Note that the above reference to every thing in the Cyc ontology is _not_ meant to be limited to things actually _reified_ in the Cyc system, but includes (e.g.) every instance -- reified or not, known or not -- of every collection recognized by Cyc.)
> guid: bd5880f4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$VariableOrderCollection #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of:
> direct generalization of: #$PartiallyTangible #$Collection #$AttributeValue #$LogicalTruthUnionConstant #$CoreUnionConstant #$CoreImplementationConstant #$DirectedAcyclicPathSystem #$DirectedPathSystem #$BidirectedPathSystem #$Tree-PathSystem #$SimplePathSystem #$ConnectedPathSystem #$Semi-DirectedPathSystem #$PointFinitePathSystem #$PathSystem #$IndeterminateTerm #$TheTerm #$PartiallyIntangible #$HLIndexedTerm #$ELNonAtomicTerm-Assertible #$CycLClosedAtomicTerm #$PublicConstant-DefinitionalGAFsOK #$CycLNonAtomicTerm-Assertible #$SubLListOfStrings #$SubLSymbol #$LogicalTruthImplementationConstant #$CycLAtomicTerm #$SubLTemplate #$ELNonAtomicTerm-Askable #$ProgramCondition #$LogicalTruthConstant #$HLVariable #$SubLExpression #$CycELVariableList #$CycLNonAtomicTerm-Askable #$Path-Generic #$CycLVariable #$SkolemTerm #$SubLNonVariableSymbol #$CycLConstant #$ProposedPublicConstant-DefinitionalGAFsOK #$SubLCharacter #$CoreConstant #$PublicConstant #$ProposedPublicConstant #$ProposedPublicConstant-CommentOK #$SubLAtomicTerm #$CycLReifiableNonAtomicTerm #$ReformulationDirectionSpecification #$NLTerm #$SetOrCollection #$CycLRepresentedTerm #$ReformulatorTemplate #$CycSubjectClump #$MathematicalThing #$PublicConstant-CommentOK #$CycLRepresentedAtomicTerm #$Path-Cyclic #$SubLListOrAtom #$CycLReifiedDenotationalTerm #$SubLList #$ELVariable #$ReformulatorHighlyRelevantFORT #$ELReifiableDenotationalTerm #$CycLClosedDenotationalTerm #$SkolemConstant #$SubLAtom #$ProposedPublicConstant-NL #$CycLNonAtomicTerm-ClosedFunctor #$ELNonAtomicTerm #$CycLOpenDenotationalTerm #$HLNonAtomicReifiedTerm #$DocumentationConstant #$CycLDenotationalTerm #$CycLNonAtomicTerm #$HLReifiedDenotationalTerm #$HLExpression #$CycLIndexedTerm #$CycLFormula #$IndexicalConcept #$TestingConstant #$ReformulatorIrrelevantFORT #$ELExpression #$CycLOpenExpression #$CycLTerm #$CycLExpression #$CycLClosedExpression #$IDObject #$Intangible #$SubLVariable #$CycLUnreifiedReifiableNonAtomicTerm #$CycLGenericRelationFormula #$ProbabilisticCycLConstant #$Individual #$SimpleSegmentOfPath #$ELFormula #$HLReifiedFormula #$CustomaryPathCycLConstant #$TermPhrasesConstraint #$CycLClosedFormula #$PathSystemCycLConstant #$SubLKeyword #$MathematicalOrComputationalThing #$CycLOpenFormula #$ELTemplate #$ELExpression-Assertible #$CycLReifiableDenotationalTerm #$CycLNonAtomicReifiedTerm #$UniqueID #$CycLExpression-Assertible #$SubLAtomWithValue #$CycLClosedNonAtomicTerm #$ELExpression-Askable #$NLMorphologyTerm #$CycLOpenNonAtomicTerm #$CycLExpression-Askable

#$Individual individuals

> #$Individual is the collection of all individuals: things that are _not_ sets or collections. Individuals might be concrete or abstract, and include (among other things) physical objects, events, numbers, relations, and groups. An instance of #$Individual might have parts or structure (including discontinuous parts); but _no_ individual has elements or subsets (see #$elementOf and #$subsetOf). Thus, an individual that has parts (e.g. #$physicalParts or #$groupMembers) is _not_ the same thing as either the set or the collection containing those same parts. For example, your car is an individual, but the collection of all the parts of your car is not an individual but an instance of #$Collection. This collection (unlike the car itself) is abstract: it doesn't have a location, mass, or a top speed; but it does have instances, subcollections, and supercollections. In partial contrast, the #$Group (q.v.) of parts of your car (while also not the same thing as the car itself) _is_ an individual that has location and mass. Another example: A given company, the group consisting of all the company's employees, the collection of those employees, and the set of those employees are four distinct things, and only the first two are individuals.
> guid: bd58da02-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$FirstOrderCollection
> direct specialization of: #$Thing
> direct generalization of: #$NonNegativeInteger #$MovementThroughAir #$CelestialObject #$UMLSyntaxObject #$Spheroid #$ConnectedPhysicalPathSystem #$Counting #$OrganizationWithClients #$KnowledgePackage-CW #$FunctionalAlgorithm #$WorldModelingProgramObject #$OutdoorRecreationArea #$NumberObject #$Utterance-IBT #$SourceCodePackage #$DataStream #$LispAtom #$LispObject #$StringObject #$LispSymbol #$LispListObject #$LispConsObject #$FloatObject #$USCity #$UnitedStatesPerson #$IndependentCountry #$River #$LegalDocument #$Liquid-StateOfMatter #$Abbreviation #$ProperNameString #$MarineCorps #$Navy #$Army-BranchOfService #$CharacterString #$IDString #$DisappearingFromSight #$SolidSurfacePathThroughAir #$BiologicalMetabolismEvent #$VisitingSomeone #$InformationUpdating #$Plastic #$FoodOrDrink #$PrecipitationProcess #$SemiconductorStuff #$RoadVehicle-InternalCombustionEngine #$December #$MineralOre #$ReformulatorMode #$CompositeTangibleAndIntangibleObject #$AtomicSymbol-Abstract #$ThreeStoryBuilding #$Proposition #$SocialRitual #$Surface-Intangible #$SelfPoweredDevice #$GeometricallyDescribableThing-Intangible #$HumidSubtropicalClimateCycle #$Mob #$SymbolicThing #$ContinuousPhysicalContactSituation #$Signal #$DenominalAdjectiveProducingSuffix #$TransferringOwnership #$Array-DataStructure #$Joint-AnimalBodyPart #$Drink #$CylindricalHollowObject #$LandTopographicalFeature #$QuasiOrdering #$UnproductiveLexicalAffix #$TurningOnPoweredDevice #$MilitaryOfficer #$ELSentenceTemplate #$Watercraft-Small #$ProgramVariable #$Vermin #$WindProcess #$TimePoint #$AuxVerb #$Splitting #$PsychologicalAilment #$SpaceInAHOC #$PipeEndToCavityJunction #$Conversion-WordFormationProcess #$Ambulation #$PartOfRoomInAConstruction #$ExternalSurface-WholeThing #$NonProfitCorporation #$ConstructionRepairOrMaintenanceOrganization #$VisualInformationConveyingAct #$GammaRay #$ShelterConstruction #$Polygon3DShaped #$ComputerInterfaceDevice #$WheeledTransportationDevice #$VisualCommunicating #$Fish #$PhysicalSynthesis #$StateCapital #$BasementLevelInAConstruction #$Embryo #$Product #$FoodOrDrinkPreparationDevice #$Cyc-BasedProject #$MedicalCareEvent #$DenominalAdjective #$Contemptuous #$ConveyingMaterials #$Holiday #$Conversation #$PresidentOfOrganization #$NounProducingAffix #$SheetShaped #$Killing-Biological #$FreeSpaceContent #$SupernaturalBeing #$PackagedProduct #$WHPronoun-Object #$HumanResidence #$CanineAnimal #$Concrete #$LocalOrganization #$Determiner-ClassD #$StaticSituation #$NongradableAdjective #$GivingSomething #$IBOCreation #$Cloudy #$November #$Multigraph #$Organization #$NervousSystem #$SpaceLine-Empirical #$TwoStoryBuilding #$EdgeOnObject #$MilitaryAirplane #$Dog #$Street-Generic #$Crevice #$DeAdjectivalNounProducingSuffix #$Stealing-Generic #$HostileSocialAction #$SolidTangibleThing #$Building #$Surface-Physical #$PlantPart #$DairyProduct #$TreeOrdering #$FoodVessel #$FlightlessBird #$MarinePersonnel #$Noun #$AnthraxInfection #$ConstructionVehicle #$Paying #$BusinessPerson #$SocialBeing #$MainVerb #$NamedRoadway #$SoftwareVersionSeries #$NTupleOfIntervals #$LocomotionProcess #$Prescriber #$HexalateralObject #$MeasuringDevice #$InsideSurface #$GiftGiving #$DeadLanguage #$Perceiving #$Ellipse #$NonProfitEmployee #$CompoundWord #$ChemicalInteraction #$Vertebrate #$PoliticalOrganization #$NonlexicalLinguisticObject #$WakingUpFromSleep #$HarmingAnAgent #$Molecule #$FoodProfessional #$Religion #$Music #$MonetaryExchangeOfUserRights #$DenominalNoun #$Fearful #$BodilyFunctionEvent #$FixedStructure #$AdjectiveProducingAffix #$BankDebitCard #$AttackByComputerOperation #$MilitaryWatercraft #$AnimalSound #$WHPronoun-Subject #$HumanlyOccupiedSpatialObject #$WHDeterminer #$Determiner-Definite #$Vegetable-Food #$BiologicalDestructionEvent #$InformationAdding #$ClothingOutfit #$July #$AdultAnimal #$SecretionEvent #$TruthValue #$CirculatorySystem #$StockHoldings #$Pentagon #$SteamingFood #$Microorganism #$HumidContinentalClimateCycle #$SellingOrganization #$SmokingFood #$GrillingFood #$EntertainmentOrArtsProfessional #$DeverbalNounProducingSuffix #$AppropriatingSomething #$ChangingDeviceState #$OrganizationWithBusinessCustomers #$InfectionTransmissionEvent #$WaterTransportationDevice #$FungalInfection #$ClothingAccessory #$AirForcePersonnel #$Dock #$Farmer #$ShippingLocation #$CombustionProcess #$DecompositionProcess #$AstronomicalObject #$SelectingSomething #$Interpreter-Computers #$Layer #$ProfessionalOffice #$Canal #$LeftAndRightSidedObject #$VisualPerception #$FullTimeWorker #$TokenTemplate #$There-Existential #$VisualMark #$Trapezoid #$OrganicStuff #$MilitaryFacility #$ContainerShapedObject #$SociabilityBasedAction #$RootWord #$CloudOfH2O #$Mammal #$NonProfitOrganization #$LifeThreateningCondition #$LexicalWord #$Warplane #$Atom #$DeAdjectivalNoun #$MilitaryVehicle #$Disgusted #$IntentionalMentalEvent #$Food #$AdverbProducingAffix #$Arthropod #$Family-SocialEntity #$FloorInAConstruction #$CropPlant #$Fruit #$AudibleSound #$PossessivePronoun-Pre #$ConstructionArtifact #$DebuggingAComputerProgram #$ChordataPhylum #$PulverizationEvent #$Pharmacist #$Adjective-Ing #$CommercialServiceOrganization #$Determiner-Indefinite #$BiologicalProductionEvent #$EntertainmentEvent #$InformationRemoving #$CalendarMonth #$Format #$PropositionalConceptualWork #$Inform-CommunicationAct #$InsuranceProvider #$Octagon #$TransportationCompany #$DenominalConcreteNounProducingSuffix #$GeneralizedTransfer #$OrganizationWithIndividualCustomers #$AllergicReaction #$Complementizer #$GovernmentEmployee #$HelpingAnAgent #$Workplace #$LegalCorporation #$Line-Straight #$RegionalGovernment #$FrontAndBackSidedObject #$Penguin #$AdministrativeStaffPerson #$Protrusion #$FoodAndBeverageOrganization #$Situation #$Snowy #$CuttingDevice #$RegularDecagon #$DrugPrescription #$Acknowledging-CommunicationAct #$Consultant #$ArmyPersonnel #$AtomicNucleus #$SimpleWord #$ScheduleDocument #$State-UnitedStates #$PregnancyEndingEvent #$CongenitalCondition #$LawEnforcementOfficer #$Railway #$MoneyTransaction #$BlimpTheAirship #$HaveAux #$MensClothing #$Angle #$FaceOfAnimal #$Finger #$Planet #$Bored #$IntentionalMentalSituation #$FallingProcess #$Thinking #$Cell #$VerbProducingAffix #$ReligiousOrganization #$Helix #$LocomotionEvent #$PreparingFoodItem #$PPCompFrame #$Hendecagon #$FluidTangibleThing #$Athlete #$MoneraKingdom #$RetailStore #$VerbParticle #$Adjective-Ed #$Determiner-ClassA #$DrinkingEvent #$IBTRecoding #$Emission #$SeparatingAMixture #$CalendarWeek #$Date #$RespiratorySystem #$Tuple #$Ritual #$ViviparousAnimal #$MentalSituation #$Decagon #$DietaryDeficiencyCondition #$HumanChild #$Starvation #$Gamete #$Dress #$BranchOfMilitaryService #$ArtificialMaterial #$DenominalAbstractNounProducingSuffix #$Constructing #$Respiration #$Determiner-Central #$MechanicalDevice #$TotalOrdering #$ProgramStepSequence #$Determiner #$DestructionEvent #$PartTimeWorker #$Partnership #$PlumbingFixture #$Arc #$GovernmentOfCountry #$TopAndBottomSidedObject #$Translation-Complete #$Investigation #$HandTool #$FreshWaterLake #$ScalarInterval #$WeaponSystem #$ProgramRelationalOperator #$EquilateralShaped #$Function-MathematicalObject #$SubAtomicParticle #$SportsOrganization #$InflectionalSuffixation #$Fog #$Clothing-Generic #$TerminalPhysiologicalCondition #$HumanOccupationConstructObject #$FirewallProgram #$WavePropagation #$BeAux #$PersonalProduct #$Dissatisfied #$MentalSituation-SingleSubject #$Organism-Whole #$DeverbalAffix #$MailingLocation #$SpreadingASubstance #$PortableObject #$EndingAnAgreement #$ChainOrganization #$OpenClassWord #$Semicircle #$Determiner-ClassB #$NavalShipBase #$AccessingAnIBT #$HumanAccessibleIBO #$SimpleGraph-GraphTheoretic #$TransferOfControl #$DynamicInfoSource #$DigestiveSystem #$AmorphousThing #$Competition #$AttributeValue #$RoomInAConstruction #$Hexagon #$ControllingAPhysicalDevice #$HumanInfant #$PreservingFood #$Skirt #$EntertainmentOrRecreationOrganization #$IBTGeneration #$VerbProducingSuffix #$LiquidTangibleThing #$Pharmacy #$PartialOrdering #$ProgramStep #$TenderObject #$Punctuation-SP #$PublicSectorEmployee #$Learning #$DistributiveLattice #$Pump-Generic #$AirlineCompany #$SalariedWorker #$TwoDimensionalGeometricThing #$CalendarQuarter #$BilateralObject #$Employee #$UnitVector-Precise #$Device-UserControlled #$Bus-RoadVehicle #$VisualImage #$OrganizationalTransfer #$WordProcessingProgram-Interactive #$ProgramArithmeticOperator #$SuffixRule-Inflectional #$RegularPentagonShaped #$Vegetable-Plant #$LegalProfessional #$DerivationalSuffixation #$Evening #$UrbanArea #$HumidClimateCycle #$SmellPerception #$ExchangeOfUserRights #$SeaWater #$DoAux #$SeatingDevice #$Calm #$UsingADevice #$ProgramSpecification #$InflatableBoat #$DurableGood #$EukaryoticCell #$Hospital #$Midday #$Muscle #$Agent-Generic #$Amphibian #$ModernNavalShip #$Business #$SeparationEvent #$MakingSomethingAvailable #$PhysiologicalProcess #$ShapeChangeEvent #$MilitaryBase-Grounds #$Renting #$RequestingInformation #$SpreadingStuffOntoSurface #$Book-CW #$HumanAccessibleIBT #$WeatherEvent #$FlowPath #$Cyclist #$Nose #$SpacePoint #$SocialGathering #$OviparousAnimal #$Quadrilateral #$CubeShape #$MonocotSubclass #$SaltingFood #$AdverbProducingSuffix #$ShapingSomething #$AirportOrganization #$ManufacturingOrganization #$AirRespiration #$MilitaryOrganization #$RelationalStructure #$PersonalCheck #$Glass #$Objecting-CommunicationAct #$FinancialAccountTenderObject #$Modal #$ModularLattice #$Swallowing #$PurposefulMentalActivity #$InternalCombustionPoweredDevice #$Leader #$Airport-Physical #$HourlyWorker #$Drying #$SemiSolidTangibleThing #$Translation-Flow #$Circle #$Aux-Negated #$Observing #$Conveyance #$EnlistedPerson #$TemporaryChangeOfUserRights #$SkilledActivity #$InsuranceOrganization #$Artifact #$OrganizationalTransferOut #$WordProcessingProgram #$RotaryWingAircraft #$UnaryProgramOperator #$SuffixRule-Derivational #$RegularOctagonShaped #$DeciduousPlant #$EcologicalRegion #$ClientProgram #$VisualInformationBearingThing #$FloweryPlant #$Suffixation #$HotAirBalloon #$MedicalCareProfessional #$WomensClothing #$HumanShelterConstruction #$Sentence #$AnimalMigration #$Disappointed #$Soil-Generic #$ProjectileMotion #$ProkaryoticCell #$AffixRule-Derivational #$MedicalCareOrganization #$Condiment #$Evaporating #$GroundHasPermaFrost #$RetailOrganization #$LightingDevice #$Ship #$DeAdjectivalSuffix #$MakingAnAgreement #$PlantProduct #$DiagnosingAndRepairingSomething #$GroundsOfOrganization #$TranslationAlongInternalLivingStructure #$PhysicalTransformationProcess #$IBTCopying #$InformationBearingWavePropagation #$NonVerbalCommunicating #$FluidConduit #$SpaceLine #$OneStoryBuilding #$Game #$Disc3DShape #$Famine #$DomesticPet #$Vector-Precise #$Twilight #$AdjectiveProducingSuffix #$PathArtifact #$Perceiving-Voluntary #$BacterialInfection #$CreditCard #$Preposition #$AcademicProfessional #$AtLeastPartiallyMentalEvent #$Lattice-LatticeTheoretic #$ArmoredVehicle-Heavy #$ProperNoun #$PostalService #$Carnivore #$SaleByCheck #$Gaseous-StateOfMatter #$GeographicalDirection #$BodyOfWater-Large #$PossessiveMarker-Sg #$ModernMilitaryOrganization #$Translation-NoLocationChange #$OperatingSystemKernel #$HealthcareOrganization #$CarnivoreOrder #$OrganizationalTransferIn #$MilitaryLandPlatform #$BinaryProgramOperator #$PrefixRule #$RegularHexagon #$TemperateClimateCycle #$Hacking #$PhysicalSeries #$InflectionalPrefixation #$CloudlikeObject #$Mineral #$SalesPerson #$FlatPhysicalSurface #$EconomicEvent #$OrganizationWithIndividualClients #$CargoShip #$Mixture #$Event-Organized #$FusionEvent #$Digit-AnatomicalPart #$Head-Vertebrate #$Excited #$UsingAnObject #$DevisedStructuredActivity #$Dissolving #$GeographicalThing-Intangible #$Forest #$PhysicalFilter #$GovernmentMilitaryOrganization #$BusinessRelationshipActivity #$BeliefSystem #$DeverbalSuffix #$Passport #$WagingWar #$BiologicalIntakeEvent #$Wood #$SpreadingOntoSurface #$SpokenCommunicating #$PortalCovering #$Freezing #$DevisedPracticeOrWork #$Rectangular3DShape #$MakingFacialExpression #$Poikilotherm #$Rhomboid #$TrainCar #$ComputerFile-Abstract #$BuyingActivity #$Microwaving #$NaturalTangibleStuff #$UltraSound #$NounProducingSuffix #$Breathing #$FruitAndVegetableFood #$NonPublishedText #$Perceiving-Involuntary #$Adverb #$WellOrdering #$CreationOrDestructionEvent #$IncurringAnInjury #$FoodServiceOrganization #$OceanLiner #$Herbivore #$ChemicalReaction #$ConeShape #$AnimalUtterance-IBT #$CavityWithWalls #$BookGeneric-CW #$Translation-Periodic #$FinancialAssetHoldings #$TransportationOrganization #$EnergyTransferEvent #$SuffixRule #$Linear-Straight #$HumanActivity #$LightningEvent #$FixedWingAircraft #$PrivateSectorEmployee #$HeatProductionProcess #$Series #$EnglishInflectionalSuffix #$ActsCommonlyConsideredCriminal #$ModernHumanResidence #$DrugTherapy #$Instructions #$OrganizationWithBusinessClients #$Air #$CycLSentence-Assertible #$SportsTeam #$CarryingWhileLocomoting #$AttackOnObject #$UnalloyedMetal #$Mouth #$Triangle #$TrackedVehicle #$Proud #$CrimeDetection #$NounPhraseModifyingFrame #$Secretion-Bodily #$GeographicalThing #$KnotShape #$HarvestingAPlant #$DenominalSuffix #$PoliticalDispute #$CerealPlant #$TakingOffAClothingItem #$GroupTransferOut #$EcholocationPerception #$EnergyConversionProcess #$GenerationOrConversionEvent #$ThreeDimensionalGeometricThing #$Homeotherm #$PartiallyTangibleProduct #$Rhombus #$SalesActivity #$JuvenileAnimal #$Relation #$AnimalWalkingProcess #$SoftwareParameter #$EdibleStuffComposite #$CalendarMinute #$Watercraft #$Adjective #$Bush #$Arm #$TotalOrdering-Strict #$IncurringDamage #$Dawn #$Primate #$CommercialFishingBoat #$EvergreenPlant #$SystemCondition #$GolfCart #$VoluntaryBodyMovement #$Limb-AnimalBodyPart #$PublicOfficial #$FluidFlowEvent #$IntransitiveFrame #$InformationBearingThing #$HumanResidenceArea #$Motorboat #$TravelOrganization #$Container-PressureBarrier #$PartOfAnHSC #$Platform-Military #$AffixRule #$Linear-Planar #$ShippingOrganization #$Situation-Temporal #$NavyPersonnel #$ClausalComplementFrame #$InflectionalSuffix #$ActivityTypeFocusGroup #$Thursday #$AirplaneRunway #$TimeOfDay-AM #$Foggy #$CausingAnotherObjectsTranslationalMotion #$ChronicCondition #$CycLSentence-Askable #$HoldingAnObject #$Appendage-AnimalBodyPart #$Rectangle-2D #$Frustrated #$Condensing #$MountableTransporter #$Conveyance-Stationary #$ComputerUser #$DisputeEvent #$Plasma-StateOfMatter #$GroupTransferIn #$GroupingObjects #$BiologicalDecompositionEvent #$DirectedAcyclicGraph #$ApplyingStuffToSurface #$RingShape #$FluidReservoir #$HomogeneousSpaceRegion #$SingleResidenceUnit #$ReligiousHoliday #$CountNoun-Neuter #$Engine #$Parallelogram #$Nonagon #$ApplyingSomethingToSurface #$DegenerationEvent #$HumanCyclist #$ArrangementOfLikeObjects #$Conjunction #$PublishedMaterial #$CalendarCentury #$DecompositionEvent #$CountNoun #$Hand #$RoundThing #$TreeOrdering-Strict #$Preposition-Of #$TransportingPeople #$Plant-Woody #$Malfunction #$Omnivore #$InvoluntaryBodyMovement #$Roadway #$TextualMaterial #$RainProcess #$MetalAlloy #$FeverInfection #$EmittingSound #$BillingLocation #$FoodUtensil #$Research #$PassivizableFrame #$RoadVehicle #$ViralInfection #$CycTheCollection #$MilitaryEquipment #$LinguisticRuleConstraint #$Linear #$SublimatingToSolid #$WorkingEvent #$Trapping #$ElectricalComponent #$DerivationalSuffix #$Conveying-Stationary #$Friday #$GreetingSomeone #$TimeOfDay-PM #$SnowProcess #$JustificationTruth #$HouseholdAppliance #$BodilyFunctionEvent-Involuntary #$Insect #$MusclePoweredDevice #$InternationalOrganization #$Weapon #$ELAssertion #$Sharing #$HumanOccupationConstruct #$ConductingMedium #$Subway #$Polygon #$Disapproval-CommunicationAct #$CuttingInPieces #$IndividualAgent #$Oil #$InanimateThing #$GenericAdverbPhraseModifyingFrame #$LocatingInIntendedPosition #$ELSentence-Askable #$SocialOccurrence #$Angry #$CleaningImplement #$GroupTransfer #$TakingCareOfSomething #$BiologicalReproductionEvent #$AnimalBodyRegion #$Covering-Object #$SymbolicObject #$Shaft #$ExtendedSpaceRegion #$ConstructionCompany #$Horizon #$Trial #$NationalTaxAgency #$AbstractNounProducingSuffix #$VisualWork #$CerealFood #$CalendarSecond #$LandTransportationDevice #$Database-AbstractContent #$Verb #$Leg #$TubeShape #$PartialOrdering-Strict #$PossessivePronoun #$CeilingOfARoom #$ViolentAction #$Brain #$ActionOnObject #$BodyMovementEvent #$GaseousTangibleThing #$WritingByHand #$MakingAnOralSound #$Diphthong-Vowel #$MeasuringSomething #$Name #$Territory #$Offering-CommunicationAct #$ConvexTangibleObject #$LinguisticRuleElement #$ShapedThing #$Sublimating #$Administrator #$PhysiologicalFunction #$EnglishInflectionalPrefix #$PrecipitationCloud #$PreparingFoodOrDrink #$Wednesday #$Connector #$IDDocument #$FuelPoweredDevice #$RadioWave #$Shoe #$HLAssertion #$Protozoan #$ElectricalConductor #$SubwayStation #$LawEnforcementOrganization #$TransportInvolvingADriver #$ArrangingForSomething #$PhysicalTransformationEvent #$PrefixRule-Derivational #$Language #$ReversibleProcess #$Spiral-3D #$PuttingSomethingSomewhere #$NuclearProduct #$FurniturePiece #$AccountSystem #$HandlingAnObject #$ContractNegotiation #$CombatAircraft #$Relaxed #$ConsumingFoodOrDrink #$CommodityProduct #$DirectedGraph #$TwoOrHigherDimensionalThing #$Chest-BodyPart #$Tool #$StateOfMatterChangeEvent #$HeatingProcess #$SpaceRegion #$InformationGathering #$CountNoun-Masculine #$UnemployedPerson #$Court-Judicial #$NeoClassicalPrefix #$ConcreteNounProducingSuffix #$Information-Content #$Food-ReadyToEat #$ControlledLand #$NationalGovernmentEmployee #$CalendarDecade #$BiologicalDevelopmentEvent #$Airplane #$IndexedInformationSource #$MoneyTransfer #$Preservative-Food #$CylinderShape #$MathematicalOrdering #$RoofOfAConstruction #$SpaceTransportationEvent #$GeometricThing-Localized #$AirForce #$RemovingSomething #$MedicalCareProvider #$Garment #$Monophthong-Vowel #$Trunk-BodyCore #$PossessivePhrase #$CountyGovernment #$Translation-MultiTrajectory #$Motorcycle #$InformationBearingObject #$AbandoningSomething #$CommunicationConvention #$LatitudeLine #$Teaching #$LinguisticRule #$InflectionalPrefix #$Suspension #$Tuesday #$Narrative #$Interjection-SpeechPart #$Translation-RoundTrip #$Bicycle #$WindPoweredDevice #$SolarPoweredDevice #$Lion #$Submarine #$PredicativeFrame #$CycLAtomicSentence #$President-HeadOfGovernmentOrHeadOfState #$CycLAtomicAssertion #$PhysicallyAttackingAnAgent #$Virus #$EntertainmentPerformance #$Metal #$RailroadStation-Physical #$ComputerActivity #$Motion-SolidAgainstSolid #$Square #$ItineraryDocument #$TransportFacility #$Reptile #$Waterfowl #$Traversal #$Grateful #$Frying #$EukaryoticOrganism #$RodShape #$SpreadsheetProgram #$ReceivingAWave #$GeometricThing-Abstract #$ConnectingTogether #$GranularFluid #$Entertainer #$CohabitationUnit #$Evaluating #$FrameForVerbs #$LineSegment #$SoleProprietorship #$WindowPortal #$ExternalOrgan #$Inhaling #$PossessiveMarker-Pl #$FoodIngredientOnly #$HavingAMeal #$Dusk #$NonLeapYear #$PathForWheeledVehicles #$PhysiologicalCondition #$Rowboat #$Torso #$Screw-GenericShape #$MilitaryAircraft #$FixedTerrainGeologicalRegion #$Nutrient #$Ablation #$ConflictEvent #$Bird #$Clothing-WholeBody #$Team #$Affricative-Consonant #$CookingFood #$Device-SingleUser #$LongitudeLine #$Gesture #$SubordinatingConjunction #$GeographicalThing-Intangible-FixedLocation #$WindowThePortalCovering #$Speaking #$TransportationCompany-Provider #$DerivationalPrefix #$PuttingOnAClothingItem #$Monday #$SinglePurposeDevice #$Balloon #$ComputerProgrammer #$HeadOfState #$OuterGarment #$CycLPropositionalSentence #$PhysicalContactSituation #$SolidTangibleProduct #$Joint-Physical #$MigratoryAnimal #$LawEnforcementActivity #$InformationRecordingProcess #$DatabaseServerProgram #$SchoolInstitution-KThrough12 #$BiologicalLivingObject #$TameAnimal #$PureSubstance #$CompositePhysicalAndMentalEvent #$PlaneFigure-Geometrical #$FinancialOrganization #$Minister-Governmental #$HominidaeFamily #$JapanesePerson #$Resentful #$Exercising #$ProjectileLauncher #$SoftwareObject #$SomethingToWear #$PhysicalEvent #$VideoConceptualWork #$CycHLTruthValue #$KoreanPerson #$StrictlyMentalEvent #$FrameForAdjectives #$LinePortion #$Quantifier-SP #$CycLAssertion #$ReligiousEvent #$WarmSeason #$DaytimeWorkingHours #$NumberPrefix #$Exhaling #$PossessiveMarker #$Encrypting #$Action #$CalendarHour #$ConfiguringEvent #$Heart #$Truck #$CycLSentence-ClosedPredicate #$Water-Fresh #$PoliticalEvent #$TouchPerception #$InformationTransferEvent #$HumanSurname #$TemporaryWorker #$IntelligentAgent #$Clothing-Bottom #$Fricative-Consonant #$Soldier #$Translation-SingleTrajectory #$Relation-MathematicalObject #$Sphere #$MakingAGesture #$Writing #$CoordinatingConjunction #$LighterThanAirCraft #$DeVerbalNoun #$ServiceOrganization #$CalendarHalfCentury #$PhysicalContactEvent #$Portal #$EnglishInflectionalAffix #$ArmMovement #$Conveying-Generic #$LeavingAPlace #$Sunday #$NavigationDevice #$LongPants #$ElectronicDevice #$Monument #$PoweredDevice #$StoneStuff #$TranslationAlongASurface #$CycLClosedAtomicSentence #$EmploymentTermination #$FiscalQuarter #$Trajectory #$SpatialThing #$Figure-Geometrical #$Negotiating #$ComputerLanguage #$HappyAgent #$EdgeOnObject-Generic #$SubcategorizationFrame #$Movement-NonPeriodic #$ComplexPhysicalObject #$Movement-TranslationEvent #$MassEMailSending #$HailProcess #$DynamicIndexedInfoSource #$PurposefulPhysicalAction #$CountNoun-Feminine #$TerrestrialDirection #$RegularPolygonShaped #$FrameForAdverbs #$HalfLine-Geometrical #$ServiceEstablishment #$ELSentence-Assertible #$ColdSeason #$Map #$TemporalPrefix #$TerrestrialOrganism #$Solid-StateOfMatter #$CalendarYear #$Train-TransportationDevice #$FieldOfStudy #$HealthProfessional #$ReferenceWork #$DeverbalConcreteNounProducingSuffix #$CooperationEvent #$Automobile #$QualitativeTimeOfDay #$Sonorant-Consonant #$RecoveringFromAilment #$CellPart #$Philosopher #$AdvocacyOrganization #$Translation-NonPeriodic #$ArtObject #$GerundiveNoun #$Seed #$InflectionalAffix #$HeatingDevice #$OrganizationalChart #$MemorialMarker #$KineticEnergyPoweredDevice #$County #$ELSentence #$TransportationDevice-Vehicle #$GenericDeterminerModifyingFrame #$Battle #$Container #$PrecipitationParticle #$GoingToSleep #$HalfPlane #$Eutheria #$ProtectiveSystem #$Nerve #$PublicEvent #$Firewall-Network #$HomoGenus #$Restless #$LegalGovernmentOrganization #$Pronoun #$LegalAgent #$CalendarAutumn #$EMailSending #$ImmediateWeatherProcess #$ComputerHardwareItem #$Event-Localized #$VectorInterval #$GeometricalPoint #$Requesting-CommunicationAct #$QuantifyingIndexical #$TemporalThing #$Spam-UnsolicitedEMail #$LeapYear #$ShatteringEvent #$Dentist #$Oxide #$Determiner-Numeric #$DeverbalAbstractNounProducingSuffix #$MilitaryHardware #$Stop-Consonant #$Sensor #$Translation-LocationChange #$AgentiveNoun #$DegreeGrantingHigherEducationInstitution #$Communicating #$CharacterObject #$Card #$BuildingMaterial #$PhysicalContactLocation #$ClothingItem #$Movement-Periodic #$Character-Abstract #$DerivationalAffix #$NeoClassicalBaseWordForm #$WearingSomething #$Cloth #$CycLClosedSentence #$NonPersonAnimal #$InformationStore #$FiscalYear #$AnimalActivity #$Tundra #$BayesNet #$CycLSentence #$MountainRange #$Ferry #$DefenseSystem #$MorphologicalRuleConstraint-Semantic #$Hopeful #$Plant #$Shell-AnimalBodyPart #$AbstractProgrammingLanguage #$EmittingAWave #$CalendarSpring #$BiologicalEvent #$Currency #$InherentlyVulgarWord #$OrganismPart #$UnitVectorInterval #$Dodecagon #$TransportationDevice #$AboveGroundLevelInAConstruction #$LocativePrefix #$DirectedMultigraph #$ConjunctAdverb #$AquaticOrganism #$OfficialDocument #$January #$MaterialHandling #$Incorporation-Physical #$ShreddingEvent #$Manager #$TrueContinent #$Lung #$Production-Generic #$PayingCasualUseFee #$NLWord-Phonological #$RainySeason #$Cloudless #$Place #$SaleByCreditCard #$Vowel #$Boiling #$ChangeInUserRights #$ComputerFileCopy #$ConventionalWeapon #$PenetratingAComputerNetwork #$RealEstate #$InternalOrgan #$Wagon #$DeskWorker #$DeAdjectivalAbstractNounProducingSuffix #$ContactPointSubOrganization #$EmittingAnObject #$ManipulatingFood #$ContaminationEvent #$StructuredInformationSource #$MilitaryPerson #$Compounding-WordFormationProcess #$HumanOccupationConstructResident #$BaseWordForm #$MedicalPatient #$ShortPants #$PrivatelyHeldOrganization #$Device-UserPowered #$MaleAnimal #$Surface-Generic #$ElectromagneticRadiation #$CycLOpenSentence #$TransportationEvent #$AcademicYear #$RuleTemplate #$TropicalRainForest #$MovementProcess #$IntangibleIndividual #$Student #$GameEvent #$Raindrop #$Decoding #$ComputerPeripheralDevice #$Sea #$AnnualClimateCycle #$Ambulance #$Scientist #$PurposefulAction #$SpatialPathSystem #$MorphologicalRuleConstraint-Categorial #$Sad #$Ocean #$PhysicalCreationOrDestructionEvent #$Modal-Contracted #$CalendarWinter #$WatchingSomething #$ElectricalEvent #$SpatialThing-Localized #$ProgrammingAComputer #$Check-TenderObject #$PhraseStructureConstraint #$Artist #$Heptagon #$Connection-Physical #$PostQuant-SP #$Doorway #$SoundInformationBearingThing #$BalconyLevelInAConstruction #$WinterSeason #$AttitudePrefix #$Paper-IBO #$Number-SP #$LandStuff #$February #$LocomotionEvent-Animal #$PhysicalDevice #$SpacePoint-Empirical #$BlueCollarWorker #$GeographicalPlace-1D #$Helicopter #$Head-AnimalBodyPart #$Ellipsoid #$DrySeason #$GuidingAMovingObject #$EnclosingSomething #$PartiallyCloudCovered #$SexualReproductionEvent #$Melting #$Consonant #$UnintendedLossOfUserRights #$Cracking #$ControlStructure-Physical #$ExternalAnatomicalPart #$IntegerObject #$Clothing-Top #$SingleSiteLocalOrganizationWithClients #$VisualArtifact-CW #$Sliding-Generic #$SomethingAppearingSomewhere #$Party-Celebration #$ComplexWord #$PassingThroughPortal #$Cavity #$TemperatureChangingProcess #$VibrationThroughAMediumSensor #$GenericPost-VerbPhraseModifyingFrame #$Spreadsheet #$Shirt #$Microtheory #$PubliclyHeldOrganization #$NonPoweredDevice #$FemaleAnimal #$Buying #$HigherEducationInstitution #$AcademicQuarter #$PrepositionalPhrase #$Ingesting #$Taiga #$InformationRecordingDevice #$HailStone #$MultiDirectionalCommunication #$Encoding #$BirthEvent #$Translocation #$SpaceInAFixedHOC #$Spacecraft #$CycLRuleAssertion #$FrameForNouns #$ComputationalSystem #$DownloadingAFile #$MorphologicalRuleConstraint #$Jealous #$ArrestingSomeone #$HospitalCareEvent #$Receiving #$PhraseStructureConstraint-Semantic #$CreatingAnArtifact #$WHAdverb #$DoorwayCovering #$Modal-Negated #$MathematicalObject #$SummerSeason #$DegreePrefix #$Hemisphere #$Decrypting #$Cleaning #$IslandOrIslandGroup #$SoftwareObject-Individual #$March #$DeviceRunning #$InanimateObject-Natural #$Researcher #$InternationalWaters #$Configuration #$PersonWithOccupation #$Ear #$PyramidShape #$NLWordForm #$Harbor #$CelestialBody #$EncounteringSomething #$CompletelyCloudCovered #$MakingSomething #$LegalHoliday #$Phoneme #$ProperCountNoun #$LosingUserRights #$Rubbing #$AnatomicalVessel #$InternalAnatomicalPart #$ProgramLogicalOperator #$BorrowingSomething #$InfluencingAnAgent #$DatabaseProgram #$Washing #$RemovingSomethingByMovingIt #$DerivedWord #$CoolingProcess #$UnitedStatesPresident #$ElectroMagneticRadiationSensor #$GeoculturalRegion #$DirectedTranslation #$GenericPre-VerbPhraseModifyingFrame #$Rainwater #$RecordedVideoProduct #$Gusty #$CategoryChangingPrefix #$AcademicSemester #$NounPhrase #$SubtropicalForest #$Snowflake #$Plain-Topographical #$AutoDealership #$RoadWorkVehicle #$CycLGAFAssertion #$Side #$EmptyRegion-Generic #$HardwareTool #$MeetingSomeone #$Navigating #$CommunicationAct-Single #$WordConstituent #$Satisfied #$Resting-Relaxing #$ElectricalDevice #$Verb-Contracted #$KnowledgeBase #$PartOfBuilding #$DomesticatedAnimal #$DrugProduct #$LookingForAThingOrTypeOfThing #$Artifact-NonAgentive #$Artifact-Intangible #$Vendor #$Cruciform #$TextualPCW #$InanimateThing-NonNatural #$SpringSeason #$PejorativePrefix #$DatabaseClientProgram #$Saturday #$OxidationProcess #$April #$AirTransportationDevice #$ClassificationSystem #$TakingSomething #$OutdoorLocation #$Explosion #$MuscularSystem #$NLPhrase #$Doctor-Medical #$LexicalItem #$Sunny #$PolishingSomething #$HaploidCell #$PlantBLO #$SendingSomething #$GainingUserRights #$CountNoun-Generic #$SteppeClimateCycle #$HumanLanguage #$ControllingSomething #$ProgramOperator #$TransferringPossession #$SignTheDisplay #$ChemicalObject #$Tank-Vehicle #$NationalPostalService #$EatingEvent #$DerivationalPrefixation #$ReflexivePronoun #$GenericVerbPhraseModifyingFrame #$AbradingSomething #$WritingImplement #$ComputerProgram-CW #$AcademicTrimester #$Steppe #$ApplyingAForce #$Neutron #$ResearchOrganization #$Sound #$CloudInSky #$Corner-3d #$CommercialActivity #$Skin #$Solution #$CycLDeducedAssertion #$Talking #$CavityInterior-Generic #$SimpleWholeBodyMovement #$FrontSide #$Oval #$MovingAComputerFile #$ReproductiveSystem #$DenominalAdverb #$CollectionEvent #$ChangeOfStatusEvent #$Listless #$NationalOrganization #$Database-Physical #$CalendarSeason #$MuscleTissue #$PrescriptionDrug #$BotanicalOrgan #$AgentiveArtifact #$Tree-ThePlant #$MovementOrShapeChangeEvent #$Artifact-Generic #$PossessivePronoun-Post #$XRay #$Anesthesia #$FallSeason #$ReversativePrefix #$LinguisticObject #$MarkingOnASurface #$BilaterallySymmetricObject #$ShavingSomething #$InorganicStuff #$May #$Infection #$PersonalComputer #$AnimalBodyPart #$SkeletalSystem #$Line #$EmployeeHiring #$Invertebrate #$InformationTransferPhysicalEvent #$EmptySpaceRegion #$ControlDevice #$Mist #$ListeningDeliberately #$Plant-NonWoody #$MassNoun-Generic #$DesertClimateCycle #$CourseDuringAMeal #$ProgramAssignmentOperator #$FinancialCompany #$StorageConstruct #$Movement-TranslationProcess #$Ordering-CommunicationAct #$MassNoun #$Night #$WindowPane #$Prefixation #$SpermCell #$ObjectPronoun #$TactileSensor #$Rotation-Periodic #$GenericDitransitiveInfinitivePhraseCompFrame #$ProtistaKingdom #$Pasteurization #$Highway #$TextileProduct #$SimpleRepairing #$Malnutrition #$ReciprocalPronoun #$ApplicationProgram #$ComputerFile-CW #$GeometricallyDescribableThing #$ArmoredVehicle #$PerceptualAgent #$MediterraneanScrub #$Nucleon #$TastePerception #$SportsCompetition #$Wall-GenericBarrier #$ExpletivePronoun #$Lake #$Corner-2or3d #$Mixing #$USFederalGovernmentOrganization #$CycLAssertedAssertion #$ComputerNetwork #$PrepaidTelephoneCard #$LargeIncorporatedBusiness #$BackSide #$Organ #$CycLNLSyntacticAssertion #$DeAdjectivalAdverb #$DistributionEvent #$SelfConfident #$Morning #$TransferIn #$CalendarDay #$ShapingWithoutRemovingMaterial #$OrganizationRepresentative #$InfinitiveComp #$MolecularStuff #$SupplyCompany #$ShapeChangeWithoutLosingMaterial #$SeasonOfYear #$NegativePrefix #$RadiallySymmetricObject #$TeethCleaning #$June #$AttachmentEvent #$Computer #$Agent #$NuclearPoweredDevice #$PathArtifactSystem #$MakingTravelArrangements #$Stream #$DeAdjectivalVerbProducingSuffix #$CycLAssertionDirection #$FluidFlow-Complete #$MovementEvent #$Water #$PrivateSectorOrganization #$HandlingADevice #$PublicTransportationDevice #$ProgramFunction #$ProtectiveAttire #$Manufacturing #$ConceptualWork #$Engineer #$Group #$AirBreathingVertebrate #$InflectionalAffixation #$SubjectPronoun #$GenericTransitiveThatClauseCompFrame #$Animal #$Leather #$HardcopyInformationBearingObject #$IntrinsicAxisOfObject #$DeAdjectivalAdverbProducingSuffix #$VerbPhrase #$HumanScaleObject #$Electron #$AthleticActivity #$SomethingExisting #$Dying #$Corner-2d #$Reading #$IntrinsicStateChangeEvent #$Surface-Open #$CavityInteriorContent #$Canoe #$BottomSide #$CopyingAComputerFile #$Foot-AnimalBodyPart #$CycLNLPragmaticAssertion #$AbstractInformationStructure #$DenominalVerb #$Lonely #$Sleeping #$Hostile #$StockCertificate #$ClosedClassWord #$LevelOfAConstruction #$Form-StandardizedIBO #$ContactLocation #$MedicalCareInstitution #$BiologicalCatabolismEvent #$CategoryChangingAffix #$DentalCareEvent #$RoadVehicle-DieselEngine #$EmergencyVehicle #$August #$AbstractInformationalThing #$Cancer #$Eye #$GeographicalSpaceRegion #$SpaceRegion-Empirical #$ComputationalObject #$Liver #$GovernmentAgency #$IndefinitePronoun #$ContinuousPhysicalContactEvent #$InfectingEvent #$Particle #$DenominalVerbProducingSuffix #$DeadAnimal #$FileDirectory #$EconomicAction #$EdibleStuff #$Movement-Rotation #$HolderGripper #$PoliticalParty #$DenominalNounProducingSuffix #$ServiceEvent #$CavityOrContainer #$BusinessEvent #$Embassy-TheMission #$ProgramObject #$Sunset #$Heterotroph #$ElementStuff #$EnvelopingCovering #$WHWord #$Tumor #$IBTGeneration-Original #$CustomarySystemOfLinks #$DerivationalAffixation #$Hearing #$Rotation-NonPeriodic #$GenericTransitiveInfinitivePhraseCompFrame #$CommunityOrganization #$Sac-Organic #$ImprovementEvent #$VegetableMatter #$SurfaceOnTangibleObject #$OrganizationOfPeopleOnly #$Surgery #$DirectFireWeapon #$GraspingImplement #$ObtainingPermission #$WedgeShaped #$DenominalAdverbProducingSuffix #$SententialConstituent #$Direction #$MedicalTesting #$Event #$Interviewing #$CulturalEvent #$CycAgent #$LandBody #$Separation-Complete #$PharmaceuticalDispensingOrganization #$HeadOfGovernment #$CycLNLSemanticAssertion #$TopSide #$StriatedMuscle #$CycLNLAssertion #$DeAdjectivalVerb #$FreeSheet #$Shameful #$EducationalOrganization #$DoubleHelix #$DescendingEvent #$Shipping #$AnimalBLO #$WallOfAConstruction #$DivineBeing #$Mountain #$NonCategoryChangingAffix #$ReceivingAnObject #$ServingFoodOrDrink #$September #$MicroscopicScaleObject #$Gulf #$BodyOfWater #$ProperMassNoun #$Bartering #$DeAdjectivalAdjectiveProducingSuffix #$IndustrializedCountry #$Pants #$FlatSurface #$Pipe-GenericConduit #$LevelTwoAffix #$Bill-PaymentRequest #$SingleSiteOrganization #$GeographicalAgent #$Transaction #$Sculpture #$Watercraft-Surface #$GovernmentalOrganization #$LocomotionProcess-Animal #$ProgramExpression #$JudicialAgent #$BakingFood #$Sunrise #$Autotroph #$Ovum #$ComputerServer #$SportsEvent #$PipingSystem-Generic #$Affixation-WordFormationProcess #$RecordedSoundProduct #$Walking-Generic #$CavityInteriorRegion #$MarketingActivity #$GenericTransitiveNPCompFrame #$MultiIndividualAgent #$Path-Spatial #$Water-Saline #$Emirate-Geopolitical #$AilmentCondition #$ProgramSyntaxObject #$GraspingSomethingWithATool #$MediaProduct #$SpiralShaped #$DeAdjectivalConcreteNounProducingSuffix #$CleaningDevice #$AudioCommunicating #$DrugSubstance #$Proton #$CorporateOfficer #$CreationEvent #$TransportationContainerProduct #$TopographicalFeature #$GeneticCondition #$ConsumableProduct #$CordlikeObject #$PrimeMinister-HeadOfGovernment #$DeverbalAdjective #$Nervous #$MulticellularOrganism #$SingleCellOrganism #$ModernShelterConstruction #$TransferOut #$Holdings #$CalendarSummer #$DailyPersonalCleaning #$ConcealingFromSight #$IBTGeneration-Replication #$TimeOfDay #$MedicalTreatmentEvent #$RoadVehicle-GasolineEngine #$October #$VeterinaryHospital #$ComputerCode-Source #$HerdAnimal #$Grassland #$Stomach #$Title #$DeliveringSomeoneSomething #$LearnedActivity #$DeverbalAdjectiveProducingSuffix #$ChinesePerson #$ComputerDataStructure #$PartiallyIntangibleIndividual #$Afternoon #$MeetingTakingPlace #$Axis #$Light #$Fight-Physical #$Path-Customary #$LevelOneAffix #$TurningOffPoweredDevice #$ExperiencingHunger #$Politician #$Place-NonAgent #$Watercraft-Subsurface #$CommissionedWorker #$VietnamesePerson #$DiplomaticMission-ThePost #$ProgramConstant #$WildAnimal #$CapturingAnimal #$PrivatelyHeldCorporation #$Nurse #$Algorithm #$JunctionOfPipes #$Locomotion-SolidSurface #$ReligiousBeliefs #$Paper #$IndependentOrganization #$SelfEmployedWorker #$CuttingSomething #$SectorShaped #$GeographicalLine-Intangible #$VisibleLight #$DomesticatedAnimalFood #$DigestionEvent #$Executive #$Facility-Construct #$ContainerProduct #$Synthesis-Generic #$Continent #$SingleDoerAction #$JunctionOfPaths #$SheetOfSomeStuff #$LookingForSomething #$DeAdjectivalAdjective #$TrainEngine #$Surprised #$Advertising #$Fungus #$Country #$Restaurant-Organization #$Hat #$WHPronoun-Possessive #$WHPronoun #$Determiner-ClassC

#$Collection types of things **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of all Cyc collections. Cyc collections are natural kinds or classes, as opposed to mathematical sets; their instances have some common attribute(s). Each Cyc collection is like a set in so far as it may have elements, subsets, and supersets, and may not have parts or spatial or temporal properties. Sets, however, differ from collections in that a mathematical set may be an arbitrary set of things which have nothing in common (see #$Set-Mathematical). In contrast, the instances of a collection will all have in common some feature(s), some `intensional' qualities. In addition, two instances of #$Collection can be co-extensional (i.e., have all the same instances) without being identical, whereas if two arbitrary sets had the same elements, they would be considered equal. As with any Cyc constant, an instance of #$Collection should be created only if it is expected to have some purpose or utility. Moreover, the `best' collections to create are the ones which are impossible to define precisely, yet about which there are rules and other things to say. E.g., `WhiteCat' is not a good element of #$Collection to create, because it's easy to define with other Cyc concepts, and there's not much to say about the collection of white cats; but `WhiteCollarWorker' could be a good instance of #$Collection, because it is hard to define exactly, yet there are many things to say about it.
> guid: bd5880cc-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CollectionType #$VariableOrderCollection #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$SetOrCollection
> direct generalization of: #$BayesDiscreteOutcome #$AtemporalNecessarilyEssentialCollectionType #$PathSystemType-Structural #$TotallyOrderedCollection #$NLCollection #$FirstOrderCollection #$FixedOrderCollection #$VariableOrderCollection #$ConventionalClassificationType #$TotallyOrderedCollectionType #$CollectionType

#$Individual and #$Collection are disjoint collections: no Cyc constant can be an instance of both.

Any general concept, such as being a person or walking, is represented in Cyc by a collection; e.g., #$Person and #$AnimalWalkingProcess, respectively, each of which #$isa #$Collection. But any particular person or action, such as #$JohnKennedy or #$WorldWarII, #$isa #$Individual. Note that both #$Individual and #$Collection are themselves elements of #$Collection.

#$Predicate CycL predicates

> A specialization of #$TruthFunction (q.v.). Each instance of #$Predicate is either a property of things (see #$UnaryPredicate) or a relationship holding between two or more things. Like other truth-functions, predicates, or rather the expressions that represent or denote them, are used to form sentences. More precisely, any CycL expression that denotes an instance of #$Predicate (and only such an expression) can appear in the 0th (or arg0 ) position (i.e. as the term following the opening parenthesis) of a #$CycLAtomicSentence (q.v.). Important specializations of #$Predicate include #$UnaryPredicate, #$BinaryPredicate, #$TernaryPredicate, #$QuaternaryPredicate, and #$QuintaryPredicate. Note that, despite its name, #$Predicate is a collection of _relations_, and not a collection of expressions that represent or denote such relations.
> guid: bd5880d6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$TruthFunction
> direct generalization of: #$OpenCycDefinitionalPredicate #$NLMorphologyPredicate #$TernaryPredicate #$PropositionPredicate #$SituationTypePredicate #$PlanActionRestrictionPredicate #$TypePredicate #$ActionPredicate #$AttributePredicate #$Role #$ComparisonPredicate #$CycInferenceHeuristicPredicate #$CanonicalizerDirectivePredicate #$UnaryPredicate #$CycInferenceDescriptorPredicate #$BinaryPredicate #$CycLReformulationRulePredicate #$QuintaryPredicate #$BookkeepingPredicate #$KindLevelPredicate #$DocumentationPredicate #$StageLevelPredicate #$QuaternaryPredicate #$ComparisonWRTPredicate #$MicrotheoryDesignatingPredicate #$EvaluatablePredicate #$EventPredicate #$PossibleDefinitionalPredicate #$SlotTrendPredicate #$DefinitionalPredicate #$ScriptPredicate #$ObjectPredicate #$MetaKnowledgePredicate #$ReformulatorDirectivePredicate #$IndividualLevelPredicate #$FunctionalPredicate #$CollectionPredicate #$DefaultMonotonicPredicate #$RuleMacroPredicate #$OpenCycNLPredicate

#$isa isa (taxonomic slot) (vocabulary defining predicate) (default monotonic predicate)

> A #$TaxonomicSlot (q.v.) that relates things of any kind to collections (see #$Collection) of which they are instances. (#$isa THING COL) means that THING is an instance of the collection COL. #$isa is by far the most commonly-occurring predicate in the Cyc Knowledge Base, and is one of the relations most fundamental to the Cyc ontology. An important logical feature of #$isa is that it transfers through #$genls (q.v.): (#$isa THING COL) and (#$genls COL SUPERCOL) jointly imply (#$isa THING SUPERCOL). This logical feature is expressed in a rule that -- along with various other rules that also sanction the derivation of #$isa sentences -- has been asserted to the Knowledge Base. As a result, only a small fraction of the #$isa based ground atomic formulas (or GAF s; see #$CycLClosedAtomicSentence) the Cyc system knows to be true have been manually asserted; the vast majority have been derived, or are derivable, automatically by the Cyc inference engine via the use of such rules. See also #$elementOf.
> guid: bd588104-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$ReformulatorIrrelevantFORT #$TaxonomicSlotForAnyThing #$DefinitionalPredicate #$DefaultMonotonicPredicate
> direct specialization of: #$elementOf

#$genls genls

> A instance of #$TaxonomicSlotForCollections (q.v.) and a specialization of #$generalizations. #$genls relates a given collection (see #$Collection) to those collections that subsume it. More precisely, (#$genls SUBCOL SUPERCOL) means that SUPERCOL is a supercollection of SUBCOL: anything that is an instance of (see #$isa) SUBCOL is also an instance of SUPERCOL. For example, (#$genls #$Dog #$Mammal) holds. #$genls is one of the most commonly-occurring predicates in the Cyc Knowledge Base, and one of the relations most fundamental to the Cyc ontology. See also #$subsetOf.
> guid: bd58810e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$ReformulatorIrrelevantFORT #$TaxonomicSlotForCollections #$KindLevelPredicate #$DefinitionalPredicate #$DefaultMonotonicPredicate #$RuleMacroPredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate
> direct specialization of: #$subsetOf

### Relations

#$Relation relationships

> The collection of relations whose CycL representations can appear in the 0th (or arg0 ) argument position of a #$CycLFormula, i.e. as the term immediately following the formula's opening parenthesis. An important subcollection of #$Relation is #$TruthFunction (q.v.), whose instances are intimately related to truth-values, as reflected in the fact that the CycL expressions that denote truth-functions can appear in the arg0 position of a #$CycLSentence; and a sentence (if quantificationally closed; see #$CycLClosedSentence), will generally be either true or false (with respect to a given context or interpretation). The major subcollections of #$TruthFunction are #$Predicate, #$LogicalConnective, and #$Quantifier (qq.v.). Another important subcollection of #$Relation is #$Function-Denotational (q.v.), whose instances are functions the CycL expressions for which can appear in the arg0 position of a #$CycLNonAtomicTerm; and such terms (if closed) generally denote things.
> guid: bd5880cd-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$MathematicalObject
> direct generalization of: #$ELRelation #$ScopingRelation #$VariableArityRelation #$AssociativeRelation #$MacroRelation #$Function-Denotational #$MicrotheoryDesignatingRelation #$CommutativeRelation #$FunctionalRelation #$EvaluatableRelation #$TruthFunction #$FixedArityRelation #$PartiallyCommutativeRelation

#$arity arity (intangible object relating predicate) (default monotonic predicate) (predicate that is functional in its second argument)

> A #$MetaRelation used for stating that a given relation takes a specified number of arguments. (#$arity RELN N) means that that semantic well-formedness requires that RELN take exactly N arguments at a time. That is, a formula (RELN ARG1 ... ARGM) is semantically well-formed only if M = N. For example, the #$arity of any instance of #$BinaryPredicate is 2. Note that full semantic well-formedness requires obeying argument-type constraints (see #$ArgTypePredicate) as well as arity constraints. For a general explanation of semantic well-formedness, see #$CycLExpression-Assertible. See also #$CycLExpression-Askable.
> guid: bd5880ce-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefinitionalPredicate #$StrictlyFunctionalSlot #$DefaultMonotonicPredicate #$MetaRelation

#$VariableArityRelation variable arity relation

> A specialization of #$Relation. Each instance of #$VariableArityRelation is a relation that can take a variable number of arguments. Examples of #$VariableArityRelation include the predicate #$different and the function #$PlusFn.
> guid: bd5d0b56-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipTypeByArity #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Relation
> direct generalization of: #$VariableAritySkolemFuncN #$VariableAritySkolemFunction #$VariableArityFunction

#$CommutativeRelation commutative relations

> A collection of #$Relations and an instance of #$RelationTypeByLogicalFeature (q.v.). Each instance of #$CommutativeRelation COMREL is a predicate or function that is commutative in all of its argument-places. That is, if COMREL is a predicate (function) that holds among (has the value VAL for) a given sequence of arguments, then COMREL also holds among (has the same value VAL for) any permutation of that sequence. Instances include #$PlusFn, #$or, #$bordersOn, #$temporallyIntersects, and #$teammates. Specialization include #$SymmetricBinaryPredicate. Note that most relations are _not_ commutative. See also #$PartiallyCommutativeRelation.
> guid: bd6449a2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationTypeByLogicalFeature #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Relation
> direct generalization of: #$SymmetricBinaryPredicate

#$FunctionalRelation functional relations

> A specialization of #$Relation each instance of which is either a function (see #$Function-Denotational) or a predicate that is functional in at least one argument-place (see #$FunctionalPredicate and #$functionalInArgs). Examples include #$IntervalMaxFn, #$ElectricalPotentialDifferenceFn, #$revenueFromType, #$costRateForType, and #$biologicalMother. See also the specialization #$StrictlyFunctionalRelation.
> guid: bd5880a3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType
> direct specialization of: #$Relation
> direct generalization of: #$StrictlyFunctionalPredicate #$Function-Denotational #$FunctionalPredicate #$StrictlyFunctionalRelation

#$FunctionalPredicate functional predicates

> A specialization of #$Predicate whose instances are those predicates that are functional in at least one argument-place (see #$functionalInArgs and #$singleEntryFormatInArgs). That is, given any sequence of legal arguments placed in such a predicate's other argument positions, there is at most one argument such that, when it is placed in the predicate's functional position, the resulting formula is true. More precisely: Suppose PRED is an N-ary instance of #$FunctionalPredicate that is functional in its Kth place. Given any (N-1)-tuple <O(1),.., O(K-1), O(K+1),.., O(N)> consisting of things that are, respectively, legal arguments for (i.e. satisfy all argument-constraints on) the N-1 argument-places in PRED other than its Kth-place, there is at most one thing -- call it O(K) -- such that (PRED O(1)..O(N)) is true. (The one exception to the above is when the entry-format for PRED's functional argument-place is #$intervalEntryFormatInArgs (q.v.) instead of #$singleEntryFormatInArgs. In that case there might be multiple instances INT-1..INT-M of #$ScalarInterval that, when put in this argument-place, each yield a true formula; but only if all of the INT-i overlap one another and thus have a common sub-interval; see #$quantityIntersects and #$quantitySubsumes. Cf. #$StrictlyFunctionalPredicate.) For example, #$biologicalMother is functional in its second argument-place, since every animal has one and only one biological mother. Note that it might be the case that, for some ways of fixing PRED's other arguments, there will be _nothing_ that would yield a true formula when put into PRED's functional argument-place; for example, while a spatial thing has at most one length (see #$lengthOfObject), if it is (say) a sphere it has none. A binary #$FunctionalPredicate that is functional in its second argument is an instance of #$FunctionalSlot (q.v.).
> guid: bd58dc77-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$FunctionalRelation #$Predicate
> direct generalization of: #$StrictlyFunctionalPredicate #$FunctionalSlot

#$FunctionalSlot predicates that is functional in its second argument

> A specialization of #$FunctionalPredicate each instance of which is a binary predicate that is functional in its second argument position. More precisely, a binary predicate PRED is an instance of #$FunctionalSlot if, for any legal occupant THING1 of PRED's first (or arg1 ) argument position, there is at most one legal occupant THING2 of PRED's second (or arg2 ) argument position such that (PRED THING1 THING2) holds. (The foregoing sufficient condition is not necessary in the case where the arg2 entry-format of PRED is #$intervalEntryFormatInArgs (q.v.) instead of #$singleEntryFormatInArgs; see the comment for #$FunctionalPredicate for that case. Cf. #$StrictlyFunctionalSlot.) #$FunctionalSlot is thus the subcollection of the collection-intersection of #$BinaryPredicate and #$FunctionalPredicate containing those predicates whose second argument (at least) is functional. Examples include #$latitude, #$countryOfAddress, and #$femaleParentActor.
> guid: bd5881a4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$FunctionalPredicate #$BinaryPredicate
> direct generalization of: #$StrictlyFunctionalSlot #$IntervalBasedQuantitySlot

#$Function-MathematicalObject mathematical type of functions **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions and a specialization of #$Relation-MathematicalObject. Each instance of #$Function-MathematicalObject is a many-one relation that represents a mapping from one set of things (the function's #$relationDomain) to another set of things (its #$relationRange). As a many-one relation, a function maps each thing in its domain to exactly one thing in its range. A function is either unary, binary, ternary, or whatever (see #$functionalArity; but cf. #$relationalArity), depending on the nature of the members of its domain. In general, the domain of an N-ary function is a set of ordered N-tuples (construed in CycL as #$Lists of length N). The function is said to take the items from any of these N-tuples as its N _arguments_ and to return a member of its range as its corresponding _value_. A key specialization of #$Function-MathematicalObject is #$FixedArityFunction (which is also a specialization of #$Function-Denotational). Instances include the elements of #$Distribution and the (non-denumerably many) one-to-one correspondences that exist between the positive integers and the rational numbers. See also #$valueOfFunctionForArgs, #$DomainOfFunctionFn, and #$RangeOfFunctionFn.
> guid: bee42bbb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Relation-MathematicalObject
> direct generalization of: #$BinaryFunction #$QuintaryFunction #$UnaryFunction #$QuaternaryFunction #$TernaryFunction #$FixedArityFunction #$OneToOneFunction

#$EvaluatableRelation evaluatable relations

> A specialization of #$Relation. Each instance of #$EvaluatableRelation is a function or predicate for which there is some piece of system code that can be invoked to evaluate (i.e. to determine the denotation or truth-value of) a closed expression built from that function or predicate (i.e. a closed expression that has the constant that denotes that function or predicate in its initial or 0th argument-place). An evaluation of this sort is carried out, for example, when the system is queried using an #$evaluate (q.v.) sentence. As one might expect, most evaluatable relations are mathematical or syntactic in nature; for numbers, sets, lists, and strings are the sorts of things that are related in various ways that can be calculated algorithmically. Examples include #$PlusFn, #$greaterThan, #$JoinListsFn, and #$substring. In the case of a function that is evaluatable (see #$EvaluatableFunction), the practical result of evaluating the relevant expression is another _term_ -- one that has the same denotatum as the original expression, but that is syntactically simpler and constitutes a more straightforward way of referring to that denotatum. For example, the term `(#$PlusFn (#$Inch 3) (#$Inch 1))', when evaluated, results in the term `(#$Inch 4)'. So if a query using the open sentence `(#$evaluate ?X (#$PlusFn (#$Inch 3) (#$Inch 1)))' is asked, the answer (or binding for the variable `?X') returned will be the term `(#$Inch 4)'. Evaluating a sentence built from (a constant that denotes) an #$EvaluatablePredicate, on the other hand, yields a _truth-value_. For example, the sentence `(#$greaterThan (#$Inch 3) (#$Inch 1))' evaluates to (and so if used to ask a query will return the answer) `#$True'. The predicate #$evaluationDefn (q.v.) is used to specify the name of the piece of system code used to evaluate expressions formed with a given evaluatable relation.
> guid: bfb0e3f0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Relation
> direct generalization of: #$EvaluatableFunction #$EvaluatablePredicate

#$evaluationDefn evaluation defn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$evaluationDefn is used to relate an evaluatable Cyc function or predicate to the name of the piece of code that is used to evaluate it. (#$evaluationDefn E-REL NAME) means that the #$SubLSymbol NAME is the name of a piece of Heuristic Level (SubL) code in the Cyc system which is used to compute the value of expressions containing the #$EvaluatableRelation E-REL.
> guid: bd5880c1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CycInferenceDescriptorPredicate #$InferenceRelatedBookkeepingPredicate #$IntangibleObjectRelatingPredicate #$StrictlyFunctionalSlot #$DefaultMonotonicPredicate

#$TruthFunction truth-functions

> A major subcollection of #$Relation that subsumes the collections #$Predicate, #$LogicalConnective, and #$Quantifier (qq.v.). Truth-functions, or rather the expressions that represent or denote them, are used to form sentences. More precisely, any CycL expression that denotes an instance of #$TruthFunction (and only such an expression) can appear in the 0th (or arg0 ) position (i.e. as the term immediately following the opening parenthesis) of a #$CycLSentence. The name `TruthFunction' derives in part from the fact that the sentences thus formed (if semantically well-formed and quantificationally closed; see #$CycLSentence-Assertible and #$CycLClosedSentence) are the kind of expression that can be true or false (with respect to a given context and interpretation). Though not really functions (cf. #$Function-Denotational), #$TruthFunctions are truth-functional in the sense that the truth-value of a (closed, semantically well-formed) sentence (RELN ARG1..ARGN) built using a truth-function RELN is uniquely determined (with respect to a given context) by RELN together with the argument(s) ARG1..ARGN to which it is applied. For example, the sentence `(#$mother #$ChelseaClinton #$HillaryClinton)' is made true (in the actual world) by the fact that Chelsea Clinton's mother is Hillary Clinton.
> guid: bea64551-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Relation
> direct generalization of: #$SententialRelation #$Predicate

### Predicates

#$decodingDeviceType decoding device type **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate is used to specify the type of device needed for decoding information contained in a particular kind of encoding scheme. (#$decodingDeviceType SCHEME DEV-TYP) means that DEV-TYP is the type of device required to decode the information encoded with encoding scheme SCHEME. For example, a telephone is the kind of device needed to decode audio information sent over telephone lines. A cable TV box is the device type needed to decode cable TV signals. And so on. See also #$EncodingSchemeType.
> guid: bd58cef2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$deviceControlledBy device controlled by

> This predicate relates physical devices to the devices that control them. (#$deviceControlledBy DEV CONTROL) means that CONTROL controls DEV. Most of the time, the controls will be #$physicalParts of the device. However there are some notable exceptions -- TV remote controls, for example -- which control a device but are not #$physicalParts of that device.
> guid: bd5cbb65-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AsymmetricBinaryPredicate
> direct specialization of: #$temporallyIntersects

#$instrument-Generic instrument (actor slot) (role) (extensional representation predicate)

> The predicate #$instrument-Generic is used to link a particular event to any of the objects which play an instrumental role in it. (#$instrument-Generic EVENT OBJECT) means that OBJECT plays an intermediate causal role in EVENT, facilitating the occurrence of EVENT, and serving some purpose of some #$Agent. This can happen in at least two ways: either the `doer' of EVENT acts on OBJECT, which in turn acts on something else (as when someone uses a hammer to pound in a nail) or the `doer' of EVENT acts on something, making it possible for OBJECT to act on that thing (as when someone puts wet clothes out in the sun to dry). Typically, an #$instrument-Generic is not significantly altered by playing that role in an event. #$deviceUsed is an important specialization of #$instrument-Generic.
> guid: bd5d4eb3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IndividualLevelPredicate #$ActorSlot
> direct specialization of: #$actors #$instrumentalRole

#$deviceUsed device used

> The predicate #$deviceUsed relates an event to a device used in that event. (#$deviceUsed EVENT OBJECT) means that the #$PhysicalDevice OBJECT plays an instrumental role in the #$Event EVENT (see the more generalized predicate #$instrument-Generic), OBJECT is intentionally used in EVENT, and standardly (for example, in the #$HumanActivitiesMt) OBJECT's role in EVENT is consistent with the object's #$primaryFunction.
> guid: bd5d0531-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ActorSlot
> direct specialization of: #$instrument-Generic

#$hasInterfaceDevices has interface devices **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate identifies a particular interface device that is linked to a particular computer. (#$hasInterfaceDevices COMPUTER INTERFACE) means that INTERFACE is a #$ComputerInterfaceDevice for the #$Computer COMPUTER. E.g., this predicate holds between my desktop PC and the mouse that's connected to it, the monitor that's connected to it, the keyboard that's connected to it, etc.
> guid: bd58bb61-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$PhysicalPartPredicate

#$energySource energy source (asymmetric binary predicate) (antisymmetric binary predicate) (role) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate is used to identify a particular source of energy used in a particular event. (#$energySource EVENT ENERGYSOURCE) means that ENERGYSOURCE provides (some of) the energy used in EVENT. ENERGYSOURCE might be a battery, the sun, a person, etc.
> guid: bd58ea4e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IndividualLevelPredicate #$BinaryRolePredicate #$AsymmetricBinaryPredicate
> direct specialization of: #$temporallyIntersects

#$objectControlled controlled object **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate is used to indicate that a particular object is being controlled in a particular event. (#$objectControlled EVENT OBJ) means that the object OBJ is being controlled in the #$Event EVENT. Note: #$objectControlled does not assume or require physical contact between controller and object controlled.
> guid: bd58bdb0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ActorSlot
> direct specialization of: #$objectActedOn

#$objectActedOn affected object

> The predicate #$objectActedOn is used to relate an event to an entity or entities significantly affected in that event. The entity or entities in question must exist before the event, but may be either destroyed in the event (see the more specific predicate #$inputsDestroyed), or merely affected by it (for example, see the more specific predicates #$damages and #$objectOfStateChange). (#$objectActedOn EVENT OBJECT) means that OBJECT is altered or affected in EVENT, and the change that OBJECT undergoes is central or focal to understanding EVENT. Thus, scissors are _not_ an #$objectActedOn in a #$HairCuttingEvent. The focal change in a haircut is hair getting shorter; thus, hair is a legitimate #$objectActedOn in a #$HairCuttingEvent. The almost microscopic dulling that scissors undergo in a single haircut is a comparatively insignificant change with respect to a single haircut, considered as a #$HairCuttingEvent.
> guid: bd58bae6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IndividualLevelPredicate #$ActorSlot
> direct specialization of: #$preActors

#$vehicle vehicle (actor slot) (role) (functional predicate) **GAFs NOT REVIEWED**

> A binary predicate that relates instances of #$TransportationEvent to instances of #$TransportationDevice-Vehicle. (#$vehicle EVENT VEHICLE) means that VEHICLE is a #$TransportationDevice-Vehicle which is both the #$providerOfMotiveForce and the #$transporter in EVENT. If an object is a #$TransportationDevice-Vehicle and plays the role of #$transporter in some moving event, then it generally will play the role of #$vehicle in that event. Examples: a car plays the role of #$vehicle in driving. Note, however, that a bicycle does not play the role of #$vehicle in bike riding since it is not a provider of motive force. A borderline non-example is someone sitting in a car while it's being pulled by a tow truck; the car is not playing the role of #$vehicle in that event (because it is not the provider of motive force - the tow truck is).
> guid: bd58a883-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalPredicate #$ActorSlot
> direct specialization of: #$deviceUsed #$transporter #$providerOfMotiveForce

#$stuffUsed stuff used **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$stuffUsed relates an event to some tangible substance which facilitates that event. (#$stuffUsed EVENT STUFF) means that STUFF is a portion of an instance of #$ExistingStuffType which plays an instrumental role in EVENT. STUFF may or may not be consumed in the course of EVENT. Examples: portions of #$Water are #$stuffUsed in instances of #$WashingDishes, #$WashingHair, #$WashingClothesInAMachine, etc.; portions of #$EdibleOil are #$stuffUsed in some instances of #$Frying food and #$BakingBread.
> guid: bd58cadc-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ActorSlot
> direct specialization of: #$instrument-Generic

#$transporter transporter (actor slot) (role) (extensional representation predicate) **GAFs NOT REVIEWED**

> This predicate relates objects to the transportation events in which they facilitate movement. (#$transporter MOVE OBJ) means that #$SolidTangibleThing OBJ enables or facilitates the conveyance of the #$transportees in the #$TransportationEvent MOVE. OBJ is an #$objectMoving in MOVE that moves along with the #$transportees. OBJ will generally hold, support, contain, pull, or push the #$transportees throughout the MOVE #$Event. OBJ may or may not be the #$providerOfMotiveForce in the event MOVE. If OBJ stays with each #$primaryObjectMoving from the #$fromLocation to the #$toLocation, moving along the same trajectory, then it is also a #$primaryObjectMoving. If OBJ facilitates the motion of the #$primaryObjectMoving but does not itself engage in translational motion it is merely the conveyor of the action, and the role #$conveyor-Stationary should be asserted. If it is unclear whether the conveyor is stationary or not, the role #$conveyor-Generic is used. Specializations of the role #$transporter should be used when possible: although automobiles are #$transporters in many events, they should normally have the more specific role designation of #$vehicle because they are also instances of #$TransportationDevice-Vehicle. When a car is being towed by a tow truck, the car is just a #$transporter of any of its contents while the tow truck is the #$vehicle of that event. An additional role designation for some #$transporters -- those which are #$PhysicalDevices -- is #$deviceUsed; e.g., the use of crutches in hobbling or ice skates in skating. See the #$comment on #$TransportationEvent. Note that an organism may be a #$transportees in a #$Bicycle riding or #$Skating event as well as being the #$providerOfMotiveForce in such cases.
> guid: bd58c1d8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ActorSlot
> direct specialization of: #$conveyor-Generic #$objectMoving

#$transportees transportee

> The predicate #$transportees relates a translational motion event to the object(s) transported in that event. (#$transportees MOVE OBJ) means that some conveyance (see the predicate #$conveyor-Generic) transports OBJ in MOVE. The conveyance in question can either move along with OBJ in MOVE or remain stationary during MOVE. The conveyance in question is separate from OBJ (that is, OBJ is not a part of the conveyance).
> guid: bd58ae94-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ActorSlot
> direct specialization of: #$primaryObjectMoving #$objectActedOn

#$driverActor driver (actor slot) (role) (extensional representation predicate)

> (#$driverActor DRIVE DRIVER) means that the #$Person DRIVER controls (see #$ControllingATransporter) the transporter (related to DRIVE by the predicate #$transporter (q.v.)) in the #$TransportInvolvingADriver DRIVE.
> guid: bd58bf45-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AgentiveRole
> direct specialization of: #$crewMember #$performedBy

### Functions

#$Function-Denotational functions (relationships) (mathematical concepts) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$Function-Denotational is the collection of functions the CycL expressions for which can be used to form non-atomic terms (NATs). Specifically, when such a function-denoting expression is appropriately combined with other expressions (i.e. the former is in the 0th argument position and the latter are of the correct number and type) the resulting expression is a new CycL term -- a NAT -- that may then freely appear as a component in other CycL expressions. The NAT will itself denote the value (if any) of the function denoted by the former expression for the sequence of arguments denoted, respectively, by the latter expressions. For example, #$GovernmentFn is a unary denotational function, and so the CycL constant '#$GovernmentFn' requires one (syntactic) argument (such as the constant '#$France') to form a NAT (in this case, the expression '(#$GovernmentFn #$France)'). This NAT, which denotes the government of France, can in turn serve as a (syntactic) argument in any CycL expression in which (a term for) an instance of #$RegionalGovernment can occur. Alternatively, we could have created a specific new term `GovernmentOfFrance', asserted that its denotation is an instance of #$RegionalGovernment, and so on. But two related advantages to having NATs in CycL are that they (i) allow for a drastic reduction in the total number of constant terms needed in the CycL vocabulary and (ii) provide a convenient and systematic way to form appropriate new terms as needed out of existing vocabulary (which terms can then inherit from various existing rules and other assertions involving the terms' component expressions). <PARAGRAPH> Important subcollections of #$Function-Denotational include #$IndividualDenotingFunction (whose instances always return instances of #$Individual), #$CollectionDenotingFunction, #$SetDenotingFunction, and #$FunctionDenotingFunction (which is itself a subcollection of the first). NATs formed using terms that denote instances of #$FunctionDenotingFunction often denote instances of #$Function-Denotational themselves. Thus, like most other things, denotational functions can be denoted in CycL either by constants (e.g. '#$GovernmentFn') or -- although this is less common -- by NATs (e.g. '(#$FunctionToArg 2 #$biologicalMother)'). Note that the collection #$Function-Denotational does _not_ include all functions whatsoever. Functions that, given their natures and the nature of the CycL language, could not sensibly be denoted by any NAT-forming CycL expression are not denotational functions. Examples include certain provably-existing exotic mathematical functions, such as (probably) any one-to-one function from the positive integers to the rational numbers. (For a more general collection that does include such functions, and for a more general explication of the notion of function itself, see #$Function-MathematicalObject and its comment). Note also that #$Function-Denotational does not include any of the so-called #$TruthFunctions (q.v.): #$Predicates, #$Quantifiers, or #$LogicalConnectives. For these relations (as construed in CycL) are not really functions at all, even though it can be heuristically useful to think of them as if they were functions from sequences of arguments to truth values.
> guid: bd5c40b0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$StrictlyFunctionalRelation
> direct generalization of: #$EvaluatableFunction #$BinaryFunction #$QuintaryFunction #$UnaryFunction #$MicrotheoryDesignatingFunction-Denotational #$QuaternaryFunction #$VariableArityFunction #$TernaryFunction #$FixedArityFunction #$CollectionDenotingFunction #$SetDenotingFunction #$PartialDenotationalFunction #$ReifiableFunction #$TotalDenotationalFunction #$IndividualDenotingFunction #$UnreifiableFunction

#$resultIsa result isa

> A #$MetaRelation that holds between relations and collections. #$resultIsa is primarily used to indicate that any value returned by a given function is an instance of a given collection. Where FUNC is a #$Function-Denotational, (#$resultIsa FUNC COL) means that FUNC returns an instance of COL for any sequence of arguments for which FUNC is defined. That is, (#$isa (FUNC ARG1 ... ARGn) COL) holds for any sequence <ARG1, ..., ARGN> for which FUNC has a value (see #$valueOfFunctionForArgs and #$relationDomain). For example, `(#$resultIsa #$PlusFn #$ScalarInterval)' holds, and it entails (e.g.) `(#$isa (#$PlusFn 2 2) #$ScalarInterval)'. #$resultIsa can also be used with a #$LogicalConnective or #$Quantifier to make a syntactic claim about the type of expression (see #$CycLExpressionType) that can be built from connective-denoting or quantifier-denoting expressions. Where CONN is a #$LogicalConnective, (#$resultIsa CONN EXPR-TYPE) means that any semantically well-formed expression constructed by combining a term that denotes CONN with the correct number and type of other terms will itself be an instance of EXPR-TYPE. For example, the sentence `(#$resultIsa #$and #$ELSentence-Assertible)' entails that an expression consisting of `#$and' followed by one or more #$ELSentence-Assertibles (the required argument-types for #$and), with the whole expression-sequence enclosed in parentheses, is itself an #$ELSentence-Assertible. (An analogous account can be given for the case where #$resultIsa is applied to a #$Quantifier.) See also #$resultGenl.
> guid: bd5880f1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$DefaultMonotonicPredicate #$MetaRelation #$RuleMacroPredicate #$BinaryPredicate

#$IndividualDenotingFunction individual-denoting functions

> The subcollection of #$Function-Denotational whose instances, when applied to any appropriate (sequence of) arguments, return instances of #$Individual. Examples include #$PerimeterFn, #$GovernmentFn, and #$CavityInteriorRegionFn. See also the collections #$CollectionDenotingFunction and #$SetDenotingFunction.
> guid: bd58fad9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Function-Denotational
> direct generalization of: #$FunctionFromQuantitiesToQuantities #$MetricUnitPrefix #$AnimalPartRegionFunction #$AttributeDenotingFunction #$ShapeFunction #$PredicateDenotingFunction #$FunctionDenotingFunction #$DateDenotingFunction #$DerivedWordFormingFunction #$UnitOfMeasure

#$CollectionDenotingFunction collection-denoting functions

> The subcollection of #$Function-Denotational whose instances return instances of #$Collection. Examples include #$SwimmingEventFn, #$GroupFn, and #$MoleculeFn. For example, (#$MoleculeFn #$Oxygen) denotes the collection of all oxygen molecules. See also the collections #$IndividualDenotingFunction and #$SetDenotingFunction.
> guid: bd58806a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Function-Denotational

#$resultGenl result genl

> A #$MetaRelation that is used to specify that a given collection is a supercollection of any value returned by a given #$CollectionDenotingFunction. (#$resultGenl COLFUNC COL) means that when COLFUNC is applied to any sequence of arguments <ARG1, ..., ARGn> for which it is defined, the resulting value will be a subcollection of COL. That is, (#$genls (COLFUNC ARG1 ... ARGn) COL) holds. For example, (#$resultGenl #$UsingAFn #$Action) implies that the collection of acts done using any given type of object is a type of action, (#$resultGenl #$AttemptingFn #$PurposefulAction) implies that the attempts at a given type of action constitute a type of purposeful act, and (#$resultGenl #$JointTypeBetweenFn #$Joint-Physical) means that the collection of joints between two given types of things is a type of physical joint. See also #$resultIsa.
> guid: bd58d6ab-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$DefaultMonotonicPredicate #$MetaRelation #$RuleMacroPredicate #$BinaryPredicate

#$FunctionToArg function to arg **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$FunctionToArg and #$Kappa are special functions that generate relationships - #$FunctionToArg generates a function from a predicate. (#$FunctionToArg N PRED) denotes the function generated from the #$FunctionalPredicate PRED, where the N-th argument is taken as the result. Therefore the arity of (#$FunctionToArg N PRED) is one less than the arity of PRED. For example, the term (#$FunctionToArg 2 #$age) denotes the function that returns the age of a person; in other words, because (#$age PERSON AGE) the term ((#$FunctionToArg 2 #$age) PERSON) denotes AGE. To work properly the predicate PRED must be functional in the N-th argument. In some cases, however, determining whether (#$functionalInArgs PRED N) may be very difficult - in particular for uses of #$Kappa. For this reason this functionality constraint is not fully supported by code.
> guid: c0edda9d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionDenotingFunction #$BinaryRelation #$Individual

#$Kappa kappa **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This is a function that is used to define a #$Predicate on the fly. In fact, kappa is to relations what lambda is to functions. (#$Kappa (?ARG1 ... ?ARGN) ?FORMULA) where ?ARG1 ... ?ARGN appear as free-variables in ?FORMULA, defines a predicate with arity N that is satisfied for those bindings that satisfy ?FORMULA. #$Kappa is useful to reduce the arity of a predicate by fixing the value for one of its arguments. For example, (#$Kappa (?COUNTRY ?RATE) (#$exportRate ?COUNTRY #$Oil ?RATE)) defines a binary predicate that relates a country to its export rate of oil. For example, (#$Kappa (?PERSON ?NAME) (#$thereExists ?FATHER (#$and (#$father ?PERSON ?FATHER) (#$lastName ?FATHER ?NAME))) returns the predicate that relates a person and his father's last name. Note that #$Kappa in combination with #$FunctionToArg can be used to define lambda-expressions. For example, (#$FunctionToArg 2 (#$Kappa (?PERSON ?NAME) (#$and (#$father ?PERSON ?FATHER) (#$lastName ?FATHER ?NAME)))) is the function that returns my father's last name. Care is advised when doing this, because #$FunctionToArg assumes predicates that are functional in the relevant argument, whereas #$Kappa can return any predicate.
> guid: c0937fa3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateDenotingFunction #$BinaryFunction #$ScopingRelation #$Individual

### Mathematical Functions

#$DifferenceFn subtraction

> An instance of both #$BinaryFunction and #$EvaluatableFunction. When applied to an instance MINUEND of #$ScalarInterval and an instance SUBTRAHEND of #$ScalarInterval, #$DifferenceFn yields an instance of #$ScalarInterval that is the result of subtracting SUBTRAHEND from MINUEND. For example, (#$DifferenceFn 88 11) is 77 and (#$DifferenceFn (#$Kilogram 4.2) (#$Kilogram 3)) is (#$Kilogram 1.2). Note that when MINUEND is an instance of a specialization SCALAR-1 of #$ScalarInterval, SUBTRAHEND is an instance of a specialization SCALAR-2 of #$ScalarInterval, and neither (#$genls SCALAR-1 SCALAR-2) nor (#$genls SCALAR-2 SCALAR-1) holds, then (#$DifferenceFn MINUEND SUBTRAHEND) is undefined. For example, (#$DifferenceFn (#$MinutesDuration 1) (#$Meter 3)) is undefined, since (#$MinutesDuration 1) is an instance of #$Time-Quantity and (#$Meter 3) is an instance of #$Distance.
> guid: bd5880a6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionFromQuantitiesToQuantities #$PartialDenotationalFunction #$BinaryFunction #$Individual

#$PlusFn plus fn **GAFs NOT REVIEWED**

> A #$VariableArityRelation which represents addition in Cyc. (#$PlusFn ADDEND1 ADDEND2 ...) yields a quantity which is the result of adding ADDEND1 ADDEND2 (...) together. All of the arguments to #$PlusFn must be instances of #$ScalarInterval, as is its result. Examples: (#$PlusFn 2 3 4) returns 9; (#$PlusFn (#$Meter 1.5) (#$Meter 0.7)) returns (#$Meter 2.2). For subtraction, see #$DifferenceFn.
> guid: bd5880ae-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionFromQuantitiesToQuantities #$AssociativeRelation #$CommutativeRelation #$VariableArityRelation #$Individual

#$PlusInfinity plus infinity **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$PlusInfinity represents an infinitely large positive number (roughly akin to aleph-null).
> guid: bd5884b2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$Cardinal-Mathematical #$Individual

### Reifiable Functions

#$ReifiableFunction reifiable functions

> A specialization of #$Function-Denotational. Each instance of #$ReifiableFunction is denoted by a CycL constant that can stand in the 0th (or arg0 ) position in a #$CycLReifiableNonAtomicTerm (q.v.). For example, #$GovernmentFn is a reifiable function, so the term `(#$GovernmentFn #$France)' is a reifiable non-atomic term (or NAT ). And since this particular term actually _is_ reified in the Cyc Knowledge Base, it is, more specifically, a #$CycLNonAtomicReifiedTerm (or NART ). The NART `(#$GovernmentFn #$France)' is treated more or less the same as if it were a CycL constant (named, say, `GovernmentOfFrance'). Similary, the constant for #$GovernmentFn can be applied to the constant (or other reified or reifiable term) for _any_ instance of #$GeopoliticalEntity to form a reifiable NAT that denotes that region's government; and should this NAT appear in a sentence that is asserted to the KB, it will thereby become a NART. Note, however, that not all NATs are such that it is desireable that they should become reified (i.e. become NARTs) if they appear in assertions; for more on this see #$UnreifiableFunction and #$CycLUnreifiedReifiableNonAtomicTerm.
> guid: bd588002-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory #$AtemporalNecessarilyEssentialCollectionType
> direct specialization of: #$Function-Denotational
> direct generalization of: #$DerivedWordFormingFunction #$SubcollectionRelationFunction-TypeLevel #$MetricUnitPrefix #$AnimalPartRegionFunction #$VariableAritySkolemFuncN #$SubcollectionRelationFunction-InstanceLevel #$SkolemFuncN #$VariableAritySkolemFunction #$SkolemFunction #$SubcollectionFunction #$SubcollectionRelationFunction-Inverse #$SubcollectionRelationFunction-Canonical #$UnaryIntersectionFunction

#$CycLReifiableDenotationalTerm CycL reifiable denotational terms **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A subcollection of both #$CycLClosedDenotationalTerm and #$CycLIndexedTerm (qq.v.). #$CycLReifiableDenotationalTerm is the collection of all CycL terms that both may be reified and may denote something in the universe of discourse. It thus includes all instances of #$CycLConstant as well as any NAT (see #$CycLNonAtomicTerm and #$Function-Denotational) whose functor denotes an instance of #$ReifiableFunction. For example, the NAT `(#$GovernmentFn #$France)' is a #$CycLReifiableDenotationalTerm, since #$GovernmentFn is an instance of #$ReifiableFunction. Similarly, `(#$JuvenileFn #$Platypus)' is a #$CycLReifiableDenotationalTerm; although it is not currently reified in the KB, it is reifiable and denotational (see #$CycLClosedDenotationalTerm). Finally, `(#$BorderBetweenFn #$Canada #$Mexico)' is a #$CycLReifiableDenotationalTerm; although it happens not to denote anything in the universe of discourse, it is nonetheless the kind of NAT that can and often does denote. Note that #$CycLVariables are not considered reifiable terms.
> guid: bd63a0ce-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$CycLExpressionType
> direct specialization of:
> direct generalization of: #$ELReifiableDenotationalTerm #$HLReifiedDenotationalTerm #$CycLReifiableNonAtomicTerm #$CycLConstant #$CycLReifiedDenotationalTerm #$CognitiveCycFORT #$UMLFORT

#$termOfUnit term of unit **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$termOfUnit is an inference-related Cyc predicate which appears in system-generated assertions; #$termOfUnit maps unreified reifiable non-atomic terms ( NATs -- see #$CycLUnreifiedReifiableNonAtomicTerm) to indexed data structures reified by the system. Assertions with #$termOfUnit are added by the system when an unreified reifiable NAT first appears in a Cyc formula that is added to the knowledge base. When such a NAT is first used in a formula, the Cyc system automatically creates an indexed data structure to reify the NAT. A name is automatically assigned to the new data structure by the Cyc system. (Typically, it is a name which is identical to the unreified reifiable NAT, but one should not be misled by this identity into thinking that #$termOfUnit is a specialization of #$equals.) The predicate #$termOfUnit maps the system-generated data structure to the original NAT. (#$termOfUnit DATA-STRUCTURE NAT) means that the data structure DATA-STRUCTURE was created to reify the value of the non-atomic term NAT, and that NAT refers to DATA-STRUCTURE, which in turn denotes something in the range of the function in the 0th (or arg 0 ) position of NAT. For example, if an assertion such as (#$isa (#$RepairingFn #$Automobile) #$ProductType) introduced the unreified reifiable NAT (#$RepairingFn #$Automobile) in the Cyc knowledge base, the system would create a data structure to reify the value of (#$RepairingFn #$Automobile). The system would assign the name (#$RepairingFn #$Automobile) to the newly created data structure. The system would also associate the newly reified data structure with the unreified refiable NAT by means of the #$termOfUnit assertion, (#$termOfUnit (#$RepairingFn #$Automobile) (#$RepairingFn #$Automobile). Note: #$termOfUnit assertions are entered in the #$BaseKB because the mapping between a NAT and the data structure reified for it holds universally. One should view #$termOfUnit assertions as bits of bookkeeping knowledge which are very rarely, if ever, entered into the Cyc knowledge base by hand.
> guid: bd5880e4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ReformulatorIrrelevantFORT #$InferenceRelatedBookkeepingPredicate #$StrictlyFunctionalPredicate #$DefaultMonotonicPredicate #$BinaryPredicate

#$SkolemFunction skolem function **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$SkolemFunction is a collection of Cyc system-generated functions that implement existential quantifications in Cyc. Whenever someone asserts to Cyc an expression that contains a `#$thereExists', Cyc automatically creates a new instance of #$SkolemFunction and rewrites the assertion using that Skolem function, as described in what follows. (Most Cyc users don't need to know the following details, which are supplied only for the curious.) Suppose we tell Cyc that every animal has a birth date; i.e., for each animal, there exists a date such that the animal was born on that date --- in CycL, (#$implies (#$isa ?X #$Animal)(#$thereExists ?Y (#$birthDate ?X ?Y))). In response to that CycL formula, Cyc would create a new element of #$SkolemFunction -- we might call it the `BirthDateFn' -- whose single argument would be an animal and whose resultant value would be a date, namely, that animal's date of birth. Subsequently, Cyc would automatically use the `BirthDateFn' in asserting our rule, eliminating the need for a `#$thereExists'. Our formula would thus be rewritten by the system, as follows: (#$implies (#$and (#$isa ?X #$Animal) (#$termOfUnit ?Y (`BirthDateFn' ?X))) (#$birthDate ?X ?Y)). See also #$termOfUnit. Note: Although our example uses the name 'BirthDateFn' for our Skolem function, at this time (4/97), Skolem functions are automatically named by the Cyc system using the prefix `SKF-' followed by a number.
> guid: c05813b7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$FunctionCategory
> direct specialization of: #$ReifiableFunction
> direct generalization of: #$VariableAritySkolemFunction #$FixedAritySkolemFunction #$SkolemFuncN

### 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

### Argument Genl

The ``arg-genls'' predicates are another way (besides ``arg-isa'') to constrain the arguments of relations. Use of these predicates is optional and frankly not even very common. Of course, one can state more complicated sorts of constraints than ``arg-isa'' and ``arg-genls'' by asserting a longer Cyc formula, but these two types of short-cuts handle the most common cases.

#$arg1Genl arg 1 genl

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

#$arg2Genl arg 2 genl

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

#$arg3Genl arg 3 genl

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

#$arg4Genl arg 4 genl

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

#$arg5Genl arg 5 genl

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

#$argsGenl args genl

> A binary #$ArgGenlPredicate (q.v.) that is used to put a specified #$genls based argument-type constraint on all of a given relation's argument-places at once. (#$argsGenl RELN COL) means that semantic well-formedness requires that each argument to which RELN is applied (regardless of argument-place) be an subcollection of COL. For example, `(#$argsGenl #$PerformSimultaneouslyFn #$Event)' means that the function #$PerformSimultaneouslyFn must only be applied to types of events. #$argsGenl is particularly useful for constraining (any and all of) the arguments to a #$VariableArityRelation (the preceding example being a case in point); though #$argsGenl 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 #$argsIsa.
> guid: bd651c1b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredicate #$DefaultMonotonicPredicate #$ArgGenlBinaryPredicate

### 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

### Logical Connectives

#$implies implies **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A #$LogicalConnective that represents the material implication relation in #$CycL. It is a #$FixedArityRelation, taking two #$ELSentence-Assertibles as arguments. (#$implies ANTE CONSEQ) means that either the sentence ANTE is false, or the sentence CONSEQ is true (possibly both); equivalently, it is not the case that ANTE is true and CONSEQ is false. Cyc assertions that begin with #$implies are used during inference: both modus ponens and modus tollens. (Cf. by contrast #$sentenceImplies -- a mere predicate primarily intended to be used for rules that quantify over #$CycL formulas.
> guid: bd5880f8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MacroRelation #$BinaryRelation #$LogicalConnective #$Individual

#$not not

> An instance of both #$LogicalConnective and #$UnaryRelation. which takes an instance of #$ELSentence-Assertible as its argument. (#$not SENT) is true if and only if SENT is false (and false if and only if SENT is true).
> guid: bd5880fb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryRelation #$LogicalConnective #$Individual

#$and and (relationship) (mathematical concept)

> A #$LogicalConnective that represents conjunction in #$CycL. It is a #$VariableArityRelation, taking an arbitrary number of #$ELSentence-Assertibles as arguments. (#$and P Q ... Z) is true if and only if all of the sentences P, Q, ..., and Z are true.
> guid: bd5880f9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AssociativeRelation #$CommutativeRelation #$VariableArityRelation #$LogicalConnective #$Individual

#$or or

> A #$LogicalConnective that represents disjunction in #$CycL. It is a #$VariableArityRelation, taking an arbitrary number of #$ELSentence-Assertibles as arguments. (#$or P Q ... Z) is true if and only if at least one of the sentences P, Q, ..., or Z is true.
> guid: bd5880fa-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AssociativeRelation #$CommutativeRelation #$VariableArityRelation #$LogicalConnective #$Individual

#$forAll for all **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$forAll is Cyc's version of the universal quantifier of predicate calculus (i.e., the operator symbolized in one common notation by an upside-down `A'). As its two arguments, #$forAll takes a variable (which is an instance of #$ELVariable) and an instance of #$ELSentence-Assertible, respectively. (#$forAll VAR FORM) means that FORM is true whenever all the occurrences of the variable VAR in the formula FORM are replaced by any object in the Cyc universe. For example, to say that every person is a mammal, we could assert: (#$forAll ?X (#$implies (#$isa ?X #$Person) (#$isa ?X #$Mammal). In addition, CycL follows a convention that allows #$forAll to be omitted; that is, when no explicit quantifier is used, seemingly unbound variables inside formulas are assumed to be universally quantified. With that convention, the sample assertion could be written more compactly as: (#$implies (#$isa ?X #$Person) (#$isa ?X #$Mammal). [Developer-level footnote: There are many `flavors' of quantification `on the market' these days; here is how the Cyc system currently handles axioms that involve #$forAll: When processing an FI-ASK about whether an assertion of the form (#$forAll VAR FORM) is true or not, Cyc determines extensionally whether or not any known VAR (anything in the knowledge base) could make FORM false. When processing an FI-PROVE about whether an assertion of the form (#$forAll VAR FORM) is true or not, Cyc tries to construct an intensional proof (at least at a default-true level) that FORM must be true regardless of what VAR is ever inserted therein. When processing an FI-ASSERT in which a user or program tells Cyc that an assertion of the form (#$forAll VAR FORM) is true, Cyc records it intensionally so that it can later serve as part of an intensional proof, when some future FI-PROVE request is processed.]
> guid: bd5880f7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryRelation #$Quantifier #$Individual

#$thereExists there exists **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$thereExists is Cyc's version of the existential quantifier of predicate calculus (i.e., the operator symbolized in one common notation by a backwards 'E'). As its two arguments, #$thereExists takes a variable (which is an instance of #$ELVariable) and an instance of #$ELSentence-Assertible, respectively. (#$thereExists VAR FORM) means that FORM is true in at least one case (and possibly more) in which all occurrences of the variable VAR in FORM are replaced by an object in the Cyc universe. For example, to say that every person has a mother, we could assert: (#$forAll ?PER (#$implies (#$isa ?PER #$Person) (#$thereExists ?MOM (#$mother ?MOM ?PER)))). [Developer-level footnote: There are many `flavors' of quantification `on the market' these days; here is how the Cyc system currently handles axioms that have #$thereExists in the arg0 position: When processing an FI-ASK about whether (#$thereExists VAR FORM) is true or not, Cyc determines extensionally whether or not any known VAR (anything in the knowledge base) satisfies FORM (makes it true.) When processing an FI-PROVE about whether (#$thereExists VAR FORM) is true or not, Cyc tries to construct an intensional proof (at least at a default-true level) that there must exist some value of VAR --- which may or may not already be known in the KB -- for which FORM must be true. When processing an FI-ASSERT in which a user or program tells Cyc that (#$thereExists VAR FORM) is true, Cyc records the assertion intensionally so that it can later serve as part of an intensional proof, when some future FI-PROVE request is processed. It does this by creating a new #$SkolemFunction (q.v.). When modus ponens is used with a rule of the form (#$implies ANTECEDENT (#$thereExists VAR FORM)), and the formula ANTECEDENT is true, then Cyc will generate a new term for VAR, add that to its language, and assert that the new term satisfies FORM.]
> guid: bd5880f6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExistentialQuantifier #$BinaryRelation #$Individual

#$thereExistAtLeast there exist at least **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> An #$ExistentialQuantifier and a specialized (albeit higher #$arity) form of #$thereExists (q.v.). (#$thereExistAtLeast NUM VAR SENT) means that there are at least NUM distinct objects which, when taken as the value of the #$ELVariable VAR in the #$ELSentence-Assertible SENT, make SENT true (where NUM is an instance of #$PositiveInteger). If VAR does not in fact appear in SENT, then (#$thereExistAtLeast NUM VAR SENT) will have the same truth value as SENT (whatever that is). See also #$thereExistAtMost, #$thereExistExactly.
> guid: c10af5e7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExistentialQuantifier #$TernaryRelation #$Individual

#$thereExistAtMost there exist at most

> An #$ExistentialQuantifier and a specialized (albeit higher #$arity) form of #$thereExists (q.v.). (#$thereExistAtMost NUM VAR SENT) means that there are at most NUM distinct objects which, when taken as the value of the #$ELVariable VAR in the #$ELSentence-Assertible SENT, make SENT true (where NUM is an instance of #$PositiveInteger). If VAR does not in fact appear in SENT, then (#$thereExistAtMost NUM VAR SENT) will have the same truth value as SENT (whatever that is). See also #$thereExistAtLeast, #$thereExistExactly.
> guid: c10af932-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExistentialQuantifier #$TernaryRelation #$Individual

#$thereExistExactly there exist exactly

> An #$ExistentialQuantifier and a specialized (albeit higher #$arity) form of #$thereExists (q.v.). (#$thereExistExactly NUM VAR SENT) means that there are exactly NUM distinct objects which, when taken as the value of the #$ELVariable VAR in the #$ELSentence-Assertible SENT, make SENT true (where NUM is an instance of #$PositiveInteger). If VAR does not in fact appear in SENT, then (#$thereExistExactly NUM VAR SENT) will have the same truth value as SENT (whatever that is). See also #$thereExistAtLeast, #$thereExistAtMost.
> guid: c10ae7b8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TernaryRelation #$ExistentialQuantifier #$Individual

#$True true (mathematical concept) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> An instance of #$TruthValue. #$True is logical truth in Cyc; this is the abstract logical notion--not to be confused with Lisp's T, nor with the English word `true'.
> guid: bd5880d9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TruthValue #$Individual

#$False false **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> An instance of #$TruthValue. #$False is logical falsehood in Cyc; this is the abstract logical notion--not to be confused with Lisp's NIL, nor with the English word `false'.
> guid: bd5880d8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TruthValue #$Individual

#$equals equals

> The binary identity relation. (#$equals THING1 THING2) means that THING1 and THING2 are numerically (as opposed to qualitatively ) identical, i.e. they are one and the same thing. A sentence of the above form is true if and only if the terms occupying the two argument-places of `#$equals' denote the same thing.
> guid: bd5880c9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StrictlyFunctionalSlot #$DefaultMonotonicPredicate #$EquivalenceRelation

#$evaluate evaluate (binary predicate) (CycL predicate) (relationship) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> If the arg1 of #$evaluate is a variable, (#$evaluate VAR EXPRESSION) is satisfied by an HL module which evaluates EXPRESSION and binds VAR to the result. For example, (#$evaluate ?SUM (#$PlusFn 1 2)) would bind ?SUM to 3. If the arg1 is a fully-bound expression, then the HL module checks to see if the arg2 evaluates to the arg1. For example, asking (#$evaluate 3 (#$PlusFn 1 2)) returns #$True.
> guid: c03afa6d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

#$different having a distinct identity from

> A variable-arity predicate (see #$VariableArityRelation) that is used to state the non-identity of two or more things. (#$different THING1..THINGn) means that for any THINGi and THINGj (where 0 <= i <= n, 0 <= j <= n, and i =/ j), THINGi is not identical with THINGj. That is, each of THING1, ..., THINGn is distinct from all of the others. Cf. #$equals.
> guid: bd63f343-9c29-11b1-9dad-c379636f7270
> direct instance of: #$EvaluatablePredicate #$ComparisonPredicate #$CommutativeRelation #$VariableArityRelation
> direct specialization of: #$differentSymbols

### Expressions

#$CycLExpression CycL expressions

> The collection of all syntactically well-formed expressions in the CycL language. This includes constants, variables, non-atomic terms, formulas, sentences, etc. Since the CycL syntax allows any CycL expression to be used as a term, #$CycLExpression is actually coextensional with #$CycLTerm (q.v.). Note that #$CycLExpression, like most #$CycLExpressionTypes, is a #$quotedCollection (q.v.).
> guid: be90c21d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$CycLExpressionType
> direct specialization of:
> direct generalization of: #$HLExpression #$ELExpression #$CycLSentence #$SubLNonNegativeInteger #$SubLSymbol #$CycLReifiableNonAtomicTerm #$ELSentence-Assertible #$ELVariable #$CycLOpenExpression #$CycLClosedExpression #$CycLFormula #$CycLTerm #$CycLDenotationalTerm #$CycLAtomicTerm #$CycLExpression-Askable #$GenericArgTemplate

#$ELSentence-Assertible states of affairs **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$ELSentence. Each instance of this collection is an #$ELSentence which is not only syntactically but also semantically well-formed -- which includes such matters as the (in-context) satisfaction of #$arity and argument-type constraints on predicates and relations. Each instance of #$ELSentence-Assertible meets the necessary criteria for being asserted into the Cyc Knowledge Base (at which time it becomes an #$ELAssertion, which is subsequently transformed into one or more #$HLAssertions by the #$CycCanonicalizer). Of course, a sentence's being assertible does not entail that it is actually asserted, but only that it could be asserted. An assertible EL sentence consists of an EL expression denoting a logical relation (i.e. a #$Predicate or #$TruthFunction) followed by an appropriate (in accordance with the #$arity of the logical relation) number of EL terms (cf. #$CycLTerm) of the appropriate types, with the entire sequence enclosed in parentheses. Here is an example of an #$ELSentence-Assertible : (#$and (#$isa #$Muffet #$Dog) (#$residesInRegion #$Muffet #$CityOfAustinTX). For a thorough discussion of what constitutes a well-formed CycL formula, see the Cyc documentation.
> guid: bd58809e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$CycLExpressionType #$LinguisticObjectType
> direct specialization of: #$LinguisticObject
> direct generalization of: #$ELAssertion

#$ELVariable EL variables

> The collection of all #$CycLVariables that are also #$ELExpressions (q.v.). An #$ELVariable is a character string consisting of a question mark `?' (as its initial character) followed by one or more characters, where each of these latter characters is either an (upper- or lower-case) Roman letter, an Arabic numeral (i.e. `0' through `9'), a hyphen (`-'), an underscore (`_'), or another question mark. (The letters occurring in an EL variable used in an actual assertion will typically be all uppercase; but this convention is not enforced in any formal way.) Examples: `?WHAT', `?OBJ-TYPE', and `?var0'. Note that this collection, like most instances of #$CycLExpressionType, is quoted (see #$quotedCollection).
> guid: bd61ff36-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$CycLExpressionType
> direct specialization of:

### Default Reasoning

#$overrides is used when the assertions involved are general rules (axioms with quantifiers) and where those assertions will produce contradictory results in some situations. #$overrides makes it possible to resolve the contradictions by giving one of the assertions priority over the other.

To take a trite example:

P1 = "If something is a penguin, it can't fly."
P2 = "If something is a bird, it can fly."
P1 overrides P2.

#$exceptFor and #$exceptWhen are ``user interface'' predicates for stating rules about defaults. Statements using them are transformed into statements using #$abnormal by the system.
#$overrides overrides

> The binary predicate #$overrides (which relates two instances of #$CycLAssertion) is used to tell Cyc which rule to prefer when it encounters two conflicting rules while reasoning with default assertions. (#$overrides FIRST SECOND) means that if the assertions FIRST and SECOND both appear in conflicting arguments for and against some proposition, the argument that contains FIRST is to be preferred.
> guid: bd58a273-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate #$MetaKnowledgePredicate

#$exceptFor except for **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$exceptFor TERM ASSERTION) means that TERM is a thing, about which ASSERTION is known not to hold. #$exceptFor is a special case of #$exceptWhen (q.v.), applicable when ASSERTION has only one universally quantified variable. (#$exceptFor TERM ASSERTION) prevents TERM from binding to that variable, thereby blocking the conclusions about TERM that Cyc might otherwise draw from ASSERTION. In other words, if ASSERTION is an implication, then whatever proposition(s) -- call that Q -- that Cyc might have concluded about TERM from ASSERTION may or may not be true in Cyc, but (due to the exception) they would no longer be justified, even partially, by ASSERTION. Also, assertions made at the EL level with #$exceptFor are canonicalized into statements that do not reference #$exceptFor, but instead reference the predicate #$abnormal (see #$EmptinessOfAbnormalityNote). Note that the exception TERM should be a particular binding for the rule, not a collection, all of whose members the rule does not apply to.
> guid: bd65cd99-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExceptionRelation #$BinaryRelation

#$exceptWhen except when

> This predicate relates a general assertion to a condition under which the assertion is known not to hold. More precisely, (#$exceptWhen FORMULA ASSERTION) means that FORMULA gives a condition under which ASSERTION fails to hold, and thus under which ASSERTION should not be used as justification for other inferences. In other words: ASSERTION holds, except (at least) in the case of FORMULA. Normally, ASSERTION is an (implicitly) universally quantified sentence, and FORMULA, in effect, places a restriction on the possible values of the universally quantified variables in ASSERTION. Since implicit universal quantification is interpreted as always having the widest possible scope, in the sentence (#$exceptWhen FORMULA ASSERTION) the free variables in ASSERTION are interpreted as if bound by quantifiers whose scope included the entire #$exceptWhen sentence. So any such variable in ASSERTION may also appear in FORMULA, and any of its occurrences in the latter are interpreted as if bound by the same wide-scope quantifier that binds the occurrences in ASSERTION. For example, if ASSERTION were (#$implies (#$isa ?THING #$GeographicalThing) (#$thereExists ?OTHER (#$northOf ?OTHER ?THING))) and FORMULA were (#$spatiallySubsumes #$NorthPole ?THING), the occurrence of the variable ?THING in the latter would be interpreted as if it were bound by the same wide-scope universal quantifer that binds the two occurrences of ?THING in the former. So the entire #$exceptWhen sentence would mean that every geographical thing has something to the north of it, except when the thing is spatially subsumed by the North Pole. A common special case of #$exceptWhen is handled by #$exceptFor (q.v.). Note that assertions made at the EL level with #$exceptWhen are canonicalized into statements that do not contain #$exceptWhen, but instead contain the predicate #$abnormal (see #$EmptinessOfAbnormalityNote.)
> guid: bd595e7e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ExceptionRelation #$BinaryRelation

#$abnormal abnormal (default monotonic predicate) (binary predicate) (CycL predicate) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Every default rule in our system P(x1,...,xn) => Q(x1,...,xn) is implicitly treated as (not(abnormal(x1,...,xn)) and P(x1,...,xn) => Q(x1,...,xn) This allows rules without exceptions to never have to incur the overhead of default reasoning. Exceptions to rules are written like so: (#$exceptWhen R(x1,...,xn) Rule001) and get canonicalized into rules concluding abnormal like so: R(x1,...,xn) => (#$abnormal(x1,....,xn) Rule001) Since a different 'abnormality' predicate is needed for every default rule in the system, we instead handle this uniqueness requirement by having a single #$abnormal predicate which takes the rule in question as an argument. Also, the variables over which abnormality is computed is given as a single list. This allows #$abnormal to be binary rather than arbitrary arity.
> guid: bd5880bd-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate #$DefaultMonotonicPredicate

#$NoteAboutStatingExceptionsInCycL note about stating exceptions in cyc l **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The formula (#$exceptWhen P(?x0 ... ?xn) Q(?x0 ... ?xn))) states that, in situations where assertion Q would apply to a set of bindings for variables ?x0 ... ?xn, the conclusion is allowed `except when' P(?x0 ... ?xn) is true for these variable bindings. The formula (#$exceptFor [term] Q(?x0)) states that, in situations where assertion Q would apply to a variable ?x0, the conclusion is allowed `except for' the situations where [term] is the binding for ?x0. To be well-formed, Q must be a rule with exactly one free variable. By definition, #$exceptFor is merely syntactic sugar: (#$exceptFor [term] Q(?x0)) <=> (#$exceptWhen (equals ?x0 [term]) Q(?x0)) Since an #$exceptWhen statement is a meta-statement about some rule Q(?x0 ... ?xn), the statement is not well-formed if Q(?x0 ... ?xn) is not already an assertion in the KB. Also, strictly speaking, P and Q in the #$exceptWhen merely must share some variables rather than all variables as it's been written above. These constructs replace `abnormal' at the EL (epistemological level). Old assertions of the form: (#$implies P(?x0 ... ?xn) (abnormal R(?x0 ... ?xn) Q(?x0 ... ?xn))) become: (#$exceptWhen P(?x0 ... ?xn) Q(?x0 ... ?xn)) The predicate `abnormal' has not actually gone away, but was modified for use as the HL (Heuristic Level) implementation of #$exceptWhen. Like #$termOfUnit, `abnormal' should be viewed as an inference-maintained predicate, and human beings should not be manually asserting things using `abnormal.' ;;; ;; EXAMPLES ;;; Rule1: `birds fly' (#$implies (#$isa ?BIRD #$Bird) (#$behaviorCapable ?BIRD #$Flying-FlappingWings #$performedBy) Exception1: `for penguins, the ``birds fly'' rule does not apply' (#$exceptWhen (#$isa ?BIRD #$Penguin) [Rule1]) Exception2: `the ``birds fly'' rule does not apply to Tweety' (#$exceptFor Tweety [Rule1]) Exception3: `for an animal with an injured wing, the ``birds fly'' rule does not apply' (#$exceptWhen (#and (#$anatomicalParts ?BIRD ?WING) (#$isa ?WING #$Wing-AnimalBodyPart) (#$hasPhysiologicalAttributes ?WING #$Injured) [Rule1]) Rule2: ``dogs who like the same cat like each other'' (#$implies (?and (#$isa ?DOG1 #$Dog) (#$isa ?DOG2 #$Dog) (#$isa ?CAT #$Cat) (#$likesAsFriend ?DOG1 ?CAT) (#$likesAsFriend ?DOG2 ?CAT)) (#$likesAsFriend ?DOG1 ?DOG2)) Exception3: `Rex does not like other dogs according to ``Rule2''' (#$exceptWhen (#$equals ?DOG1 Rex) [Rule2]) Exception4: `Fifi is not liked by other dogs according to `Rule2''' (#$exceptWhen (#$equals ?DOG2 Fifi) [Rule2]) Exception5: `Morris is not such a cat according to ``Rule2''' (#$exceptWhen (#$equals ?CAT Morris) [Rule2])
> guid: be660580-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SharedNote #$Individual

#$MetaAssertionsForPolyCanonicalizingAssertions meta assertions for poly canonicalizing assertions **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> If one wishes to state a fact M about an formula F, i.e. if one wishes to assert the meta-assertion M(F) and if F canonicalizes into multiple assertions, a_1, a_2...a_n, then one may have to do a non-standard procedure. If F canonicalizes into a_1, a_2...a_n *and* when any of a_1, a_2...a_n uncanonicalize back into F then the meta assertion M(F) gets automatically distributed to each of a_1, a_2...a_n. In such a case M(F) ends up in the knowledge base as several assertions, i.e. M(a_1), M(a_2), ... M(a_n). In other cases (i.e. where a polycanonicalizing formula does not uncanonicalize back into itself) (typically rarer), one will have to do the non-standard procedure of distributing the meta-assertions by hand. Example (of the more standard case): (fi-assert '(#$implies (#$isa ?x #$Animal) (#$thereExists ?y (#$and (#$isa ?y #$FemaleAnimal) (#$mother ?x ?y)))) #$BaseKB) produces in the two assertions: #<AS:(#$implies (#$and (#$isa ?X #$Animal) (#$termOfUnit ?Y (SKF-16480338 ?X))) (#$mother ?X ?Y)):#$BaseKB> #<AS:(#$implies (#$and (#$isa ?X #$Animal) (#$termOfUnit ?Y (SKF-16480338 ?X))) (#$isa ?Y #$FemaleAnimal)):#$BaseKB> Note that these two assertions share the common EL formula: (#$implies (#$isa ?x #$Animal) (#$thereExists ?y (#$and (#$isa ?y #$FemaleAnimal) (#$mother ?x ?y)))) Now if we add a meta assertion that references this formula: (fi-assert '(#$salientAssertions #$mother (#$implies (#$isa ?x #$Animal) (#$thereExists ?y (#$and (#$isa ?y #$FemaleAnimal) (#$mother ?x ?y))))) #$BaseKB) the meta formula automatically distributes over the two assertions: #<AS:(#$salientAssertions #$mother #<AS:(#$implies (#$and (#$isa ?X #$Animal) (#$termOfUnit ?Y (SKF-16480338 ?X))) (#$mother ?X ?Y)):#$BaseKB):#$BaseKB> #<AS(#$salientAssertions #$mother #<AS:(#$implies (#$and (#$isa ?X #$Animal) (#$termOfUnit ?Y (SKF-16480338 ?X))) (#$isa ?Y #$FemaleAnimal)):#$BaseKB):#$BaseKB> This new behavior was added to the system on December 9, 1998. It can be turned-off by setting the parameter CYC::*DISTRIBUTE-META-OVER-COMMON-EL?* to nil.
> guid: bfb7415a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SharedNote #$Individual

### 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

### Negation Relations

#$negationPreds mutually-negating predicate (taxonomic slot) (intangible object relating predicate) (symmetric binary predicate)

> A #$MetaPredicate for stating that two predicates are logical contraries of one another. (#$negationPreds PRED1 PRED2) means that if PRED1 holds among a given sequence of things, then PRED2 does _not_ hold among that sequence (and vice versa). In other words, (#$negationPreds PRED1 PRED2) is equivalent to (#$not (#$and (PRED1 . ARGS) (PRED2 . ARGS))). For example, (#$negationPreds #$owns #$rents) holds, as one cannot both own and rent a given thing at the same time. Note that PRED1 and PRED2 are constrained (see e.g. #$interArgIsa) either to both having the same fixed-arity (see #$FixedArityRelation) or to both having variable-arity (see #$VariableArityRelations). See also #$genlPreds and #$negationInverse.
> guid: bd610a5c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TaxonomicSlotForPredicates #$OpenCycDefinitionalPredicate #$DefaultMonotonicPredicate #$SymmetricBinaryPredicate #$RuleMacroPredicate #$IrreflexiveBinaryPredicate

#$negationInverse negation inverse

> A #$MetaPredicate for stating that each of two binary predicates is a logical contrary of the other's inverse. (#$negationInverse BINPRED1 BINPRED2) means that if BINPRED1 holds between a pair <THING1, THING2>, then BINPRED2 does _not_ hold between the inverse pair <THING2, THING1> (and vice versa). In other words, (#$negationInverse BINPRED1 BINPRED2) is equivalent to (#$not (#$and (BINPRED1 ARG1 ARG2) (BINPRED2 ARG2 ARG1))). Note that any #$AsymmetricBinaryPredicate is related to itself by #$negationInverse. For example, (#$negationInverse #$subordinates #$subordinates) holds, since if one person is a subordinate of another, the latter person cannot at the same time also be a subordinate of the former. See also #$negationPreds and #$genlInverse.
> guid: bd5c44e1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TaxonomicSlotForPredicates #$OpenCycDefinitionalPredicate #$SymmetricBinaryPredicate #$RuleMacroPredicate

### Connections To The Computational Substrate

#$defnSufficient defn sufficient

> A #$CycInferenceDescriptorPredicate. (#$defnSufficient COL TEST) means that TEST is the name of a piece of code in the SubL implementation of Cyc that specifies, and tests for, a sufficient condition for a CycL term's denoting an instance of (see #$isa) the collection COL. If TEST returns `T' (for `True') when applied to a particular term, then that term's denotatum is considered to be an instance of COL. Note that TEST isn't necessarily a necessary test for membership in COL; that is, not all instances of COL must pass the test, unless TEST is also a #$defnNecessary for COL. See the related predicates #$defnNecessary and #$defnIff.
> guid: bd5880ee-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CycInferenceDescriptorPredicate #$InferenceRelatedBookkeepingPredicate #$BinaryPredicate

#$defnIff defn iff

> A #$CycInferenceDescriptorPredicate. (#$defnIff COL TEST) means that TEST is the name of a piece of code in the SubL implementation of Cyc that specifies, and tests for, a necessary and sufficient condition for a CycL term's denoting an instance of (see #$isa) the collection COL. If and only if TEST returns `T' (for `True') when applied to a particular term can that term's denotatum be considered an instance of COL; all and only terms that denote instances of COL must fulfill TEST's requirements. See also #$defnNecessary and #$defnSufficient.
> guid: bd5880ed-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CycInferenceDescriptorPredicate #$InferenceRelatedBookkeepingPredicate #$StrictlyFunctionalSlot
> direct specialization of: #$defnSufficient #$defnNecessary

#$defnNecessary defn necessary

> A #$CycInferenceDescriptorPredicate. (#$defnNecessary COL TEST) means that TEST is the name of a piece of code in the SubL implementation of Cyc that specifies, and tests for, a necessary condition for a CycL term's denoting an instance of (see #$isa) the collection COL. Only if TEST returns `T' (for `True') when applied to a particular term can that term's denotatum be considered an instance of COL; all terms that denote instances of COL must fulfill TEST's requirements, although there may be additional requirements for denoting an instance of COL as well. See also #$defnSufficient and #$defnIff.
> guid: bd60e145-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CycInferenceDescriptorPredicate #$InferenceRelatedBookkeepingPredicate #$BinaryPredicate

#$evaluationDefn evaluation defn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$evaluationDefn is used to relate an evaluatable Cyc function or predicate to the name of the piece of code that is used to evaluate it. (#$evaluationDefn E-REL NAME) means that the #$SubLSymbol NAME is the name of a piece of Heuristic Level (SubL) code in the Cyc system which is used to compute the value of expressions containing the #$EvaluatableRelation E-REL.
> guid: bd5880c1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CycInferenceDescriptorPredicate #$InferenceRelatedBookkeepingPredicate #$IntangibleObjectRelatingPredicate #$StrictlyFunctionalSlot #$DefaultMonotonicPredicate

#$SubLList SubL lists

> A collection of list-denoting expressions that are not represented in CycL (i.e. they are not #$CycLConstants or #$CycLNonAtomicTerms) but are represented in SubL, the underlying implementation language of the Cyc system. Each instance of #$SubLList is a sequence of #$SubLListOrAtoms (q.v.) enclosed in parentheses. SubL lists are those things that pass the #$defnIff LISTP. Note that this collection is quoted (see #$quotedCollection).
> guid: bd589695-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$ObjectType
> direct specialization of: #$SubLListOrAtom
> direct generalization of: #$SubLListOfStrings #$CycELVariableList #$InferenceBinding

#$SubLSymbol Cyc system symbols

> The collection of all #$SubLAtoms that are also symbols in the SubL language. That is, each instance of #$SubLSymbol satisfies the #$defnIff SYMBOLP. Note that `symbol' has a very specific, technical meaning in SubL. Save for those that are variables (see #$SubLVariable), #$SubLSymbols are rarely used in CycL assertions, except within those built with certain #$CycInferenceDescriptorPredicates like #$defnIff. Examples of SubL symbols include the symbols `GENLS' and `CYC-SYSTEM-NON-VARIABLE-SYMBOL-P'. Note also that #$SubLSymbol is a quoted-collection (see #$quotedCollection).
> guid: bd58a644-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$ObjectType
> direct specialization of:
> direct generalization of: #$SubLKeyword #$SubLVariable #$ELVariable #$SubLNonVariableSymbol

#$SubLRealNumber Cyc system real numbers

> The collection of all number-denoting expressions in the CycL language that are _not_ CycL constants or NATs, but are terms of SubL, the underlying implementation language of the Cyc system. #$SubLRealNumbers are numeric strings of the Arabic decimal system, including the decimal point and scientific notation. Examples include the terms `212' and `3.14159d0'. Non-examples include the expressions `#$One', `(#$Meter 6)', `(#$Unity 3)', `:34', `#$PlusInfinity', and `Avogadro's number'. Note that this collection, like most instances of #$CycLExpressionType, is quoted (see #$quotedCollection).
> guid: bd59086c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$CycLExpressionType
> direct specialization of: #$SubLAtomWithValue #$RationalNumber
> direct generalization of: #$SubLInteger

#$EvaluatableFunction evaluatable functions

> A specialization of both #$EvaluatableRelation and #$Function-Denotational (qq.v.). Each instance of #$EvaluatableFunction is a function that is associated (via #$evaluationDefn) with a piece of HL ( heuristic level ) code that computes the result of applying the function to arguments for which that function is defined. An evaluation of this sort is carried out, for example, when the system is queried using an #$evaluate (q.v.) sentence. As one might expect, most evaluatable functions are mathematical or syntactic in nature; for, unlike with functions generally, operations on numbers, sets, lists, and strings can in many cases be calculated algorithmically. Examples include #$PlusFn and #$JoinListsFn. The practical result of evaluating a term built from (a constant that denotes) an evaluatable function is another _term_ -- one that has the same denotatum as the former term, but that is syntactically simpler and constitutes a more straightforward way of referring to that denotatum. For example, the term `(#$PlusFn 2 3 4)', when evaluated, results in the term `9'. So if a query using the open sentence `(#$evaluate ?X (#$PlusFn 2 3 4))' is asked, the answer (or binding for the free variable '?X') returned will be the term `9'. By way of contrast, consider the non-evaluatable function #$BorderBetweenFn and the following arbitrarily-chosen non-atomic term built with its CycL name: `(#$BorderBetweenFn #$France #$Germany)'. As there is no general algorithm for finding simpler or standard terms for given geographical borders, it is not possible for the Cyc system to evaluate non-atomic terms like this one.
> guid: bd58829b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AtemporalNecessarilyEssentialCollectionType #$FunctionCategory
> direct specialization of: #$EvaluatableRelation #$UnreifiableFunction
> direct generalization of: #$FunctionFromQuantitiesToQuantities #$NumericQuantifier

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