Ordinal definable
http://dbpedia.org/resource/Ordinal_definable
rdf:langString
Ordinal definable
xsd:integer
15262904
xsd:integer
184826014
xsd:nonNegativeInteger
35