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:

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