qudt:CT_UNCOUNTABLE

URI: http://qudt.org/schema/qudt/CT_UNCOUNTABLE

Type
Description

Any set with cardinality greater than that of the natural numbers, or |X|>|N| For example |R|=c>|N|, is said to be uncountable.

Properties
dtype:literal
uncountable
Annotations
dcterms:description
Any set with cardinality greater than that of the natural numbers, or |X|>|N| For example |R|=c>|N|, is said to be uncountable.
Any set with cardinality greater than that of the natural numbers, or |X|>|N|, for example |R|=c>|N|, is said to be uncountable.
rdfs:label
Uncountable Cardinality Type
View as:  CSV

Work in progress

RDF/XML
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:j.0="http://purl.org/dc/terms/"
    xmlns:j.1="http://qudt.org/schema/qudt/"
    xmlns:j.2="http://www.linkedmodel.org/schema/dtype#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="http://qudt.org/schema/qudt/CT_UNCOUNTABLE">
    <j.0:description rdf:datatype="http://qudt.org/schema/qudt/LatexString">Any set with cardinality greater than that of the natural numbers, or $| X | \; &gt;  \; | \mathbb N | $,  for example $| R| \; =  \;  c  \; &gt; |\mathbb N |$, is said to be uncountable.</j.0:description>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/qudt"/>
    <rdf:type rdf:resource="http://qudt.org/schema/qudt/CardinalityType"/>
    <j.0:description rdf:datatype="http://qudt.org/schema/qudt/LatexString">
  Any set with cardinality greater than that of the natural numbers, or 
  $$| X | \; &gt;  \; | \mathbb N | $$
  
  For example $| R| \; =  \;  c  \; &gt; |\mathbb N |$, is said to be uncountable.
  </j.0:description>
    <j.2:literal>uncountable</j.2:literal>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/shacl/datatype"/>
    <rdfs:label>Uncountable Cardinality Type</rdfs:label>
  </rdf:Description>
</rdf:RDF>
TURTLE
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@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#> .

<http://qudt.org/schema/qudt/CT_UNCOUNTABLE>
  rdf:type <http://qudt.org/schema/qudt/CardinalityType> ;
  <http://purl.org/dc/terms/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.
  """^^<http://qudt.org/schema/qudt/LatexString> ;
  <http://purl.org/dc/terms/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."^^<http://qudt.org/schema/qudt/LatexString> ;
  <http://www.linkedmodel.org/schema/dtype#literal> "uncountable" ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/qudt> ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/shacl/datatype> ;
  rdfs:label "Uncountable Cardinality Type" ;
.
JSON
{"resource":"Uncountable Cardinality Type" 
 ,"qname":"qudt:CT_UNCOUNTABLE" 
 ,"uri":"http:\/\/qudt.org\/schema\/qudt\/CT_UNCOUNTABLE" 
 ,"properties":["description":"\n  Any set with cardinality greater than that of the natural numbers, or \n  $$| X | \\; &gt;  \\; | \\mathbb N | $$\n  \n  For example $| R| \\; =  \\;  c  \\; &gt; |\\mathbb N |$, is said to be uncountable.\n  " 
    ,"description":"Any set with cardinality greater than that of the natural numbers, or $| X | \\; &gt;  \\; | \\mathbb N | $,  for example $| R| \\; =  \\;  c  \\; &gt; |\\mathbb N |$, is said to be uncountable." 
    ,"isDefinedBy":"&lt;http:\/\/qudt.org\/2.1\/schema\/qudt&gt;" 
    ,"isDefinedBy":"&lt;http:\/\/qudt.org\/2.1\/schema\/shacl\/datatype&gt;" 
    ,"label":"Uncountable Cardinality Type" 
    ,"literal":"uncountable" 
    ,"type":"qudt:CardinalityType" 
    ]}
JSON-LD
{
  "@id" : "http://qudt.org/schema/qudt/CT_UNCOUNTABLE",
  "@type" : "http://qudt.org/schema/qudt/CardinalityType",
  "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.", "\n  Any set with cardinality greater than that of the natural numbers, or \n  $$| X | \\; >  \\; | \\mathbb N | $$\n  \n  For example $| R| \\; =  \\;  c  \\; > |\\mathbb N |$, is said to be uncountable.\n  " ],
  "literal" : "uncountable",
  "isDefinedBy" : [ "http://qudt.org/2.1/schema/qudt", "http://qudt.org/2.1/schema/shacl/datatype" ],
  "label" : "Uncountable Cardinality Type",
  "@context" : {
    "description" : {
      "@id" : "http://purl.org/dc/terms/description",
      "@type" : "http://qudt.org/schema/qudt/LatexString"
    },
    "isDefinedBy" : {
      "@id" : "http://www.w3.org/2000/01/rdf-schema#isDefinedBy",
      "@type" : "@id"
    },
    "literal" : {
      "@id" : "http://www.linkedmodel.org/schema/dtype#literal"
    },
    "label" : {
      "@id" : "http://www.w3.org/2000/01/rdf-schema#label"
    },
    "rdf" : "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
    "owl" : "http://www.w3.org/2002/07/owl#",
    "xsd" : "http://www.w3.org/2001/XMLSchema#",
    "rdfs" : "http://www.w3.org/2000/01/rdf-schema#"
  }
}

Generated 2025-01-28T13:57:17.923-05:00 by lmdoc version 1.1 with  TopBraid SPARQL Web Pages (SWP)