@prefix : <http://sweetontology.net/phenAtmoLightning/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@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 sophatmo: <http://sweetontology.net/phenAtmo/> .
@prefix sopropcha: <http://sweetontology.net/propCharge/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sophw: <http://sweetontology.net/phenWave/> .
@prefix sophatmol: <http://sweetontology.net/phenAtmoLightning/> .
@prefix sophatmopc: <http://sweetontology.net/phenAtmoPrecipitation/> .
@base <http://sweetontology.net/phenAtmoLightning> .

<http://sweetontology.net/phenAtmoLightning> rdf:type owl:Ontology ;
                                              owl:imports <http://sweetontology.net/phenAtmo> ,
                                                          <http://sweetontology.net/phenAtmoPrecipitation> ,
                                                          <http://sweetontology.net/phenWave> ,
                                                          <http://sweetontology.net/propCharge> ,
                                                          <http://sweetontology.net/rela> ;
                                              rdfs:label "SWEET Ontology Phenomena Atmosphere Lightning" ;
                                              dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                              owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/phenAtmoLightning/BallLightning
sophatmol:BallLightning rdf:type owl:Class ;
                    rdfs:subClassOf sophatmol:Lightning ;
                    rdfs:label "ball lightning"@en .


###  http://sweetontology.net/phenAtmoLightning/BeadedLightning
sophatmol:BeadedLightning rdf:type owl:Class ;
                      rdfs:subClassOf sophatmol:Lightning ;
                      rdfs:label "beaded lightning"@en .


###  http://sweetontology.net/phenAtmoLightning/BlueJet
sophatmol:BlueJet rdf:type owl:Class ;
              rdfs:subClassOf sophatmol:Lightning ;
              rdfs:label "blue jet"@en .


###  http://sweetontology.net/phenAtmoLightning/JunctionStreamer
sophatmol:JunctionStreamer rdf:type owl:Class ;
                       rdfs:subClassOf sophatmol:Lightning ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorel:hasPhenomena ;
                                         owl:allValuesFrom sophatmol:Lightning
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorel:hasPhenomena ;
                                         owl:allValuesFrom sophatmopc:Thunderstorm
                                       ] ;
                       rdfs:label "junction streamer"@en .


###  http://sweetontology.net/phenAtmoLightning/Lightning
sophatmol:Lightning rdf:type owl:Class ;
                rdfs:subClassOf sophatmo:MeteorologicalPhenomena ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty sorel:hasPhenomena ;
                                  owl:someValuesFrom sopropcha:ElectricPotential
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty sorel:hasPhenomena ;
                                  owl:allValuesFrom sophatmol:Thunder
                                ] ;
                rdfs:label "lightning"@en .


###  http://sweetontology.net/phenAtmoLightning/ReturnStroke
sophatmol:ReturnStroke rdf:type owl:Class ;
                   rdfs:subClassOf sophatmol:Lightning ;
                   rdfs:label "return stroke"@en .


###  http://sweetontology.net/phenAtmoLightning/Thunder
sophatmol:Thunder rdf:type owl:Class ;
              rdfs:subClassOf sophatmo:MeteorologicalPhenomena ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty sorel:hasPhenomena ;
                                owl:allValuesFrom sophw:Sound
                              ] ;
              rdfs:label "thunder"@en .


###  http://sweetontology.net/phenAtmoPrecipitation/Thunderstorm
sophatmopc:Thunderstorm rdf:type owl:Class .


###  http://sweetontology.net/phenWave/Sound
sophw:Sound rdf:type owl:Class .


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


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