IsA is a kind of relation.