All axioms - imports included
-
Announcement_
of_ editorLabel "Announcement_of_curfew_on_Raxus" Bad Batchcurfew_ on_ Raxus -
Spying_
on_ editorLabel "Spying_on_the_refinery" Bad Batchthe_ refinery
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