n04785195
| type | n |
| lex_filenum | 07 |
| def | (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another |
| Outgoing links | |
| Hypernym | logicality, logicalness |
| Domain of synset - TOPIC | logic |
| Incoming links | |
| Hyponym | logicality, logicalness |
| Member of this domain - TOPIC | logic |
Click for the XML entry