Event
Process
course
RDF description of SCC1166 - MATHEMATICAL LOGIC - http://irises.uninsubria.it/resource/af/387190