Not logged in : Login |
A KEFacilitationPredicate (q.v.) and specialization of keRelevantPreds that relates a collection to a binary predicate. (keStrongSuggestionPreds COL BINPRED) means that for every known (i.e. Cyc-reified) instance INST of COL, it is strongly suggested that there be some reified THING such that (BINPRED INST THING) is known in the Knowledge Base. See also keWeakSuggestionPreds and keStrongSuggestionInverse.
Attributes | Values |
---|---|
comment |
|
label |
|
label |
|
type |