zhen1 de5 (true)

The BinaryPredicate that relates a Sentence to its TruthValue.

Ontology

SUMO / QUALITIES

Superrelation(s)

te4 xing4

zhen1 de5

Type restrictions

true(ju4 zi5, zhen1 zhi2)

Axioms (5)

if agent (bu2) pian1 ai4not(s) formula1 zai4 formula2,
then if formula1 &$shi4 zhen1 de5, then formula2 &$shi4 jia3 de5

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

If agent (bu2zhi1 dao4s) %2, then formula &$shi4 zhen1 de5.

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

If pretend shi4 wei3 zhuang1 de5 shi2 li4, then there exist person,prop so_that_not pretend you3 yi4 tu2 "person (bu2)xiang1 xin4 prop" and prop &$shi4 zhen1 de5.

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

If formula you3 shu3 xing4 ke3 neng2 de5, then ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4".

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

If formula you3 shu3 xing4 bu2 tai4 ke3 neng2 de5, then ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4".

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