[SuperTerm] Datatype Properties

Generated with OWLDoc