OWLAxiomType

Objective-C

OWLAxiomTypeDeclaration = (uint64_t)1 << 0

Swift

static var declaration: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDatatypeDefinition = (uint64_t)1 << 1

Swift

static var datatypeDefinition: OWLAxiomType { get }

Objective-C

OWLAxiomTypeEquivalentClasses = (uint64_t)1 << 2

Swift

static var equivalentClasses: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSubClassOf = (uint64_t)1 << 3

Swift

static var subClassOf: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDisjointClasses = (uint64_t)1 << 4

Swift

static var disjointClasses: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDisjointUnion = (uint64_t)1 << 5

Swift

static var disjointUnion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeClassAssertion = (uint64_t)1 << 6

Swift

static var classAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSameIndividual = (uint64_t)1 << 7

Swift

static var sameIndividual: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDifferentIndividuals = (uint64_t)1 << 8

Swift

static var differentIndividuals: OWLAxiomType { get }

Objective-C

OWLAxiomTypeObjectPropertyAssertion = (uint64_t)1 << 9

Swift

static var objectPropertyAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeNegativeObjectPropertyAssertion = (uint64_t)1 << 10

Swift

static var negativeObjectPropertyAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDataPropertyAssertion = (uint64_t)1 << 11

Swift

static var dataPropertyAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeNegativeDataPropertyAssertion = (uint64_t)1 << 12

Swift

static var negativeDataPropertyAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeEquivalentObjectProperties = (uint64_t)1 << 13

Swift

static var equivalentObjectProperties: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSubObjectPropertyOf = (uint64_t)1 << 14

Swift

static var subObjectPropertyOf: OWLAxiomType { get }

Objective-C

OWLAxiomTypeInverseObjectProperties = (uint64_t)1 << 15

Swift

static var inverseObjectProperties: OWLAxiomType { get }

Objective-C

OWLAxiomTypeFunctionalObjectProperty = (uint64_t)1 << 16

Swift

static var functionalObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeInverseFunctionalObjectProperty = (uint64_t)1 << 17

Swift

static var inverseFunctionalObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSymmetricObjectProperty = (uint64_t)1 << 18

Swift

static var symmetricObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeAsymmetricObjectProperty = (uint64_t)1 << 19

Swift

static var asymmetricObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeTransitiveObjectProperty = (uint64_t)1 << 20

Swift

static var transitiveObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeReflexiveObjectProperty = (uint64_t)1 << 21

Swift

static var reflexiveObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeIrreflexiveObjectProperty = (uint64_t)1 << 22

Swift

static var irreflexiveObjectProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeObjectPropertyDomain = (uint64_t)1 << 23

Swift

static var objectPropertyDomain: OWLAxiomType { get }

Objective-C

OWLAxiomTypeObjectPropertyRange = (uint64_t)1 << 24

Swift

static var objectPropertyRange: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDisjointObjectProperties = (uint64_t)1 << 25

Swift

static var disjointObjectProperties: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSubPropertyChainOf = (uint64_t)1 << 26

Swift

static var subPropertyChainOf: OWLAxiomType { get }

Objective-C

OWLAxiomTypeEquivalentDataProperties = (uint64_t)1 << 27

Swift

static var equivalentDataProperties: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSubDataPropertyOf = (uint64_t)1 << 28

Swift

static var subDataPropertyOf: OWLAxiomType { get }

Objective-C

OWLAxiomTypeFunctionalDataProperty = (uint64_t)1 << 29

Swift

static var functionalDataProperty: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDataPropertyDomain = (uint64_t)1 << 30

Swift

static var dataPropertyDomain: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDataPropertyRange = (uint64_t)1 << 31

Swift

static var dataPropertyRange: OWLAxiomType { get }

Objective-C

OWLAxiomTypeDisjointDataProperties = (uint64_t)1 << 32

Swift

static var disjointDataProperties: OWLAxiomType { get }

Objective-C

OWLAxiomTypeHasKey = (uint64_t)1 << 33

Swift

static var hasKey: OWLAxiomType { get }

Objective-C

OWLAxiomTypeAnnotationAssertion = (uint64_t)1 << 34

Swift

static var annotationAssertion: OWLAxiomType { get }

Objective-C

OWLAxiomTypeSubAnnotationPropertyOf = (uint64_t)1 << 35

Swift

static var subAnnotationPropertyOf: OWLAxiomType { get }

Objective-C

OWLAxiomTypeAnnotationPropertyRange = (uint64_t)1 << 36

Swift

static var annotationPropertyRange: OWLAxiomType { get }

Objective-C

OWLAxiomTypeAnnotationPropertyDomain = (uint64_t)1 << 37

Swift

static var annotationPropertyDomain: OWLAxiomType { get }

Objective-C

OWLAxiomTypeAll = (uint64_t)-1

Swift

static var all: OWLAxiomType { get }

Objective-C

OWLAxiomTypeFirst = OWLAxiomTypeDeclaration

Swift

static var first: OWLAxiomType { get }

Objective-C

OWLAxiomTypeLast = OWLAxiomTypeAnnotationPropertyDomain

Swift

static var last: OWLAxiomType { get }