Galnet - Galician WordNet 3.0

logo sli

Explore Galnet

Galego | English
Version:
Search variants in 
ili-30-06165147-n CILI: i68954
WordNet Domains: mathematics
SUMO Ontology: FieldOfStudy@
Basic Level Concept: 05661996-n system
Epinonyms: [6] ability
[6] ability |1|
[5] ili-30-05616786-n (has_hyperonym) |1|
[4] ili-30-05660268-n (has_hyperonym) |1|
[3] ili-30-05661996-n (has_hyperonym) |1|
[2] ili-30-05664069-n (has_hyperonym) |1|
[1] ili-30-06164665-n (has_hyperonym) |1|
[0] ili-30-06165147-n (has_hyperonym) |1|
Polarity:
  positive negative
SentiWordNet: 0 0
ML-SentiCon: 0.125 0
Time:
  past present future atemporal
TempoWordNet: 0 0 0 1

Explore the terminological domain with [Termonet]
CA Variants
- lògica_proposicional
ES Variants
- cálculo_proposicional
- lógica_proposicional
EN Variants
- propositional_calculus
- propositional_logic
Gloss
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
DE Variants
- Aussagenlogik
FR Variants
- calcul_des_propositions
- calcul_propositionnel
Lexical relations in WordNet via ILI (6) - Show / Hide graph:
Hyperonyms
(has_hyperonym) 		06164665-n: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Glosses
(gloss) 		00713167-v: make a logical or causal connection
Glosses
(gloss) 		03091374-n: an instrumentality that connects
Glosses
(gloss) 		06164665-n: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Glosses
(gloss) 		06750804-n: (logic) a statement that affirms or denies something and is either true or false
Glosses
(gloss) 		07963711-n: a collection of things that have been combined; an assemblage of separate parts or qualities