Galnet - Galician WordNet 3.0

logo sli

Explore Galnet

Galego | English

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

Explore the terminological domain with [Termonet]
GL Variants
- formal [foɾˈmal] · [RILG] [DRAG]
PT Variants
- formal [furmˈał]
Gloss
logicamente dedutiva
CA Variants
- formal
ES Variants
- formal
EN Variants
- formal ['fɔrməɫ]
formal proof
Gloss
FR Variants
- formel
Lexical relations in WordNet via ILI (9) - Show / Hide graph:
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