en:oewn-04792642-n

n.
⦿(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
lexical concept

Semantic relations

Display as or learn more about the individual relations.

! Data may be omitted; view table for full details.

wn:	part of speech	wn:noun
∴ontolex:	lexicalized sense	enl:completeness

wn:

⊑