All axioms - imports included
-
Rescue_
of_ : included some (Avi_ Singh
Stunning
and (of value Bragg)) Bad Batch -
Destruction_
of_ : participant some Venator-class_Tipoca_ City Star_ Bad BatchDestroyer
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