Synsets for "true"

Synset: true.n.01

Synonyms: true

Part of Speech: NOUN

Definition: proper alignment; the property possessed by something that is in correct or proper alignment

Examples: out of true

Lemmas: true

Hypernym: alignment

Hyponym:

Antonyms:

    

Synset: true.v.01

Synonyms: true

Part of Speech: VERB

Definition: make level, square, balanced, or concentric

Examples: true up the cylinder of an engine

Lemmas: true true_up

Hypernym: align

Hyponym:

Antonyms:

    

Synset: true.a.01

Synonyms: true

Part of Speech: ADJECTIVE

Definition: consistent with fact or reality; not false

Examples: 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

Lemmas: true

Hypernym:

Hyponym:

Antonyms: false

    

Synset: true.s.02

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: accurately placed or thrown

Examples: his aim was true | he was dead on target

Lemmas: true dead_on_target

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.s.03

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: devoted (sometimes fanatically) to a cause or concept or truth

Examples: true believers bonded together against all who disagreed with them

Lemmas: true

Hypernym:

Hyponym:

Antonyms:

    

Synset: truthful.a.01

Synonyms: truthful

Part of Speech: ADJECTIVE

Definition: expressing or given to expressing the truth

Examples: a true statement | gave truthful testimony | a truthful person

Lemmas: truthful true

Hypernym:

Hyponym:

Antonyms: untruthful

    

Synset: true.s.05

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: conforming to definitive criteria

Examples: the horseshoe crab is not a true crab | Pythagoras was the first true mathematician

Lemmas: true

Hypernym:

Hyponym:

Antonyms:

    

Synset: dependable.s.02

Synonyms: dependable

Part of Speech: ADJECTIVE SATELLITE

Definition: worthy of being depended on

Examples: a dependable worker | an honest working stiff | a reliable sourcSFLe of information | he was true to his word | I would be true for there are those who trust me

Lemmas: dependable honest reliable true

Hypernym:

Hyponym:

Antonyms:

    

Synset: genuine.s.02

Synonyms: genuine

Part of Speech: ADJECTIVE SATELLITE

Definition: not pretended; sincerely felt or expressed

Examples: genuine emotion | her interest in people was unfeigned | true grief

Lemmas: genuine true unfeigned

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.s.08

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: rightly so called

Examples: true courage | a spirit which true men have always admired | a true friend

Lemmas: true

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.s.09

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: determined with reference to the earth's axis rather than the magnetic poles

Examples: true north is geographic north

Lemmas: true

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.s.10

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: having a legally established claim

Examples: the legitimate heir | the true and lawful king

Lemmas: true lawful rightful

Hypernym:

Hyponym:

Antonyms:

    

Synset: on-key.s.01

Synonyms: on-key

Part of Speech: ADJECTIVE SATELLITE

Definition: in tune; accurate in pitch

Examples: a true note

Lemmas: on-key true

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.s.12

Synonyms: true

Part of Speech: ADJECTIVE SATELLITE

Definition: accurately fitted; level

Examples: the window frame isn't quite true

Lemmas: true straight

Hypernym:

Hyponym:

Antonyms:

    

Synset: true.r.01

Synonyms: true

Part of Speech: ADVERB

Definition: as acknowledged

Examples: true, she is the smartest in her class

Lemmas: true admittedly avowedly confessedly

Hypernym:

Hyponym:

Antonyms:

    

Related Wikipedia Samples:

Article Related Text
True Spark Then, on May 15, 2016, True Spark and Toon Channel combined to "True Spark Play" and "True Spark Jump".
True believer True believer(s) or The True Believer may refer to:
True Corporation Today, True Corporation Public Company Limited, has pushed communication businesses into one brand, "True", promoting the companies in the form of True Convergence.
JavaScript syntax console.log(true == 1 ); // true... true → 1 === 1 ← 1
De Morgan algebra Another example is Dunn's 4-valued logic, in which "false" < "neither-true-nor-false" < "true" and "false" < "both-true-and-false" < "true", while "neither-true-nor-false" and "both-true-and-false" are not comparable.
Contraposition It is given that, if A is true, then B is true, and it is also given that B is not true. We can then show that A must not be true by contradiction. For, if A were true, then B would have to also be true (given). However, it is given that B is not true, so we have a contradiction. Therefore, A is not true (assuming that we are dealing with concrete statements that are either true or not true):
FO (complexity) The semantics of the formulae in FO is straightforward, formula_16 is true iff is false, formula_17 is true iff is true and is true, and formula_18 is true iff formula_19 is true for all values that may take in the underlying universe. For "P" a "c"-ary predicate, formula_20 is true if and only if when formula_21 is interpreted as formula_22 formula_23 is true.
True Corporation True Corporation Public Company Limited (TRUE) is a communication conglomerate in Thailand. True controls Thailand's largest cable TV provider TrueVisions, its largest ISP True Internet and one of Thailand's largest mobile operators, TrueMove H, which is second only to AIS, having surpassed third ranked Dtac in January 2017. As of August 2014, True, along with True GIF, have a combined market capitalization of some US$10 billion. TrueMove is also partnered with Vodafone Group plc.
True Sport True Sport Club Channels are a set of football dedicated pay-per-view channels launched on 10 January 2009 replacing True Sport 5. It mainly broadcast Premier League matches of Big Four including magazine programmes from club channels and Premier League matches from another teams. True Sport Club Channel M broadcasts Manchester United, True Sport Club Channel L for Liverpool FC, True Sport Club Channel A for Arsenal and True Sport Club Channel C for Chelsea FC.
True Adventures In 2012 True Adventures ran three events. "Giants' Travail", "Draco-Lich Undone" and the True Grind.
True Skov True Skov (True Forest) is a woodland, west of Skjoldhøjkilen in Aarhus, Denmark.
True Confessions (magazine) Macfadden-Bartell purchased the magazine in 1963. Macfadden spun off its romance and teen magazines as a separate company in 1992, which then merged with Sterling publication to form Sterling/MacFadden. Dorchester Media bought Sterling/Macfadden in 2004. In 2006, Dorchester teamed with Leisure Entertainment to launch a series of paperback anthologies titled "True Confessions", "True Romance" and "True Story." In 2012, Dorchester Media sold True Confessions and True Story magazines to True Renditions LLC.
True Traitor, True Whore A cassette version of "True Traitor, True Whore" was released on Inferna Profundus, limited to 300 copies.
Logical conjunction ""A" and "B"" is true only if "A" is true and "B" is true.
JavaScript syntax console.log("2" != true); console.log("2"? true : false); // "2" → 2 ... (2 != 1) ... 1 ← true
Contraposition We also know that B is either true or not true. If B is not true, then A is also not true. However, it is given that A is true; so, the assumption that B is not true leads to contradiction and must be false. Therefore, B must be true:
Natural deduction In words, if "A ∨ B" is true, and we can derive "C true" both from "A true" and from "B true", then "C" is indeed true. Note that this rule does not commit to either "A true" or "B true". In the zero-ary case, "i.e." for falsehood, we obtain the following elimination rule:
Implicational propositional calculus Then ("A"→"B")→(("C"→"A")→"E") is true; "F"→(("C"→"D")→"E") is true; "A"→"F" is true; "D" is true; and "E" is false.
Logical disjunction ""A" or "B"" is true if "A" is true, or if "B" is true, or if both "A" and "B" are true.
Liar paradox If (B) is neither true nor false, then it must be not true. Since this is what (B) itself states, it means that (B) must be true. Since initially (B) was not true and is now true, another paradox arises.