true (true)

The BinaryPredicate that relates a Sentence to its TruthValue.

Ontology

SUMO / QUALITIES

Superrelation(s)

property

true

Type restrictions

true(sentence, truth value)

Axioms (5)

if agent prefers formula1 over formula2,
then if formula1 is true, then formula2 is false

(=>
      (prefers ?AGENT ?FORMULA1 ?FORMULA2)
      (=>
            (true ?FORMULA1 True)
            (true ?FORMULA2 False)))

If agent knows formula, then formula is true.

(=>
      (knows ?AGENT ?FORMULA)
      (true ?FORMULA True))

If pretend is an instance of pretending, then there exist person,prop so that pretend has purpose "person believes prop" and prop is true.

(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))

If formula has an attribute likely, then "the probability of "formula is true"" is greater than "the probability of "formula is false"".

(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))

If formula has an attribute unlikely, then "the probability of "formula is false"" is greater than "the probability of "formula is true"".

(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))