Hierarchical PKBs seem less popular these days, but this is a pretty snazzy one