Issue:Properties of an intuitionistic fuzzy kernel and an intuitionistic fuzzy subsemiautomaton