true (true)

The BinaryPredicate that relates a Sentence to its TruthValue.

Ontologie

SUMO / QUALITIES

Superrelation(s)

property

true

Typy argumentů

true(věta, pravdivostní hodnota)

Axiomy (5)

jestliže agent prefers formula1 over formula2,
potom jestliže formula1 is true, potom formula2 is false

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

Jestliže agent knows formula, potom formula is true.

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

Jestliže pretend je instancí třídy předstírání, potom existují person,prop tak, že pretend has purpose "person believes prop" a prop is true.

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

Jestliže formula má atribut likely, potom "probability fn(formula is true)" je větší než "probability fn(formula is false)".

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

Jestliže formula má atribut unlikely, potom "probability fn(formula is false)" je větší než "probability fn(formula is true)".

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