CHRZ, TOMÁŠ. A System for Knowledge Representation Based on Intensional Logic. Part 1. In: .