Contents

All Object Properties

All Datatype Properties

All Annotation Properties

[] Object Properties

[] Datatype Properties

[] Annotation Properties

[protege] Resources

[protege] Classes

[protege] Object Properties

[protege] Datatype Properties

[protege] Annotation Properties

[protege] Individuals

[theorem] Resources

[theorem] Classes

[theorem] Object Properties

[theorem] Datatype Properties

[theorem] Annotation Properties

[theorem] Individuals

[daml] Resources

[daml] Object Properties

[daml] Datatype Properties

[daml] Annotation Properties

[daml] Individuals

[axiom] Resources

[axiom] Classes

[axiom] Object Properties

[axiom] Datatype Properties

[axiom] Annotation Properties

[axiom] Individuals

Generated with OWLDoc