[envo] Datatype Properties

Generated with OWLDoc