All axioms - imports included
- Class: Guilt Star Wars base
- Class: Summa-verminoth Star Wars base
- Class: Town Star Wars base
-
Class: Supreme_
Leader Star Wars base
Axiom types
- - Annotation Assertion
- - Annotation Property Domain
- - Annotation Property Range Of
- - Declaration
- - Rule
- - Sub Annotation Property Of
- A Class Assertion
- A Data Property Assertion
- A Different Individuals
- A Negative Data Property Assertion
- A Negative Object Property Assertion
- A Object Property Assertion
- A Same Individual
- R Asymmetric Object Property
- R Disjoint Data Properties
- R Disjoint Object Properties
- R Equivalent Data Properties
- R Equivalent Object Properties
- R Inverse Object Properties
- R Irrefexive Object Property
- R Reflexive Object Property
- R Sub Data Property Of
- R Sub Object Property Of
- R Sub Property Chain Of
- R Symmetric Object Property
- R Transitive Object Property
- T Data Property Domain
- T Data Property Range
- T Datatype Definition
- T Disjoint Classes
- T Disjoint Union
- T Equivalent Classes
- T Functional Data Property
- T Functional Object Property
- T Has Key
- T Inverse Functional Object Property
- T Object Property Domain
- T Object Property Range
- T Sub Class Of