Not logged in : Login |
A KEFacilitationPredicate (q.v.) and specialization of oeStrongSuggestion that relates a collection to a binary predicate. (oeStrongSuggestionPreds 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 oeStrongSuggestionInverse.
Attributes | Values |
---|---|
comment |
|
label |
|
label |
|
type |