Home

Formalized Common Knowledge

Documentation Index

A-F	G-Q	R-Z
Abbreviations in Cyc (AISs) Abstract strings and characters #$actionExpressesFeeling Actors #$actors #$ActorSlot Actor slots Commonly used actor slots Lesson on Actor Slots #$Agent #$anatomicalParts #$and #$AppropriateEmotion #$argsGenl #$arg[N]genl #$argsIsa #$arg[N]Isa #$arg1Isa Argument Lesson on Argument Types Arity #$arity Lesson on Arity Artifact Assertion Asymmetric Atomic formula #$BaseKB #$betweenOnPath Binary Predicate #$BorderBetweenFn The canonicalizer Collection #$Collection Lesson on Collections and Individuals Collection-denoting functions #$comment #$Communicating #$connectedTo (Logical) Connectives Constant Constraints #$containsInformation Context (aka Microtheories) Context introduction #$contraryFeelings #$cotemporalSubEvents #$CounterfactualContext (CWs) Conceptual Works (Information lesson) CycL CycL Formulas #$CyclicalIntervalGroupType CycL Syntax Lesson on CycL Syntax Dates Denotational functions #$desires Devices Direction Disjoint #$disjointWith Disjunction Emotion #$Event Lesson on Events in Cyc Event types Lesson on Event Types #$ExistingStuffType Existential quantifier #$ExistingObjectType Expression Financial Vocabulary #$followingIntervalType Food #$forAll Formulas Frames and Slots Function #$Function-Denotational Functions vs. Predicates	GAFs #$genls #$genlInverse #$genlMt Geography #$GroupFn Groups Hand-reification #$hasAttributes Lesson on Horn Rules #$HumanActivity #$HypotheticalContext (IBTs) Information-bearing things #$implies #$IndexedInfoSource Individual #$individual #$IndividualDenotingFunction Inference Information Lesson on information #$InformationBearingThing #$informationOrigin #$InformationTransferEvent Inheritance #$Intangible #$intersectsIntervalType #$isa #$ist (KB) Knowledge Base #$knows Left hand side of rules Lesson on why Cyc uses logic #$LogicalConnective Logical Connective Material Vocabulary #$Microtheory Lesson on microtheories #$myCreator Naming Conventions NARTS (NATs) Nonatomic terms #$negationInverse #$negationPreds (NL) Natural Language Cyc-NL Documentation #$not Ontology #$or Organizations #$orientation #$parts Part-whole vocabulary #$performedBy #$doneBy #$Person #$physicalDecompositions #$physicalParts #$physicalPortions (PITs) Propositional content #$Predicate Predicate Predicates vs. Functions #$PropositionalInformationThing Quantification #$Quantifier Quantifier Quantity Vocabulary Queries as ASKs	#$recipientOfInfo #$CycLReifiableDenotationalTerm Reification #$RelationalStructure Relation #$Relationship #$RelationshipType #$rents #$resultGenl #$resultIsa Roles in events Role and capability vocabulary #$Role Lesson on Roles Rule Lesson on Rule Macro Predicates Rule Macro Predicates Rule-writing exercises #$screwedTo #$ScriptType #$senderOfInfo -SET #$Situation Skolemization #$SolidTangibleThing Spatial Vocabulary Lesson on Spatial Relations #$SpatialThing-Localized Spec #$startsAfterStartingOf #$StaticSituation #$subsetOf Sub-collection #$subEvents Lesson on Subevents #$subsumedByIntervalType #$subsumesIntervalType #$Taxonomic Biological Taxonomy #$TemporallyDisjointIntervalType #$temporallyIntersects #$TemporalObjectType Temporal relationships #$TemporalStuffType #$TemporalThing Term There exists #$thereExists #$thereExistsAtLeast #$thereExistsExactly #$Thing Time Representation Time vocabulary Time Exercises #$TimeInterval #$topicOfInfoTransfer Top Level Vocabulary Transfer of #$isa through #$genls Transitivity of genls #$TransportationEvent #$Transportation Vocabulary #$TransportViaFn #$TruthFunction Truth maintenance system Unary functions Universal quantifier Upper Cyc Ontology #$VariableArityRelation Well-formedness