wahr (true)

The BinaryPredicate that relates a Sentence to its TruthValue.

Ontology

SUMO / QUALITIES

Superrelation(s)

eigenschaft

wahr

Type restrictions

true(Satz, Wahrheitswert)

Axioms (5)

wenn agent bevorzugt formula1 über formula2 ,
dann wenn formula1 ist true , dann formula2 ist false

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

Wenn agent kennt formula , dann formula ist true .

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

Wenn pretend ist ein fall von Vortäuschen , dann es gibt ein person,prop der pretend hat Zweck von "person glaubt , dass prop" und prop ist true .

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

Wenn formula hat ein attribut likely , dann "die wahrscheinlichkeit von "formula ist true "" ist grösserAls "die wahrscheinlichkeit von "formula ist false "" .

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

Wenn formula hat ein attribut unlikely , dann "die wahrscheinlichkeit von "formula ist false "" ist grösserAls "die wahrscheinlichkeit von "formula ist true "" .

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