cardinality

P23694
predicate

Indicates the number of distinct elements or members in a given set or collection.

Try in SPARQL

All labels observed (8)

Label Occurrences
hasCardinality 21
cardinality canonical 6
cardinalityProperty 4

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: cardinality
Generated description
Indicates the number of distinct elements or members in a given set or collection.

Sample triples (40)

Subject Object
Unicode Scalar Values 1112064 ⓘ
Conway groups 3 via predicate surface "hasCardinality" ⓘ
Gell-Mann matrices 8 ⓘ
DTD ? (zero or one) via predicate surface "cardinalityOperators" ⓘ
DTD * (zero or more) via predicate surface "cardinalityOperators" ⓘ
DTD + (one or more) via predicate surface "cardinalityOperators" ⓘ
Cantor set cardinality of the continuum ⓘ
Pauli matrices 3 via predicate surface "hasCardinality" ⓘ
Herbrand universe can be finite via predicate surface "cardinalityProperty" ⓘ
Herbrand universe can be countably infinite via predicate surface "cardinalityProperty" ⓘ
Veblen hierarchy countable range at each finite stage ⓘ
Bernstein set both the set and its complement have cardinality continuum via predicate surface "cardinalityProperty" ⓘ
Primary Volume Descriptor exactly one per ISO 9660 volume ⓘ
Sperner family finite via predicate surface "groundSetCardinality" ⓘ
Fermat pseudoprime infinitely many Fermat pseudoprimes are known for many bases via predicate surface "hasCardinalityProperty" ⓘ
Johnson solids 92 via predicate surface "hasCardinality" ⓘ
Johnson solids
linked to: Johnson solids are not vertex-transitive
92 via predicate surface "hasCardinality" ⓘ
Four Hundred Southerners many via predicate surface "hasCardinality" ⓘ
Liouville number
linked to: Liouville numbers
uncountable ⓘ
GF(p) p via predicate surface "hasCardinality" ⓘ
GF(p^m) p^m via predicate surface "hasCardinality" ⓘ
von Neumann neighborhood 4 (in 2D, radius 1) via predicate surface "hasCardinality" ⓘ
Farey sequence |F_n| = 1 + sum_{m=1}^n φ(m) via predicate surface "cardinalityFormula" ⓘ
Farey sequence |F_n| = 1 + sum of Euler totient function up to n via predicate surface "cardinalityFormula" ⓘ
Baire space continuum via predicate surface "hasCardinality" ⓘ
Borel set Borel σ-algebra on ℝ has cardinality continuum via predicate surface "cardinalityProperty" ⓘ
Baire space ω^ω continuum via predicate surface "hasCardinality" ⓘ
GetRequest single-item retrieval via predicate surface "hasCardinality" ⓘ
FHIR Practitioner identifier 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner active 0..1 via predicate surface "hasCardinality" ⓘ
FHIR Practitioner name 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner telecom 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner address 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner gender 0..1 via predicate surface "hasCardinality" ⓘ
FHIR Practitioner birthDate 0..1 via predicate surface "hasCardinality" ⓘ
FHIR Practitioner photo 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner qualification 0..* via predicate surface "hasCardinality" ⓘ
FHIR Practitioner communication 0..* via predicate surface "hasCardinality" ⓘ
Stage VII 7 via predicate surface "cardinalityOfSequence" ⓘ
Lebesgue measurable set collection has cardinality 2^{continuum} via predicate surface "hasCardinalityProperty" ⓘ