Not logged in : Login |
A KEFacilitationPredicate (q.v.) that is (along with keRelevantPreds) the most general of those that relate a collection to a binary predicate. (keRelevantInverse COL BINPRED) means that for any reified instance INST of COL, if there is anything THING such that BINPRED holds between THING and INST, asserting (BINPRED THING INST) in the Cyc Knowledge Base is worth considering and perhaps advisable. But note: the specializations of keRelevantInverse are keWeakSuggestionInverse, keStrongSuggestionInverse, keConsiderationInverse, and keStrongConsiderationInverse (qq.v.); and one should use one of these instead of keRelevantInverse itself whenever possible. In fact, keRelevantInverse was created mainly for use in situations where one wants to say something general about all of these specializations.
Attributes | Values |
---|---|
comment |
|
label |
|
label |
|
type |