An Attribute Type is used to specify a monadic relation. E.g., `Age', `color' etc. While building an application, we need to create a pool of Attribute Types, which can then be `attached' to Object Types to create a class of objects. Each Attribute Type is instantiated independently in the gnowledge base for reusuability.
Quantification feature is also going to be introduced soon for complete expressibility.