@prefix : <http://sweetontology.net/stateSpaceConfiguration/> .
@prefix sorepsg: <http://sweetontology.net/reprSpaceGeometry/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix sostsc: <http://sweetontology.net/stateSpaceConfiguration/> .
@prefix sopropfu: <http://sweetontology.net/propFunction/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorepsd: <http://sweetontology.net/reprSpaceDirection/> .
@prefix soprops: <http://sweetontology.net/propSpace/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sorelsp: <http://sweetontology.net/relaSpace/> .
@base <http://sweetontology.net/stateSpaceConfiguration> .

<http://sweetontology.net/stateSpaceConfiguration> rdf:type owl:Ontology ;
                                                    owl:imports <http://sweetontology.net/propFunction> ,
                                                                <http://sweetontology.net/propSpace> ,
                                                                <http://sweetontology.net/relaMath> ,
                                                                <http://sweetontology.net/relaSpace> ,
                                                                <http://sweetontology.net/reprSpaceDirection> ,
                                                                <http://sweetontology.net/reprSpaceGeometry> ;
                                                    rdfs:label "SWEET Ontology State Space Configuration" ;
                                                    dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                                    owl:versionInfo "3.6.0" .

#################################################################
#    Object Properties
#################################################################

###  http://sweetontology.net/relaMath/approximates
sorelm:approximates rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaSpace/above
sorelsp:above rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaSpace/hasDirection
sorelsp:hasDirection rdf:type owl:ObjectProperty .


#################################################################
#    Classes
#################################################################

###  http://sweetontology.net/propFunction/Maximum
sopropfu:Maximum rdf:type owl:Class .


###  http://sweetontology.net/propFunction/Minimum
sopropfu:Minimum rdf:type owl:Class .


###  http://sweetontology.net/propSpace/Connectivity
soprops:Connectivity rdf:type owl:Class .


###  http://sweetontology.net/propSpace/OrbitalConfiguration
soprops:OrbitalConfiguration rdf:type owl:Class .


###  http://sweetontology.net/propSpace/Shape
soprops:Shape rdf:type owl:Class .


###  http://sweetontology.net/propSpace/SpatialConfiguration
soprops:SpatialConfiguration rdf:type owl:Class .


###  http://sweetontology.net/stateSpaceConfiguration/Antumbra
sostsc:Antumbra rdf:type owl:Class ;
              rdfs:subClassOf sostsc:Shadow ;
              rdfs:label "antumbra"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Basal
sostsc:Basal rdf:type owl:Class ;
           owl:equivalentClass sostsc:Bottom ;
           rdfs:label "basal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Base
sostsc:Base rdf:type owl:Class ;
          owl:equivalentClass sostsc:Bottom ;
          rdfs:label "base"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Bottom
sostsc:Bottom rdf:type owl:Class ;
            owl:equivalentClass sostsc:Floor ;
            rdfs:subClassOf sopropfu:Minimum ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty sorelsp:hasDirection ;
                              owl:hasValue sorepsd:Down
                            ] ;
            rdfs:label "bottom"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Flank
sostsc:Flank rdf:type owl:Class ;
           rdfs:subClassOf soprops:SpatialConfiguration ;
           rdfs:label "flank"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Floor
sostsc:Floor rdf:type owl:Class ;
           rdfs:label "floor"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Juxtaposition
sostsc:Juxtaposition rdf:type owl:Class ;
                   rdfs:subClassOf soprops:SpatialConfiguration ;
                   rdfs:label "juxtaposition"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Penumbra
sostsc:Penumbra rdf:type owl:Class ;
              rdfs:subClassOf sostsc:Shadow ;
              rdfs:label "penumbra"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Projection
sostsc:Projection rdf:type owl:Class ;
                rdfs:subClassOf soprops:SpatialConfiguration ;
                rdfs:label "projection"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Relief
sostsc:Relief rdf:type owl:Class ;
            rdfs:subClassOf sostsc:Projection ;
            rdfs:label "relief"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Rim
sostsc:Rim rdf:type owl:Class ;
         owl:equivalentClass sostsc:Top ;
         rdfs:label "rim"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Shadow
sostsc:Shadow rdf:type owl:Class ;
            rdfs:subClassOf sostsc:Projection ;
            rdfs:label "shadow"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Side
sostsc:Side rdf:type owl:Class ;
          rdfs:subClassOf soprops:SpatialConfiguration ;
          rdfs:label "side"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Top
sostsc:Top rdf:type owl:Class ;
         rdfs:subClassOf sopropfu:Maximum ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty sorelsp:above ;
                           owl:allValuesFrom sostsc:Bottom
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty sorelsp:hasDirection ;
                           owl:hasValue sorepsd:Up
                         ] ;
         rdfs:label "top"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Umbra
sostsc:Umbra rdf:type owl:Class ;
           rdfs:subClassOf sostsc:Shadow ;
           rdfs:label "umbra"@en .


#################################################################
#    Individuals
#################################################################

###  http://sweetontology.net/reprSpaceDirection/Down
sorepsd:Down rdf:type owl:NamedIndividual .


###  http://sweetontology.net/reprSpaceDirection/Up
sorepsd:Up rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateSpaceConfiguration/Amorphous
sostsc:Amorphous rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "amorphous"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Anisotropic
sostsc:Anisotropic rdf:type owl:NamedIndividual ,
                          soprops:SpatialConfiguration ;
                 owl:sameAs sostsc:Anisotropy ;
                 rdfs:label "anisotropic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Anisotropy
sostsc:Anisotropy rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                rdfs:label "anisotropy"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Aphelion
sostsc:Aphelion rdf:type owl:NamedIndividual ,
                       soprops:OrbitalConfiguration ;
              rdfs:label "aphelion"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Arched
sostsc:Arched rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "arched"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Ascending
sostsc:Ascending rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "ascending"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Asymmetric
sostsc:Asymmetric rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                owl:sameAs sostsc:Asymmetry ;
                rdfs:label "asymmetric"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Asymmetry
sostsc:Asymmetry rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "asymmetry"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Axisymmetric
sostsc:Axisymmetric rdf:type owl:NamedIndividual ,
                           soprops:SpatialConfiguration ;
                  rdfs:label "axisymmetric"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Bent
sostsc:Bent rdf:type owl:NamedIndividual ,
                   soprops:Shape ;
          rdfs:label "bent"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Biaxial
sostsc:Biaxial rdf:type owl:NamedIndividual ,
                      soprops:SpatialConfiguration ;
             rdfs:label "biaxial"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Bladed
sostsc:Bladed rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "bladed"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Braided
sostsc:Braided rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "braided"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Branched
sostsc:Branched rdf:type owl:NamedIndividual ,
                       soprops:Shape ;
              rdfs:label "branched"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Broad
sostsc:Broad rdf:type owl:NamedIndividual ,
                    soprops:Shape ;
           rdfs:label "broad"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Compact
sostsc:Compact rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "compact"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Concealed
sostsc:Concealed rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               rdfs:label "concealed"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Concentric
sostsc:Concentric rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                rdfs:label "concentric"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Confined
sostsc:Confined rdf:type owl:NamedIndividual ,
                       soprops:Connectivity ;
              owl:sameAs sostsc:Trapped ;
              rdfs:label "confined"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Conjunction
sostsc:Conjunction rdf:type owl:NamedIndividual ,
                          soprops:OrbitalConfiguration ;
                 rdfs:label "conjunction"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Connected
sostsc:Connected rdf:type owl:NamedIndividual ,
                        soprops:Connectivity ;
               owl:sameAs sostsc:Interconnected ;
               rdfs:label "connected"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Contained
sostsc:Contained rdf:type owl:NamedIndividual ,
                        soprops:Connectivity ;
               rdfs:label "contained"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Crooked
sostsc:Crooked rdf:type owl:NamedIndividual ,
                      soprops:SpatialConfiguration ;
             rdfs:label "crooked"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Curtain
sostsc:Curtain rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "curtain"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Curved
sostsc:Curved rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "curved"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Cutoff
sostsc:Cutoff rdf:type owl:NamedIndividual ,
                     soprops:Connectivity ;
            rdfs:label "cutoff"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Dendritic
sostsc:Dendritic rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "dendritic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Dense
sostsc:Dense rdf:type owl:NamedIndividual ,
                    soprops:SpatialConfiguration ;
           rdfs:label "dense"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Descending
sostsc:Descending rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                rdfs:label "descending"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Dip
sostsc:Dip rdf:type owl:NamedIndividual ,
                  soprops:Shape ;
         rdfs:label "dip"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Dispersed
sostsc:Dispersed rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "dispersed"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Eclipse
sostsc:Eclipse rdf:type owl:NamedIndividual ,
                      soprops:OrbitalConfiguration ;
             rdfs:label "eclipse"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Elevated
sostsc:Elevated rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "elevated"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Elliptical
sostsc:Elliptical rdf:type owl:NamedIndividual ,
                         soprops:Shape ;
                rdfs:label "elliptical"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Elongated
sostsc:Elongated rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               sorelm:approximates sostsc:Long ;
               rdfs:label "elongated"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Empty
sostsc:Empty rdf:type owl:NamedIndividual ,
                    soprops:SpatialConfiguration ;
           rdfs:label "empty"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Entrained
sostsc:Entrained rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "entrained"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Evacuated
sostsc:Evacuated rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "evacuated"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Even
sostsc:Even rdf:type owl:NamedIndividual ,
                   soprops:SpatialConfiguration ;
          rdfs:label "even"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Extant
sostsc:Extant rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "extant"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Flat
sostsc:Flat rdf:type owl:NamedIndividual ,
                   soprops:Shape ;
          rdfs:label "flat"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Flattend
sostsc:Flattend rdf:type owl:NamedIndividual ,
                       soprops:Shape ;
              sorelm:approximates sostsc:Flat ;
              rdfs:label "flattend"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Fretted
sostsc:Fretted rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "fretted"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Full
sostsc:Full rdf:type owl:NamedIndividual ,
                   soprops:SpatialConfiguration ;
          rdfs:label "full"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Geostationary
sostsc:Geostationary rdf:type owl:NamedIndividual ,
                            soprops:OrbitalConfiguration ,
                            sorepsg:GreatCircle ;
                   rdfs:label "geostationary"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Geosynchronous
sostsc:Geosynchronous rdf:type owl:NamedIndividual ,
                             soprops:OrbitalConfiguration ;
                    rdfs:label "geosynchronous"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Grooved
sostsc:Grooved rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "grooved"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Hexagonal
sostsc:Hexagonal rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               rdfs:label "hexagonal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Imbricated
sostsc:Imbricated rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                owl:sameAs sostsc:Imbrication ;
                rdfs:label "imbricated"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Imbrication
sostsc:Imbrication rdf:type owl:NamedIndividual ,
                          soprops:SpatialConfiguration ;
                 rdfs:label "imbrication"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Inclined
sostsc:Inclined rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "inclined"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Interconnected
sostsc:Interconnected rdf:type owl:NamedIndividual ,
                             soprops:Connectivity ;
                    rdfs:label "interconnected"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Interlocking
sostsc:Interlocking rdf:type owl:NamedIndividual ,
                           soprops:Connectivity ;
                  rdfs:label "interlocking"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Interwoven
sostsc:Interwoven rdf:type owl:NamedIndividual ,
                         soprops:Connectivity ;
                rdfs:label "interwoven"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Isolated
sostsc:Isolated rdf:type owl:NamedIndividual ,
                       soprops:Connectivity ;
              rdfs:label "isolated"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Isometric
sostsc:Isometric rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "isometric"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Isotropic
sostsc:Isotropic rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               owl:sameAs sostsc:Isotropy ;
               rdfs:label "isotropic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Isotropy
sostsc:Isotropy rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "isotropy"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Long
sostsc:Long rdf:type owl:NamedIndividual ,
                   soprops:Shape ;
          rdfs:label "long"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Monoclinic
sostsc:Monoclinic rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                rdfs:label "monoclinic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Narrow
sostsc:Narrow rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "narrow"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Oblate
sostsc:Oblate rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "oblate"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Open
sostsc:Open rdf:type owl:NamedIndividual ,
                   soprops:Connectivity ;
          rdfs:label "open"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Opposition
sostsc:Opposition rdf:type owl:NamedIndividual ,
                         soprops:OrbitalConfiguration ;
                rdfs:label "opposition"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Orthorhombic
sostsc:Orthorhombic rdf:type owl:NamedIndividual ,
                           soprops:SpatialConfiguration ;
                  rdfs:label "orthorhombic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Perched
sostsc:Perched rdf:type owl:NamedIndividual ,
                      soprops:SpatialConfiguration ;
             rdfs:label "perched"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Perihelion
sostsc:Perihelion rdf:type owl:NamedIndividual ,
                         soprops:OrbitalConfiguration ;
                rdfs:label "perihelion"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Poloidal
sostsc:Poloidal rdf:type owl:NamedIndividual ,
                       soprops:Shape ;
              rdfs:label "poloidal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Prograde
sostsc:Prograde rdf:type owl:NamedIndividual ,
                       soprops:OrbitalConfiguration ;
              rdfs:label "prograde"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Prolate
sostsc:Prolate rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "prolate"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Retrograde
sostsc:Retrograde rdf:type owl:NamedIndividual ,
                         soprops:OrbitalConfiguration ;
                rdfs:label "retrograde"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Rhombic
sostsc:Rhombic rdf:type owl:NamedIndividual ,
                      soprops:SpatialConfiguration ;
             rdfs:label "rhombic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Ridged
sostsc:Ridged rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "ridged"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Rope
sostsc:Rope rdf:type owl:NamedIndividual ,
                   soprops:SpatialConfiguration ;
          rdfs:label "rope"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Round
sostsc:Round rdf:type owl:NamedIndividual ,
                    soprops:Shape ;
           rdfs:label "round"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Rounded
sostsc:Rounded rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             sorelm:approximates sostsc:Round ;
             rdfs:label "rounded"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Scalloped
sostsc:Scalloped rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               rdfs:label "scalloped"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sealed
sostsc:Sealed rdf:type owl:NamedIndividual ,
                     soprops:Connectivity ;
            rdfs:label "sealed"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Semiconfined
sostsc:Semiconfined rdf:type owl:NamedIndividual ,
                           soprops:Connectivity ;
                  rdfs:label "semiconfined"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sharp
sostsc:Sharp rdf:type owl:NamedIndividual ,
                    soprops:Shape ;
           rdfs:label "sharp"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sheet
sostsc:Sheet rdf:type owl:NamedIndividual ,
                    soprops:Shape ;
           rdfs:label "sheet"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Short
sostsc:Short rdf:type owl:NamedIndividual ,
                    soprops:Shape ;
           rdfs:label "short"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sigmoid
sostsc:Sigmoid rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "sigmoid"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sinusoidal
sostsc:Sinusoidal rdf:type owl:NamedIndividual ,
                         soprops:Shape ;
                rdfs:label "sinusoidal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Sparse
sostsc:Sparse rdf:type owl:NamedIndividual ,
                     soprops:SpatialConfiguration ;
            rdfs:label "sparse"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Spherical
sostsc:Spherical rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               rdfs:label "spherical"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Square
sostsc:Square rdf:type owl:NamedIndividual ,
                     soprops:Shape ;
            rdfs:label "square"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Steep
sostsc:Steep rdf:type owl:NamedIndividual ,
                    soprops:SpatialConfiguration ;
           rdfs:label "steep"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Straight
sostsc:Straight rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "straight"@en .


###  http://sweetontology.net/stateSpaceConfiguration/String
sostsc:String rdf:type owl:NamedIndividual ,
                     soprops:SpatialConfiguration ;
            rdfs:label "string"@en .


###  http://sweetontology.net/stateSpaceConfiguration/SunSynchronous
sostsc:SunSynchronous rdf:type owl:NamedIndividual ,
                             soprops:OrbitalConfiguration ,
                             sorepsg:GreatCircle ;
                    rdfs:label "sun synchronous"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Symmetric
sostsc:Symmetric rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               owl:sameAs sostsc:Symmetry ;
               rdfs:label "symmetric"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Symmetry
sostsc:Symmetry rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "symmetry"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Terminator
sostsc:Terminator rdf:type owl:NamedIndividual ,
                         soprops:OrbitalConfiguration ,
                         sorepsg:GreatCircle ;
                rdfs:label "terminator"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Tetragonal
sostsc:Tetragonal rdf:type owl:NamedIndividual ,
                         soprops:SpatialConfiguration ;
                rdfs:label "tetragonal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Tilted
sostsc:Tilted rdf:type owl:NamedIndividual ,
                     soprops:SpatialConfiguration ;
            rdfs:label "tilted"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Toroidal
sostsc:Toroidal rdf:type owl:NamedIndividual ,
                       soprops:Shape ;
              rdfs:label "toroidal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Toroional
sostsc:Toroional rdf:type owl:NamedIndividual ,
                        soprops:Shape ;
               rdfs:label "toroional"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Transit
sostsc:Transit rdf:type owl:NamedIndividual ,
                      soprops:OrbitalConfiguration ;
             rdfs:label "transit"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Trapped
sostsc:Trapped rdf:type owl:NamedIndividual ,
                      soprops:Connectivity ,
                      soprops:SpatialConfiguration ;
             rdfs:label "trapped"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Triaxial
sostsc:Triaxial rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "triaxial"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Triclinic
sostsc:Triclinic rdf:type owl:NamedIndividual ,
                        soprops:SpatialConfiguration ;
               rdfs:label "triclinic"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Trigonal
sostsc:Trigonal rdf:type owl:NamedIndividual ,
                       soprops:SpatialConfiguration ;
              rdfs:label "trigonal"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Twisted
sostsc:Twisted rdf:type owl:NamedIndividual ,
                      soprops:Shape ;
             rdfs:label "twisted"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Unconfined
sostsc:Unconfined rdf:type owl:NamedIndividual ,
                         soprops:Connectivity ;
                rdfs:label "unconfined"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Unconnected
sostsc:Unconnected rdf:type owl:NamedIndividual ,
                          soprops:Connectivity ;
                 rdfs:label "unconnected"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Uneven
sostsc:Uneven rdf:type owl:NamedIndividual ,
                     soprops:SpatialConfiguration ;
            rdfs:label "uneven"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Void
sostsc:Void rdf:type owl:NamedIndividual ,
                   soprops:SpatialConfiguration ;
          rdfs:label "void"@en .


###  http://sweetontology.net/stateSpaceConfiguration/Wide
sostsc:Wide rdf:type owl:NamedIndividual ,
                   soprops:Shape ;
          rdfs:label "wide"@en .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Anisotropic
                        sostsc:Isotropic
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Aphelion
                        sostsc:Perihelion
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Ascending
                        sostsc:Descending
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Asymmetry
                        sostsc:Symmetry
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Confined
                        sostsc:Open
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Confined
                        sostsc:Semiconfined
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Confined
                        sostsc:Unconfined
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Connected
                        sostsc:Isolated
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Contained
                        sostsc:Open
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Crooked
                        sostsc:Straight
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Dense
                        sostsc:Sparse
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Empty
                        sostsc:Full
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Evacuated
                        sostsc:Full
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Even
                        sostsc:Uneven
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Full
                        sostsc:Void
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Narrow
                        sostsc:Wide
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Open
                        sostsc:Sealed
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Prograde
                        sostsc:Retrograde
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Semiconfined
                        sostsc:Unconfined
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsc:Straight
                        sostsc:Tilted
                      )
] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi