@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix datatype: <http://qudt.org/vocab/datatype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix dtype: <http://www.linkedmodel.org/schema/dtype#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix vaem: <http://www.linkedmodel.org/schema/vaem#> .

datatype:CT_UNCOUNTABLE
  a qudt:CardinalityType ;
  dcterms:description """
  Any set with cardinality greater than that of the natural numbers, or
  $$| X | \\; >  \\; | \\mathbb N | $$
  
  For example $| R| \\; =  \\;  c  \\; > |\\mathbb N |$, is said to be uncountable.
  """^^qudt:LatexString ;
  dtype:literal "uncountable" ;
  rdfs:isDefinedBy <http://qudt.org/3.2.1/vocab/datatype> ;
  rdfs:label "Uncountable Cardinality Type" .