Galnet - WordNet 3.0 do Galego

[0] 06750804-n | eng: proposition | glg: proposición { [1] statement }

[+1] 1 has_hyperonym 06722453-n | eng: statement | glg: afirmación, declaración { [1] content } [+1] 2 has_hyponym 06751142-n | eng: particular, particular_proposition { [1] logic } [+2] 1 near_antonym 06751367-n | eng: universal, universal_proposition { [1] logic } [+1] 3 has_hyponym 06751367-n | eng: universal, universal_proposition { [1] logic } [+2] 1 near_antonym 06751142-n | eng: particular, particular_proposition { [1] logic } [+1] 4 has_hyponym 06751572-n | eng: negation { [1] logic } [+2] 1 related_to 02663141-v | eng: belie, contradict, negate { [2] logic } [+1] 5 has_hyponym 06751742-n | eng: converse { [2] statement } [+1] 6 has_hyponym 06751833-n | eng: lemma { [2] statement } [+1] 7 has_hyponym 06752293-n | eng: theorem | glg: teorema { [2] statement } [+2] 1 has_hyponym 06036939-n | eng: binomial_theorem { [1] statistics } [+1] 8 has_hyponym 06753030-n | eng: conclusion, ratiocination | glg: conclusión { [2] statement } [+1] 9 has_hyponym 06753299-n | eng: posit, postulate | glg: postulado { [1] logic } [+2] 1 has_hyponym 05918704-n | eng: Bayes'_postulate { [1] statistics } [+2] 2 has_hyponym 06753800-n | eng: assumption, premise, premiss | glg: premisa { [2] logic } [+3] 1 has_hyponym 06754184-n | eng: major_premise, major_premiss { [3] logic } [+3] 2 has_hyponym 06754415-n | eng: minor_premise, minor_premiss, subsumption { [3] logic } [+3] 3 has_hyponym 06755454-n | eng: thesis | glg: tese { [3] logic } [+3] 4 has_hyponym 06755568-n | eng: condition, precondition, stipulation | glg: condición { [3] logic } [+4] 1 has_hyponym 06755776-n | eng: boundary_condition { [1] math } [+4] 2 has_hyponym 06755947-n | eng: provision, proviso | glg: condición, disposición, provisión { [4] logic } [+5] 1 related_to 00556318-a | eng: probationary, provisional, provisionary, tentative | glg: provisional { [3] period } [+6] 1 has_derived 00088777-r | eng: provisionally | glg: provisionalmente { [4] period } [+6] 2 has_derived 00179212-r | eng: tentatively { [4] period } [+5] 2 related_to 01063188-v | eng: provide { [5] logic } [+4] 3 related_to 01018928-v | eng: condition, qualify, specify, stipulate | glg: especificar, estipular { [2] information [2] statement } [+3] 5 has_hyponym 06756111-n | eng: scenario { [3] logic } [+3] 6 related_to 00632236-v | eng: assume, presume, take_for_granted | glg: dar_por_feito, dar_por_sentado, dar_por_suposto, presumir, supoñer { [2] act } [+3] 7 related_to 00717208-v | eng: premise, premiss { [3] logic } [+2] 3 related_to 00716758-v | eng: posit, postulate { [2] logic } [+1] 10 has_hyponym 06753550-n | eng: axiom | glg: axioma { [1] logic } [+2] 1 has_hyponym 06005692-n | eng: Euclid's_axiom, Euclid's_postulate, Euclidean_axiom { [1] math } [+3] 1 has_hyponym 06005999-n | eng: Euclid's_first_axiom { [2] math } [+3] 2 has_hyponym 06006117-n | eng: Euclid's_second_axiom { [2] math } [+3] 3 has_hyponym 06006243-n | eng: Euclid's_third_axiom { [2] math } [+3] 4 has_hyponym 06006364-n | eng: Euclid's_fourth_axiom { [2] math } [+3] 5 has_hyponym 06006458-n | eng: Euclid's_fifth_axiom, parallel_axiom { [2] math } [+2] 2 has_pertainym 02653385-a | eng: axiomatic, axiomatical, postulational | glg: axiomático { [2] logic } [+3] 1 has_derived 00121657-r | eng: axiomatically { [3] logic } [+3] 2 related_to 06753550-n | eng: axiom | glg: axioma { [1] logic } [+2] 3 related_to 01618895-a | eng: axiomatic, self-evident, taken_for_granted | glg: axiomático { [2] logic } [+3] 1 has_derived 00448773-r | eng: self-evidently { [3] logic } [+2] 4 related_to 02653385-a | eng: axiomatic, axiomatical, postulational | glg: axiomático { [2] logic } [+3] 1 has_derived 00121657-r | eng: axiomatically { [3] logic } [+3] 2 pertains_to 06753550-n | eng: axiom | glg: axioma { [1] logic } [+1] 11 has_hyponym 80000511-n | eng: if_and_only_if { [2] statement } [+1] 12 has_mero_part 06751974-n | eng: term | glg: termo { [2] grammar } [+2] 1 has_hyponym 06310125-n | eng: subject { [1] logic } [+2] 2 has_hyponym 06316813-n | eng: predicate { [1] logic } [+3] 1 related_to 01017222-v | eng: predicate { [2] logic } [+2] 3 has_hyponym 06603242-n | eng: referent { [3] grammar } [+2] 4 has_hyponym 06603366-n | eng: relatum { [3] grammar } [+2] 5 has_hyponym 06752410-n | eng: categorem, categoreme { [3] grammar } [+3] 1 near_antonym 06752695-n | eng: syncategorem, syncategoreme { [1] word } [+3] 2 related_to 02592890-a | eng: categorematic | glg: categoremático { [1] logic } [+2] 6 has_hyponym 06754658-n | eng: major_term { [3] grammar } [+2] 7 has_hyponym 06754816-n | eng: minor_term { [3] grammar } [+2] 8 has_hyponym 06754972-n | eng: middle_term { [3] grammar } [+1] 13 category 06163751-n | eng: logic | glg: lóxica { [1] philosophy }

Galnet - WordNet 3.0 do Galego

Extracción terminolóxica