by cycorpinc | Apr 12, 2021
Predicates are represented in CycL by constants or NARTs that are sometimes referred to as “CycL predicates” or, more casually, as “predicates.” Like CycL functions (the other kind of relation-denoting constants), CycL predicates can be used as...
by cycorpinc | Apr 12, 2021
A problem is an object used by the Worker to store a query under consideration by one or more inferences, as well as meta-information about that query, including: problem links expressing its logical or inferential connections to other problems tactics indicating...
by cycorpinc | Apr 12, 2021
Quantification is an expression of the quantity (roughly: how many?) of entities that have a property. Quantifiers — terms that express quantification — exist in natural languages (“few”, “some”, “all”) and in formal...
by cycorpinc | Apr 12, 2021
A quantifier is a special type of Cyc constant used in quantification. CycL contains four quantifiers, represented in the Cyc Knowledge Base as instances of #$Quantifier: #$forAll, #$thereExists, #$forAllVars, and #$thereExistVars. Each quantifier introduces one or...
by cycorpinc | Apr 12, 2021
“Query” has been used to mean a lot of different things with regard to Cyc. Depending on context, it could mean one of: A CycL sentence intended to be asked, aka a query sentence. A CycL sentence, Mt, and list of inference parameters that are passed to the...
