datatype:TotallyOrderedqudt:OrderedType| Predicate | Object |
|---|---|
rdf:type |
qudt:OrderedType |
dtype:literal |
“total” |
qudt:plainTextDescription |
“Totally ordered structure.” |
rdfs:isDefinedBy |
http://qudt.org/3.4.0/vocab/datatype |
rdfs:label |
“Totally Ordered” |