All axioms - imports included
- Class: Hills Star Wars base
-
Class: HK-87_
assassin_ Star Wars basedroid -
Class: FX-series_
medical_ Star Wars baseassistant_ droid -
Class: Flight_
data_ Star Wars baserecorder
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