
<https://ld.admin.ch/time/instant/2017-07-09T22:00:00Z> a <http://www.w3.org/2006/time#Instant> ;
	<http://www.w3.org/2006/time#inXSDDateTimeStamp> "2017-07-09T22:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTimeStamp> .