Concept

Predicates from First-Order Predicate Logic. Propositional Variables from Propositional Logic as Set Description Language.

Classes of objects like in OOP.

There are two special concepts:

• Top Concept
• Bottom Concept