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: