The TruthValue of being true.
SUMO / QUALITIES
Related WordNet synsets
See more related synsets on a separate page.
- 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
- (archaic) truth or reality; "in sooth"
- the quality of being truthful
- a fact that has been verified; "at last he knew the truth"; "the truth is the he didn't want to do it"
- 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"
- 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
- 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"
- 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"
(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)
(believes ?PERSON ?PROP))
(true ?PROP True))))
false is opposed to true.
(contraryAttribute False 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)
(true ?FORMULA True))
(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)
(true ?FORMULA False))
(true ?FORMULA True))))