Galnet - Galician WordNet 3.0

logo sli

Explore Galnet

Galego | English
Version:
Search variants in 
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|
Polarity:
  positive negative
SentiWordNet: 0.25 0
ML-SentiCon: 0.25 0.25
Time:
  past present future atemporal
TempoWordNet: 0 0 0 1

Explore the terminological domain with [Termonet]
PT Variants
- demonstração [dɨmõʃtrɐsˈɐ̃w]
Gloss
prova de um teorema lógico
CA Variants
- demostració
EU Variants
- frogapen
ES Variants
- demostración
- prueba_lógica
Gloss
prueba de un teorema lógico
EN Variants
- logical_proof
Gloss
proof of a logical theorem
IT Variants
- dimostrazione
Lexical relations in WordNet via ILI (3) - Show / Hide graph:
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