[theorem] Individuals

Generated with OWLDoc