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 | \; > \; | \mathbb N | \), for example \(| R| \; = \; c \; > |\mathbb N |\), is said to be uncountable.

Properties
qudt:literal
uncountable
Annotations
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.
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: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">
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/shacl/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.1:literal>uncountable</j.1:literal>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/qudt"/>
    <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://qudt.org/schema/qudt/literal> "uncountable" ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/qudt> ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/shacl/qudt> ;
  rdfs:label "Uncountable Cardinality Type" ;
.
JSON
{"resource":"Uncountable Cardinality Type" 
 ,"qname":"qudt:CT_UNCOUNTABLE" 
 ,"uri":"http:\/\/qudt.org\/schema\/qudt\/CT_UNCOUNTABLE" 
 ,"properties":["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\/qudt&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.",
  "literal" : "uncountable",
  "isDefinedBy" : [ "http://qudt.org/2.1/schema/shacl/qudt", "http://qudt.org/2.1/schema/qudt" ],
  "label" : "Uncountable Cardinality Type",
  "@context" : {
    "isDefinedBy" : {
      "@id" : "http://www.w3.org/2000/01/rdf-schema#isDefinedBy",
      "@type" : "@id"
    },
    "description" : {
      "@id" : "http://purl.org/dc/terms/description",
      "@type" : "http://qudt.org/schema/qudt/LatexString"
    },
    "literal" : {
      "@id" : "http://qudt.org/schema/qudt/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 2023-08-28T11:21:58.233-04:00 by lmdoc version 1.1 with  TopBraid SPARQL Web Pages (SWP)