IsTrueLink

From OpenCog

IsTrueLink is a virtual link that upon evaluation returns true iff all the outgoing atoms have a TRUE_TV, corresponding to a SimpleTruthValue with a strength and a confidence of 1.

Format

IsFalseLink
  <atom-1>
  ...
  <atom-n>

is evaluated to true iff atom-1 to atom-n have simple truth value (stv 1 1).