IsA

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