Not logged in : Login |
(keStrongSuggestion TERM FORMULA) states a strong suggestion that FORMULA should be known to be true about TERM. This is most useful at expressing suggestions or expectations about TERM which can then be used by tools that look for KB omissions, or conditions that explicitly violate these expectations. See also keWeakSuggestion, keRequirement, keStrongSuggestionPreds.
Attributes | Values |
---|---|
comment |
|
label |
|
label |
|
type |