Using QKB Definitions