Ontify
⌘
S
⌘
S
Uniqueness Quantification - Ontify
Share
Uniqueness Quantification
Uniqueness
Logical quantification stating that a statement holds for exactly one object.
Wikipedia | Uniqueness Quantification
Statements about
Uniqueness Quantification
Subclass Of
Existential Quantification
Has Use
Member of a Group
Notation
THERE EXISTS
Exclamation Mark
Unnamed
:
1
Series Ordinal
:
1
Series Ordinal
:
2
Wikidata