Not logged in : Login |
A KEFacilitationPredicate (q.v.) and specialization of keRelevantInverse (q.v.) that relates a collection to a binary predicate. (keConsiderationInverse COL BINPRED) means that for any reified instance INST of COL, it should be determined whether there is anything THING such that BINPRED holds between INST and THING, and if so it is suggested that one consider asserting (BINPRED INST THING) in the Cyc Knowledge Base. See also keConsiderationPreds.
Attributes | Values |
---|---|
comment |
|
label |
|
label |
|
type |