<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 | \\; < \; | \\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>
@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" ;
.
{"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 | \\\\; < \\; | \\\\mathbb N | \\), is said to be a finite set."
,"isDefinedBy":"<http:\/\/qudt.org\/2.1\/schema\/qudt>"
,"isDefinedBy":"<http:\/\/qudt.org\/2.1\/schema\/shacl\/qudt>"
,"label":"Finite Cardinality Type"
,"literal":"finite"
,"type":"qudt:CardinalityType"
]}