[SuperTerms] Datatype Properties

Generated with OWLDoc