by cycorpinc | Apr 12, 2021
A conjunct is one term of a conjunction. For example, this conjunction has three conjuncts: (and (colorOfObject Leaf0475 GreenColor) (colorOfObject Kermit GreenColor) (or (colorOfObject DollarBill234820 GreenColor) (colorOfObject BladeOfGrass92112 GreenColor))) These...
by cycorpinc | Apr 12, 2021
Conjunction is represented in Cyc by the CycL logical connective #$and. A CycL formula is sometimes called a conjunction if it begins with #$and.
by cycorpinc | Apr 12, 2021
A formula in CycL or first-order predicate calculus is in conjunctive normal form (CNF) if it is a conjunction of disjunctions of literals. For example, (#$and (#$or (#$not (#$isa ?C #$Cloud)) (#$colorOfObject ?C #$WhiteColor) (#$colorOfObject ?C #$GreyColor)) (#$or...
by cycorpinc | Apr 12, 2021
The consequent of a rule is its right-hand side (RHS), that is, the second argument to the #$implies connective with which the rule begins. Intuitively, every rule states that if the antecedent is true, then the consequent is true.
by cycorpinc | Apr 12, 2021
Constants, represented in the Cyc Knowledge Base by #$CycLConstant, are atomic terms introduced into CycL by explicit creation. Constants such as #$FishTaco or #$likesAsFriend begin with #$. Constants are one type of FORT; the other type are non-atomic reified...
