@prefix : <http://sweetontology.net/phenElecMag/> .
@prefix sophel: <http://sweetontology.net/phenElecMag/> .
@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 sopropcha: <http://sweetontology.net/propCharge/> .
@prefix sorepmf: <http://sweetontology.net/reprMathFunction/> .
@prefix soph: <http://sweetontology.net/phen/> .
@prefix soprocp: <http://sweetontology.net/procPhysical/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sorepsg3: <http://sweetontology.net/reprSpaceGeometry3D/> .
@prefix sorelsp: <http://sweetontology.net/relaSpace/> .
@base <http://sweetontology.net/phenElecMag> .

<http://sweetontology.net/phenElecMag> rdf:type owl:Ontology ;
                                        owl:imports <http://sweetontology.net/phen> ,
                                                    <http://sweetontology.net/procPhysical> ,
                                                    <http://sweetontology.net/propCharge> ,
                                                    <http://sweetontology.net/relaMath> ,
                                                    <http://sweetontology.net/relaSpace> ,
                                                    <http://sweetontology.net/reprMathFunction> ,
                                                    <http://sweetontology.net/reprSpaceGeometry3D> ;
                                        rdfs:label "SWEET Ontology Phenomena ElectroMagnetic" ;
                                        dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                        owl:versionInfo "3.6.0" .

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

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


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


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

###  http://sweetontology.net/phenElecMag/CurrentSheet
sophel:CurrentSheet rdf:type owl:Class ;
                 rdfs:subClassOf sophel:ElectricField ;
                 rdfs:label "current sheet"@en .


###  http://sweetontology.net/phenElecMag/ElectricDipole
sophel:ElectricDipole rdf:type owl:Class ;
                   rdfs:subClassOf sophel:ElectricField ,
                                   sorepsg3:Dipole ;
                   rdfs:label "electric dipole"@en .


###  http://sweetontology.net/phenElecMag/ElectricField
sophel:ElectricField rdf:type owl:Class ;
                  rdfs:subClassOf sorepmf:VectorField ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelsp:hasSpatialDistribution ;
                                    owl:someValuesFrom sopropcha:Charge
                                  ] ;
                  rdfs:label "electric field"@en .


###  http://sweetontology.net/phenElecMag/GeomagneticField
sophel:GeomagneticField rdf:type owl:Class ;
                     rdfs:subClassOf sophel:MagneticField ;
                     rdfs:label "geomagnetic field"@en .


###  http://sweetontology.net/phenElecMag/Gyroresonance
sophel:Gyroresonance rdf:type owl:Class ;
                  rdfs:subClassOf sophel:MagneticFieldPhenomena ;
                  rdfs:label "gyroresonance"@en .


###  http://sweetontology.net/phenElecMag/MagneticDipole
sophel:MagneticDipole rdf:type owl:Class ;
                   rdfs:subClassOf sophel:MagneticField ,
                                   sorepsg3:Dipole ;
                   rdfs:label "magnetic dipole"@en .


###  http://sweetontology.net/phenElecMag/MagneticField
sophel:MagneticField rdf:type owl:Class ;
                  rdfs:subClassOf sorepmf:VectorField ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelsp:hasSpatialDistribution ;
                                    owl:someValuesFrom sopropcha:MagneticMoment
                                  ] ;
                  rdfs:label "magnetic field"@en .


###  http://sweetontology.net/phenElecMag/MagneticFieldPhenomena
sophel:MagneticFieldPhenomena rdf:type owl:Class ;
                           rdfs:subClassOf soph:Phenomena ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty sorelm:hasField ;
                                             owl:allValuesFrom sophel:MagneticField
                                           ] ;
                           rdfs:label "magnetic field phenomena"@en .


###  http://sweetontology.net/phenElecMag/MagneticMirror
sophel:MagneticMirror rdf:type owl:Class ;
                   rdfs:subClassOf sophel:MagneticFieldPhenomena ;
                   rdfs:label "magnetic mirror"@en .


###  http://sweetontology.net/propCharge/Charge
sopropcha:Charge rdf:type owl:Class .


###  http://sweetontology.net/propCharge/MagneticMoment
sopropcha:MagneticMoment rdf:type owl:Class .


###  http://sweetontology.net/reprMathFunction/VectorField
sorepmf:VectorField rdf:type owl:Class .


###  http://sweetontology.net/reprSpaceGeometry3D/Dipole
sorepsg3:Dipole rdf:type owl:Class .


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