Sponsor of the Day:
Jerkmate
https://cyc.com/archives/glossary/predicate/
Predicate - Cyc
Apr 20, 2021 - Predicates are represented in CycL by constants or NARTs that are sometimes referred to as
predicate cyc
https://cyc.com/archives/glossary/rule-macro-predicate/
Rule macro predicate - Cyc
Apr 20, 2021 - A rule macro predicate is a predicate that is used to state a rule in a compact way that can be read more easily and supported with removal modules for more...
predicate cycrulemacro
https://cyc.com/archives/glossary/functional-predicate/
Functional predicate - Cyc
Apr 20, 2021 - A functional predicate is a predicate that has at least one argument place with the following property: given any sequence of legal arguments placed in such a...
predicate cycfunctional