exhaustivité
nom
Légende Types et catégories Parties et touts Liés et contraires
- Type de mot
- nom
- verbe
- adjectif
- adverbe
- Style de trait
- relation principale
- instance, membre ou dérivé
- substance, domaine ou voir aussi
- Direction
- la flèche pointe vers le concept plus général
- Cliquez sur un mot pour le déployer.
Sens
Sens 1 nom
(logique) attribut d'un système logique constitué de telle sorte qu'une contradiction surgit si on introduit toute proposition qui ne peut être déduite des axiomes du système (traduction automatique)
Types et catégories
- logique hypernym
Liés et contraires
- logique domain topic
Vue tableau de ce graphe
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | domain topic | Liés et contraires | logique |
| 1 | hypernym | Types et catégories | logique |