KCAT: A Knowledge-Constraint Typing Annotation Tool