|
gptkbp:instanceOf
|
gptkb:topology
|
|
gptkbp:compact
|
if and only if the underlying set is finite
|
|
gptkbp:distance
|
0 if x = y, 1 otherwise
|
|
gptkbp:hasConnection
|
if and only if the underlying set has at most one point
|
|
gptkbp:hasProperty
|
every subset is closed
every subset is open
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
discrete metric space
|
|
gptkbp:includesMetric
|
discrete metric
|
|
gptkbp:isBounded
|
true
|
|
gptkbp:isDiscreteTopology
|
true
|
|
gptkbp:isFirstCountable
|
true
|
|
gptkbp:isHausdorff
|
true
|
|
gptkbp:isLocallyCompact
|
true
|
|
gptkbp:isMetrizable
|
true
|
|
gptkbp:isNormal
|
true
|
|
gptkbp:isParacompact
|
true
|
|
gptkbp:isPathConnected
|
if and only if the underlying set has at most one point
|
|
gptkbp:isRegular
|
true
|
|
gptkbp:isSecondCountable
|
if and only if the underlying set is countable
|
|
gptkbp:isSeparable
|
if and only if the underlying set is countable
|
|
gptkbp:isT1
|
true
|
|
gptkbp:isT2
|
true
|
|
gptkbp:isTotallyDisconnected
|
true
|
|
gptkbp:isUniformSpace
|
true
|
|
gptkbp:isZeroDimensional
|
true
|
|
gptkbp:numberOfIssues
|
true
|
|
gptkbp:bfsParent
|
gptkb:topology
|
|
gptkbp:bfsLayer
|
5
|