All axioms - imports included
-
Shooting_
down_ : Crash Bad BatchRyloth_ smugglers -
Escape_
from_ : included some (Bora_ Vio
Sabotage
and (of value Justifier)
and (participant value Fennec_Shand )) Bad Batch
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