Galnet - WordNet 3.0 do Galego

logo sli

Pescudas no Galnet

Galego | English

Versión:
Procurar variantes en 
ili-30-01430628-a CILI: i7815
WordNet Domains: quality
SUMO Ontology: Reasoning+
Top Ontology:
Basic Level Concept:
Epinonyms: [3] quality
[3] quality |0,87|
[2] ili-30-04784664-n (has_hyperonym) |1|
[1] ili-30-01430111-a (has_xpos_hyperonym) |1|
[0] ili-30-01430628-a (near_synonym) |0,6|
Polaridade:
  positivo negativo
SentiWordNet: 0.375 0
ML-SentiCon: 0.75 0.125
Tempo:
  pasado presente futuro atemporal
TempoWordNet: 0 0 0 1

Explorar o ámbito terminolóxico en [Termonet]
GL Variantes
- formal [foɾˈmal] · [RILG] [DRAG]
PT Variantes
- formal [furmˈał]
Glosa
logicamente dedutiva
CA Variantes
- formal
ES Variantes
- formal
EN Variantes
- formal ['fɔrməɫ]
formal proof
Glosa
FR Variantes
- formel
Relacións léxico-semánticas no WordNet vía ILI (9) - Amosar / Agochar gráfico:
Synonyms
(near_synonym)
01430111-a: capable of or reflecting the capability for correct and valid reasoning
Glosses
(gloss)
00363744-r: according to logical reasoning
Glosses
(gloss)
01296474-a: involving inferences from general principles
Glosses
(rgloss)
00665630-v: prove formally; demonstrate by a mathematical, formal proof
Glosses
(rgloss)
05971621-n: (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
Glosses
(rgloss)
06163548-n: any formal system of reasoning that arrives at the truth by the exchange of logical arguments
Glosses
(rgloss)
06165823-n: a system of logic whose formal properties resemble certain moral and epistemological concepts
Glosses
(rgloss)
06286230-n: formal expression containing variables; becomes a sentence when variables are replaced by constants
Glosses
(rgloss)
06647614-n: a formal series of statements showing that if one thing is true something else necessarily follows from it