raw/concept/kbhequivalence_relation.md history