Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- universalForwardReificationRule
- SetOrCollectionTypeByCardinality
- PotentialNotablePartTypeCardinalityBasisPredicate
- ncRuleReificationRelationGeneralityCutoffs
- mitreWeaknessCategoryDescription
- minimizeExtentForArg
- minimizeExtent
- LookingForSomething-Indefinite
- LookingForSomething-Definite
- learnedWhileReading
- krRelevantPreds
- krRelevantInverse
- krRelevant
- knownAntecedentRule
- keyRuleEnglishSummary
- IncompleteTransitivityInTemporalRelations
- HumanlyDecidableCollection
- grosslyIncompleteWithArgNotFullyBound
- grosslyIncompleteWithAnyArgsNotFullyBound
- grosslyIncompleteWithAllArgsNotFullyBound
- forwardReificationRule
- FormulaTemplateAssertionCardinality-Single
- FormulaTemplateAssertionCardinality-Multiple
- FormulaTemplateAssertionCardinality
- eventNameForConstantReificationPurposes
- DecidingWhichInstrumentPredicateToUse
- computerDataLocationDesignator
- completeSubstructureTemplateForDocumentTypeAsserted
- CompletenessPredicate
- completelySpecifiedGolemModel
- CompletelySimplifyingATwoArgDivisionExpression
- CompletelySimplifyingAMathExpression-VariablesButNoVariableBindings
- CompletelySimplifyingAMathExpression-VariableBindingsKnown
- CompletelySimplifyingAMathExpression-NoVariables
- CompletelySimplifyingAMathExpression-NoOpCase
- CompletelySimplifyingAMathExpression-New
- CompletelySimplifyingAMathExpression-FractionalExpression
- CompletelySimplifyingAMathExpression
- CompletelyEvaluatingATwoArgMultiplicationExpression
- CompletelyEvaluatingATwoArgDivisionExpression
- CompletelyEvaluatingAMathematicalExpression-TopLevel
- CompletelyEvaluatingAMathematicalExpression-FlexibleNumberOfOperands
- CompletelyEvaluatingAMathematicalExpression-Enclosed
- CompletelyEvaluatingAMathematicalExpression
- completelyEnumerableCollection
- completelyDecidableCollection
- completelyAssertedCollection
- completeExtentEnumerableViaBackchain
- completeExtentEnumerableForValuesInArgs
- completeExtentEnumerableForValueInArg
- completeExtentEnumerableForArg
- completeExtentEnumerable
- completeExtentDecidableForValueInArg
- completeExtentDecidable
- completeExtentAssertedForValueInArg
- completeExtentAsserted
- completeByNature
- completeByExternalConvention
- completeByCycConvention
- completeByConvention
- collectionSalientSharedFeatureAssertions
- collectionCompletelyEnumerableViaBackchain
- collectionCheckPreferred
- cardinalityOfPossibilitySpace-RelnToType
- cardinalityOfEventSteps
- cardinalityOf
- cardinalityGreaterThan
- cardinalityConstraintViolatedWRT
- cardinalityAtMost
- cardinalityAtLeast
- cardinality
- assertionProducedByReformulation
- assertedForRepresentationTaskType
- [Mon](isa ruleTemplateDirection MetaKnowledgePredicate)
- [Mon](isa ruleGivesFormulaForCalculatingSlotValue MetaKnowledgePredicate)
- [Mon](isa rewriteExpansion MetaKnowledgePredicate)
- [Mon](isa relationExpansion MetaKnowledgePredicate)
- (completeByExternalConvention DayOfWeekType)
- "An instance of #$CompletenessGroundsPredicate that is used to state, about a collection or predicate whose extent is inferentially complete (see #$InferenceCompletenessPredicate), that the completeness derives mainly from a conventional stipulation, rather than from the nature of the items in the extent themselves, and that the convention is one stipulated by the designers of the Cyc system itself. For example, (completeExtentAsserted CanonicalizerDirective) holds, and so does (completeByCycConvention CanonicalizerDirective). Cf. completeByExternalConvention."
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
