hasSubset

P5797
predicate

Indicates that one set is entirely contained within another set, with all elements of the first set also belonging to the second.

Try in SPARQL

All labels observed (12)

Label Occurrences
subsetOf 60
hasSubset canonical 59
includesSubclass 35

Sample triples (175)

Subject Object
Kanji jōyō kanji ⓘ
Kanji jinmeiyō kanji ⓘ
BEL ISO 3166-1 via predicate surface "belongsToSubset" ⓘ
Actinopterygii Actinopterygii via predicate surface "includesSubclass" self-linksurface differs ⓘ
surface form: Chondrostei
Actinopterygii Cladistia via predicate surface "includesSubclass" ⓘ
Actinopterygii Neopterygii via predicate surface "includesSubclass" ⓘ
Ada (programming language) Ada (programming language) self-linksurface differs ⓘ
surface form: SPARK Ada
NHL
surface form: National Historic Landmark
National Register of Historic Places via predicate surface "subsetOf" ⓘ
surface form: National Register of Historic Places listings
von Neumann universe for each α, V_α ⊂ V via predicate surface "subsetRelation" ⓘ
Annelida Clitellata via predicate surface "includesSubclass" ⓘ
surface form: Oligochaeta
Annelida Hirudinea via predicate surface "includesSubclass" ⓘ
Unicode Scalar Values Unicode Scalar Values via predicate surface "areSubsetOf" self-linksurface differs ⓘ
surface form: Unicode code points
Gaussian integers complex numbers via predicate surface "subsetOf" ⓘ
Gaussian integers ℂ via predicate surface "subsetOf" ⓘ
Surreal numbers day-n numbers (numbers born on day n in the construction) ⓘ
Portable Document Format PDF/A ⓘ
Portable Document Format PDF/X ⓘ
Portable Document Format PDF/E ⓘ
Portable Document Format PDF/UA ⓘ
Portable Document Format Portable Document Format self-linksurface differs ⓘ
surface form: PDF/VT
Platonic solids regular polyhedra via predicate surface "areSubsetOf" ⓘ
Platonic solids convex polyhedra via predicate surface "areSubsetOf" ⓘ
Alexandrian text-type proto-Alexandrian text ⓘ
Byzantine text-type Byzantine text-type self-linksurface differs ⓘ
surface form: Kappa (K) family of manuscripts
Byzantine text-type Byzantine subgroups identified by von Soden and others ⓘ
Shakespeare quartos good quartos ⓘ
Shakespeare quartos bad quartos ⓘ
Shakespeare quartos Pavier quartos ⓘ
Shakespeare quartos first quartos ⓘ
Shakespeare quartos second quartos ⓘ
Riemann integral Lebesgue integrable functions on a finite interval via predicate surface "subsetOf" ⓘ
spacetime manifold spacelike hypersurfaces ⓘ
spacetime manifold timelike curves ⓘ
spacetime manifold null curves ⓘ
Separatists Pilgrims via predicate surface "subsetIncludes" ⓘ
Java Platform, Standard Edition Jakarta EE via predicate surface "subsetOf" ⓘ
surface form: Java Platform, Enterprise Edition
Zermelo set theory Zermelo set theory via predicate surface "subsetOf" self-linksurface differs ⓘ
surface form: Zermelo–Fraenkel set theory with choice
UC Berkeley faculty faculty of the University of California via predicate surface "subsetOf" ⓘ
BMP
surface form: Basic Multilingual Plane
Unicode blocks ⓘ
UK Albums Chart top 5 UK Albums Chart number-one albums ⓘ
Cestoda Eucestoda via predicate surface "includesSubclass" ⓘ
Cestoda Cestodaria via predicate surface "includesSubclass" ⓘ
Mammalia Monotremata via predicate surface "includesSubclass" ⓘ
Mammalia Marsupialia via predicate surface "includesSubclass" ⓘ
Mammalia Eutheria via predicate surface "includesSubclass" ⓘ
National Historic Landmarks in Virginia National Historic Landmark via predicate surface "subsetOf" ⓘ
surface form: National Historic Landmarks in the United States
Cantor set real numbers via predicate surface "subsetOf" ⓘ
Cantor set interval [0,1] via predicate surface "subsetOf" ⓘ
OWL 2 RL OWL 2 DL constructs via predicate surface "hasSubsetOf" ⓘ
National Historic Landmarks in Washington, D.C. National Historic Landmark via predicate surface "subsetOf" ⓘ
surface form: National Historic Landmarks in the United States