"ontology infobox properties" always had this name, but the file has a
different name...