Galnet - WordNet 3.0 do Galego

logo sli

Pescudas no Galnet

Galego | English
Versión:
Procurar variantes en 
ili-30-06647960-n CILI: i71414
WordNet Domains: mathematics
SUMO Ontology: entails+
Basic Level Concept: 00033020-n communication
Epinonyms: [2] math [2] logic
[2] math |0,98|
[1] ili-30-06647614-n (category) |0,95|
[0] ili-30-06647960-n (has_hyperonym) |1|
[2] logic |0,98|
[1] ili-30-06647614-n (category) |0,95|
[0] ili-30-06647960-n (has_hyperonym) |1|
Polaridade:
  positivo negativo
SentiWordNet: 0.25 0
ML-SentiCon: 0.25 0.25
Tempo:
  pasado presente futuro atemporal
TempoWordNet: 0 0 0 1

Explorar o ámbito terminolóxico en [Termonet]
PT Variantes
- demonstração [dɨmõʃtrɐsˈɐ̃w]
Glosa
prova de um teorema lógico
CA Variantes
- demostració
EU Variantes
- frogapen
ES Variantes
- demostración
- prueba_lógica
Glosa
prueba de un teorema lógico
EN Variantes
- logical_proof
Glosa
proof of a logical theorem
IT Variantes
- dimostrazione
Relacións léxico-semánticas no WordNet vía ILI (3) - Amosar / Agochar gráfico:
Hyperonyms
(has_hyperonym) 		06647614-n: a formal series of statements showing that if one thing is true something else necessarily follows from it
Glosses
(gloss) 		06647614-n: a formal series of statements showing that if one thing is true something else necessarily follows from it
Glosses
(gloss) 		06752293-n: a proposition deducible from basic postulates