    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Interface jtelos.OmegaIndividualClass

public interface OmegaIndividualClass
extends Individual, OmegaClass

This interface is used to represent Omega individual classes in Telos. In particular, the following built-in Omega individual classes are represented:

- `Proposition`, which has all Telos propositions as Telos instances, including itself.
- `Class`, which has all Telos classes as Telos instances, including itself.
- `Individual`, which has all Telos individuals as Telos instances, including itself.
- `IndividualClass`, which has all Telos individual classes as instances, including itself.
- `OmegaClass`, which has all Telos Omega classes as instances, including itself.

All Telos individuals have relations with at least one of the Omega classes. Note that since all of the above Omega classes are individuals, by the above definitions it follows that they are all instances of each other.

See Also:
  Proposition, Individual, OmegaClass, OmegaAttributeClass, kb

    All Packages  Class Hierarchy  This Package  Previous  Next  Index