qudt:CT_FINITE

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

Type
Description

Any set \(X\) with cardinality less than that of the natural numbers, or \(| X | \\; < \; | \\mathbb N | \), is said to be a finite set.

Properties
qudt:literal
finite
Annotations
dcterms:description
Any set \(X\) with cardinality less than that of the natural numbers, or \(| X | \\; < \; | \\mathbb N | \), is said to be a finite set.
rdfs:label
Finite 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_FINITE">
    <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 \(X\) with cardinality less than that of the natural numbers, or \(| X | \\; &lt;  \; | \\mathbb N | \), is said to be a finite set.</j.0:description>
    <j.1:literal>finite</j.1:literal>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/qudt"/>
    <rdfs:label>Finite 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_FINITE>
  rdf:type <http://qudt.org/schema/qudt/CardinalityType> ;
  <http://purl.org/dc/terms/description> "Any set \\(X\\) with cardinality less than that of the natural numbers, or \\(| X | \\\\; <  \\; | \\\\mathbb N | \\), is said to be a finite set."^^<http://qudt.org/schema/qudt/LatexString> ;
  <http://qudt.org/schema/qudt/literal> "finite" ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/qudt> ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/shacl/qudt> ;
  rdfs:label "Finite Cardinality Type" ;
.
JSON
{"resource":"Finite Cardinality Type" 
 ,"qname":"qudt:CT_FINITE" 
 ,"uri":"http:\/\/qudt.org\/schema\/qudt\/CT_FINITE" 
 ,"properties":["description":"Any set \\(X\\) with cardinality less than that of the natural numbers, or \\(| X | \\\\; &lt;  \\; | \\\\mathbb N | \\), is said to be a finite set." 
    ,"isDefinedBy":"&lt;http:\/\/qudt.org\/2.1\/schema\/qudt&gt;" 
    ,"isDefinedBy":"&lt;http:\/\/qudt.org\/2.1\/schema\/shacl\/qudt&gt;" 
    ,"label":"Finite Cardinality Type" 
    ,"literal":"finite" 
    ,"type":"qudt:CardinalityType" 
    ]}
JSON-LD
{
  "@id" : "http://qudt.org/schema/qudt/CT_FINITE",
  "@type" : "http://qudt.org/schema/qudt/CardinalityType",
  "description" : "Any set \\(X\\) with cardinality less than that of the natural numbers, or \\(| X | \\\\; <  \\; | \\\\mathbb N | \\), is said to be a finite set.",
  "literal" : "finite",
  "isDefinedBy" : [ "http://qudt.org/2.1/schema/shacl/qudt", "http://qudt.org/2.1/schema/qudt" ],
  "label" : "Finite 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:43.196-04:00 by lmdoc version 1.1 with  TopBraid SPARQL Web Pages (SWP)