true (True)

Ontology

Class(es)

ValoreDiVeritá

true

Coordinate term(s)

Related WordNet synsets

verisimilitude

the appearance of truth; the quality of seeming to be true
     

factuality, factualness

the quality of being actual or based on fact; "the realm of factuality must be distinguished from the realm of imagination"
        

real McCoy, real thing, real stuff

informal usage attributing authenticity
     

sooth

(archaic) truth or reality; "in sooth"
     

truthfulness

the quality of being truthful
              

truth

a fact that has been verified; "at last he knew the truth"; "the truth is the he didn't want to do it"
           

fact

an event known to have happened or something known to have existed; "your fears have no basis in fact"; "how much of the story is fact and how much fiction is hard to tell"
     

reality

the state of the world as it really is rather than as you might want it to be; "businessmen have to face harsh realities"
           

truth, verity

conformity to reality or actuality; "they debated the truth of the proposition"; "the situation brought home to us the blunt truth of the military threat"; "he was famous for the truth of his portraits"; "he turned to religion in his search for eternal verities"
           

real, existent

being or occurring in fact or actuality; having verified existence; not illusory; "real objects"; "real people; not ghosts"; "a film based on real life"; "a real illness"; "real humility"; "Life is real! Life is earnest!"- Longfellow
           

actual

taking place in reality; not pretended or imitated; "we saw the actual wedding on television"; "filmed the actual beating"
  

actual, factual

of the nature of fact; having actual existence; "rocks and trees...the actual world"; "actual heroism"; "the actual things that produced the emotion you experienced"
  

true

consistent with fact or reality; not false; "the story is true"; "it is undesirable to believe a proposition when there is no ground whatever for supposing it true"- B. Russell; "the true meaning of the statement"
           

truly, genuinely, really

in accordance with truth or fact or reality; "she was now truly American"; "a genuinely open society"; "they don't really listen to us"
  

de facto

in reality or fact; "the result was, de facto, a one-party system"

Axioms (6)

• se agent preferisces formula1 su formula2,
• allora se formula1 é true, allora formula2 é false
.

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

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

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

(contraryAttribute False True)

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

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