@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://www.ivoa.net/rdf/instrument#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .

ns0:advanced-satellite-for-cosmology-and-astrophysics
    a ns0:spacecraft .

ns0:astro-a
    a ns0:spacecraft .

ns0:corsa-b
    a ns0:spacecraft .

ns0:cosmic-background-explorer
    a ns0:spacecraft .

ns0:euclid
    a ns0:spacecraft .

ns0:gaia
    a ns0:spacecraft .

ns0:ginga
    a ns0:spacecraft .

ns0:hipparcos
    a ns0:spacecraft .

ns0:hubble-space-telescope
    a ns0:spacecraft .

ns0:james-webb-space-telescope
    a ns0:spacecraft .

ns0:kepler-space-telescope
    a ns0:spacecraft .

ns0:koronas-foton
    a ns0:spacecraft .

ns0:neil-gehrels-swift-observatory
    a ns0:spacecraft .

ns0:roving-observer
    a ns0:spacecraft .

ns0:solar-and-heliospheric-observatory
    a ns0:spacecraft .

ns0:solar-b
    a ns0:spacecraft .

ns0:space-mission
    rdfs:subClassOf ns0:spacecraft .

ns0:spacecraft
    metadata_def:mappingLoom "spacecraft" ;
    metadata_def:mappingSameURI ns0:spacecraft ;
    metadata_def:prefLabel "spacecraft" ;
    metadata:prefixIRI "obsi:spacecraft" ;
    a owl:Class ;
    rdfs:subClassOf ns0:platform, ns0:space-facility .

ns0:spitzer-space-telescope
    a ns0:spacecraft .

ns0:stereo-a
    a ns0:spacecraft .

ns0:stereo-b
    a ns0:spacecraft .

ns0:transiting-exoplanet-survey-satellite
    a ns0:spacecraft .

ns0:wide-field-infrared-survey-explorer
    a ns0:spacecraft .