α» IsA edit** « wiki αt10xxxxx

A must be an InDividual. B must be an RdfClass.