# AUTO-GENERATED by mpds-generate-ontology — do not edit by hand
# Sources: OPTIMADE_PROPERTIES (14), ELEMENTS_DB (63)

@prefix : <http://mpds.io/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://mpds.io/ontology> a owl:Ontology ;
    rdfs:label "MPDS OPTIMADE Structure & Physical Property Ontology" ;
    rdfs:comment """Ontology binding OPTIMADE crystallographic structures to physical
properties through chemical elements. Auto-generated from mpds_synthetic ontology spec.""" ;
    owl:versionInfo "1.0.0" .

:OPTIMADEEntry a owl:Class ;
    rdfs:label "OPTIMADE Entry" ;
    rdfs:comment "Root class for OPTIMADE-conformant resource entries." .

:hasId a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :OPTIMADEEntry ; rdfs:range xsd:string .

:hasType a owl:DatatypeProperty ;
    rdfs:domain :OPTIMADEEntry ; rdfs:range xsd:string .

:hasImmutableId a owl:DatatypeProperty ;
    rdfs:domain :OPTIMADEEntry ; rdfs:range xsd:integer .

:hasLastModified a owl:DatatypeProperty ;
    rdfs:domain :OPTIMADEEntry ; rdfs:range xsd:dateTime .

:Element a owl:Class ;
    rdfs:label "Chemical Element" ;
    owl:hasKey ( :hasSymbol ) .

:hasSymbol a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:string .

:hasElementName a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:string .

:hasAtomicNumber a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:positiveInteger .

:hasValence a owl:DatatypeProperty ;
    rdfs:domain :Element ; rdfs:range xsd:integer .

:hasMeltingPointF a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:decimal .

:hasBoilingPointF a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:decimal .

:hasDensityF a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :Element ; rdfs:range xsd:decimal .

:hasCrystalStructureType a owl:ObjectProperty ;
    rdfs:domain :Element ; rdfs:range :CrystalStructureType .

:CrystalStructureType a owl:Class ;
    rdfs:label "Crystal Structure Type" .

:CrystalStructure a owl:Class ;
    rdfs:subClassOf :OPTIMADEEntry ;
    rdfs:label "Crystal Structure" .

:containsElement a owl:ObjectProperty ;
    rdfs:domain :CrystalStructure ; rdfs:range :Element .

:presentInStructure a owl:ObjectProperty ;
    owl:inverseOf :containsElement ;
    rdfs:domain :Element ; rdfs:range :CrystalStructure .

:PropertyEntry a owl:Class ;
    rdfs:subClassOf :OPTIMADEEntry ;
    rdfs:label "Property Entry" .

:forComposition a owl:ObjectProperty ;
    rdfs:domain :PropertyEntry ; rdfs:range :Element .

:forCompositionInverse a owl:ObjectProperty ;
    owl:inverseOf :forComposition ;
    rdfs:domain :Element ; rdfs:range :PropertyEntry .

:PhysicalProperty a owl:Class ;
    rdfs:label "Physical Property Observation" ;
    owl:hasKey ( :hasPropertyName :belongsToEntry ) .

:belongsToEntry a owl:ObjectProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range :PropertyEntry .

:hasPropertyName a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range xsd:string .

:hasValue a owl:DatatypeProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range xsd:decimal .

:hasValueList a owl:DatatypeProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range xsd:string .

:hasUnit a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range xsd:string .

:hasMeasurementMethod a owl:DatatypeProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range xsd:string .

:MeasurementCondition a owl:Class ;
    rdfs:label "Measurement Condition" .

:hasConditionName a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :MeasurementCondition ; rdfs:range xsd:string .

:hasConditionValue a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :MeasurementCondition ; rdfs:range xsd:decimal .

:hasConditionUnit a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:domain :MeasurementCondition ; rdfs:range xsd:anyURI .

:hasCondition a owl:ObjectProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range :MeasurementCondition .

:MeasurementMethod a owl:Class ;
    rdfs:label "Measurement Method" .

:measuredBy a owl:ObjectProperty ;
    rdfs:domain :PhysicalProperty ; rdfs:range :MeasurementMethod .

:derivedFromStructure a owl:ObjectProperty ;
    rdfs:domain :PropertyEntry ; rdfs:range :CrystalStructure .

:FCC_A1 a :CrystalStructureType ; rdfs:label "FCC_A1" ;
    rdfs:comment "Face-centered cubic (Cu type)." .

:BCC_A2 a :CrystalStructureType ; rdfs:label "BCC_A2" ;
    rdfs:comment "Body-centered cubic (W type)." .

:HCP_A3 a :CrystalStructureType ; rdfs:label "HCP_A3" ;
    rdfs:comment "Hexagonal close-packed (Mg type)." .

:DIAMOND_A4 a :CrystalStructureType ; rdfs:label "DIAMOND_A4" ;
    rdfs:comment "Diamond cubic (C type)." .

:ROCKSALT_B1 a :CrystalStructureType ; rdfs:label "ROCKSALT_B1" ;
    rdfs:comment "Rocksalt (NaCl type)." .

:ZINCBLENDE_B3 a :CrystalStructureType ; rdfs:label "ZINCBLENDE_B3" ;
    rdfs:comment "Zincblende (ZnS type)." .

:WURTZITE_B4 a :CrystalStructureType ; rdfs:label "WURTZITE_B4" ;
    rdfs:comment "Wurtzite (ZnS wurtzite type)." .

:Rhombohedral a :CrystalStructureType ; rdfs:label "Rhombohedral" ;
    rdfs:comment "Rhombohedral crystal system." .

:Graphite a :CrystalStructureType ; rdfs:label "Graphite" ;
    rdfs:comment "Graphite layered structure." .

:Tetragonal a :CrystalStructureType ; rdfs:label "Tetragonal" ;
    rdfs:comment "Tetragonal crystal system." .

:Orthorhombic a :CrystalStructureType ; rdfs:label "Orthorhombic" ;
    rdfs:comment "Orthorhombic crystal system." .

:Hexagonal a :CrystalStructureType ; rdfs:label "Hexagonal" ;
    rdfs:comment "Hexagonal crystal system." .

:Cubic a :CrystalStructureType ; rdfs:label "Cubic" ;
    rdfs:comment "Simple cubic." .
:StructuralProperty a owl:Class ;
    rdfs:subClassOf :PhysicalProperty ;
    rdfs:label "Structural Property" .

:ThermalProperty a owl:Class ;
    rdfs:subClassOf :PhysicalProperty ;
    rdfs:label "Thermal Property" .

:ElasticProperty a owl:Class ;
    rdfs:subClassOf :PhysicalProperty ;
    rdfs:label "Elastic Property" .

:ElectricalProperty a owl:Class ;
    rdfs:subClassOf :PhysicalProperty ;
    rdfs:label "Electrical Property" .

:MagneticProperty a owl:Class ;
    rdfs:subClassOf :PhysicalProperty ;
    rdfs:label "Magnetic Property" .

:StructuralProperty owl:disjointWith :ThermalProperty, :ElasticProperty, :ElectricalProperty, :MagneticProperty .
:ThermalProperty owl:disjointWith :ElasticProperty, :ElectricalProperty, :MagneticProperty .
:ElasticProperty owl:disjointWith :ElectricalProperty, :MagneticProperty .
:ElectricalProperty owl:disjointWith :MagneticProperty .

:BandGap a owl:Class ;
    rdfs:subClassOf :ElectricalProperty ;
    rdfs:label "Band Gap" ;
    rdfs:comment "Band gap energy in eV Range: 0-10." .

:BulkModulus a owl:Class ;
    rdfs:subClassOf :ElasticProperty ;
    rdfs:label "Bulk Modulus" ;
    rdfs:comment "Bulk modulus in GPa Range: 5-500." .

:CellVolume a owl:Class ;
    rdfs:subClassOf :StructuralProperty ;
    rdfs:label "Cell Volume" ;
    rdfs:comment "Volume of the unit cell in angstrom^3 Range: 10-1000." .

:Density a owl:Class ;
    rdfs:subClassOf :StructuralProperty ;
    rdfs:label "Density" ;
    rdfs:comment "Density of the material in kg/m^3 Range: 1000-20000." .

:ElectricalConductivity a owl:Class ;
    rdfs:subClassOf :ElectricalProperty ;
    rdfs:label "Electrical Conductivity" ;
    rdfs:comment "Electrical conductivity in S/m Range: 1e-10-100000000.0." .

:HeatCapacity a owl:Class ;
    rdfs:subClassOf :ThermalProperty ;
    rdfs:label "Heat Capacity" ;
    rdfs:comment "Heat capacity in J/(mol*K) Range: 10-200." .

:LatticeParameter a owl:Class ;
    rdfs:subClassOf :StructuralProperty ;
    rdfs:label "Lattice Parameter" ;
    rdfs:comment "Lattice parameter in angstrom Range: 2.0-10.0." .

:MagneticMoment a owl:Class ;
    rdfs:subClassOf :MagneticProperty ;
    rdfs:label "Magnetic Moment" ;
    rdfs:comment "Magnetic moment per atom in Bohr magnetons Range: 0-10." .

:MeltingPoint a owl:Class ;
    rdfs:subClassOf :ThermalProperty ;
    rdfs:label "Melting Point" ;
    rdfs:comment "Melting point temperature in kelvin Range: 100-4000." .

:PoissonRatio a owl:Class ;
    rdfs:subClassOf :ElasticProperty ;
    rdfs:label "Poisson Ratio" ;
    rdfs:comment "Poisson ratio (dimensionless) Range: 0.0-0.5." .

:ShearModulus a owl:Class ;
    rdfs:subClassOf :ElasticProperty ;
    rdfs:label "Shear Modulus" ;
    rdfs:comment "Shear modulus in GPa Range: 1-300." .

:ThermalConductivity a owl:Class ;
    rdfs:subClassOf :ThermalProperty ;
    rdfs:label "Thermal Conductivity" ;
    rdfs:comment "Thermal conductivity in W/(m*K) Range: 0.1-1000." .

:ThermalExpansion a owl:Class ;
    rdfs:subClassOf :ThermalProperty ;
    rdfs:label "Thermal Expansion" ;
    rdfs:comment "Thermal expansion coefficient in 1/K Range: 1e-06-0.0001." .

:YoungsModulus a owl:Class ;
    rdfs:subClassOf :ElasticProperty ;
    rdfs:label "Young's Modulus" ;
    rdfs:comment "Young's modulus in GPa Range: 10-500." .

:TemperatureCondition a owl:Class ;
    rdfs:subClassOf :MeasurementCondition ;
    rdfs:comment "Unit URI: https://schemas.optimade.org/defs/v1.2/units/si/general/kelvin" .

:PressureCondition a owl:Class ;
    rdfs:subClassOf :MeasurementCondition ;
    rdfs:comment "Unit URI: https://schemas.optimade.org/defs/v1.2/units/si/general/pascal" .

:XRayDiffraction a :MeasurementMethod ; rdfs:label "X-ray diffraction" .
:NeutronDiffraction a :MeasurementMethod ; rdfs:label "neutron diffraction" .
:UltrasonicPulseEcho a :MeasurementMethod ; rdfs:label "ultrasonic pulse-echo" .
:HeatCapacityMeasurement a :MeasurementMethod ; rdfs:label "heat capacity measurement" .
:ElectricalResistivityMeasurement a :MeasurementMethod ; rdfs:label "electrical resistivity measurement" .
:ThermalDiffusivityMeasurement a :MeasurementMethod ; rdfs:label "thermal diffusivity measurement" .
:Magnetometry a :MeasurementMethod ; rdfs:label "magnetometry" .
:OpticalSpectroscopy a :MeasurementMethod ; rdfs:label "optical spectroscopy" .
# ELEMENT INDIVIDUALS (63 from ELEMENTS_DB)

:Ag a :Element ;
    :hasSymbol "Ag" ; :hasElementName "Silver" ;
    :hasAtomicNumber 47 ; :hasValence 1 ;
    :hasMeltingPointF 1234.93 ; :hasBoilingPointF 2435 ;
    :hasDensityF 10.49 ; :hasCrystalStructureType :FCC_A1 .

:Al a :Element ;
    :hasSymbol "Al" ; :hasElementName "Aluminum" ;
    :hasAtomicNumber 13 ; :hasValence 3 ;
    :hasMeltingPointF 933.47 ; :hasBoilingPointF 2792 ;
    :hasDensityF 2.7 ; :hasCrystalStructureType :FCC_A1 .

:As a :Element ;
    :hasSymbol "As" ; :hasElementName "Arsenic" ;
    :hasAtomicNumber 33 ; :hasValence 3 ;
    :hasMeltingPointF 1090 ; :hasBoilingPointF 1090 ;
    :hasDensityF 5.73 ; :hasCrystalStructureType :Rhombohedral .

:Au a :Element ;
    :hasSymbol "Au" ; :hasElementName "Gold" ;
    :hasAtomicNumber 79 ; :hasValence 1 ;
    :hasMeltingPointF 1337.33 ; :hasBoilingPointF 3129 ;
    :hasDensityF 19.3 ; :hasCrystalStructureType :FCC_A1 .

:B a :Element ;
    :hasSymbol "B" ; :hasElementName "Boron" ;
    :hasAtomicNumber 5 ; :hasValence 3 ;
    :hasMeltingPointF 2348 ; :hasBoilingPointF 4275 ;
    :hasDensityF 2.34 ; :hasCrystalStructureType :Rhombohedral .

:Ba a :Element ;
    :hasSymbol "Ba" ; :hasElementName "Barium" ;
    :hasAtomicNumber 56 ; :hasValence 2 ;
    :hasMeltingPointF 1000 ; :hasBoilingPointF 2170 ;
    :hasDensityF 3.62 ; :hasCrystalStructureType :BCC_A2 .

:Be a :Element ;
    :hasSymbol "Be" ; :hasElementName "Beryllium" ;
    :hasAtomicNumber 4 ; :hasValence 2 ;
    :hasMeltingPointF 1560 ; :hasBoilingPointF 2743 ;
    :hasDensityF 1.85 ; :hasCrystalStructureType :HCP_A3 .

:Bi a :Element ;
    :hasSymbol "Bi" ; :hasElementName "Bismuth" ;
    :hasAtomicNumber 83 ; :hasValence 3 ;
    :hasMeltingPointF 544.4 ; :hasBoilingPointF 1837 ;
    :hasDensityF 9.78 ; :hasCrystalStructureType :Rhombohedral .

:C a :Element ;
    :hasSymbol "C" ; :hasElementName "Carbon" ;
    :hasAtomicNumber 6 ; :hasValence 4 ;
    :hasMeltingPointF 3823 ; :hasBoilingPointF 4098 ;
    :hasDensityF 2.26 ; :hasCrystalStructureType :Graphite .

:Ca a :Element ;
    :hasSymbol "Ca" ; :hasElementName "Calcium" ;
    :hasAtomicNumber 20 ; :hasValence 2 ;
    :hasMeltingPointF 1115 ; :hasBoilingPointF 1757 ;
    :hasDensityF 1.55 ; :hasCrystalStructureType :FCC_A1 .

:Cd a :Element ;
    :hasSymbol "Cd" ; :hasElementName "Cadmium" ;
    :hasAtomicNumber 48 ; :hasValence 2 ;
    :hasMeltingPointF 594.22 ; :hasBoilingPointF 1040 ;
    :hasDensityF 8.65 ; :hasCrystalStructureType :HCP_A3 .

:Ce a :Element ;
    :hasSymbol "Ce" ; :hasElementName "Cerium" ;
    :hasAtomicNumber 58 ; :hasValence 3 ;
    :hasMeltingPointF 1071 ; :hasBoilingPointF 3699 ;
    :hasDensityF 6.77 ; :hasCrystalStructureType :FCC_A1 .

:Co a :Element ;
    :hasSymbol "Co" ; :hasElementName "Cobalt" ;
    :hasAtomicNumber 27 ; :hasValence 2 ;
    :hasMeltingPointF 1768 ; :hasBoilingPointF 3143 ;
    :hasDensityF 8.9 ; :hasCrystalStructureType :HCP_A3 .

:Cr a :Element ;
    :hasSymbol "Cr" ; :hasElementName "Chromium" ;
    :hasAtomicNumber 24 ; :hasValence 3 ;
    :hasMeltingPointF 2130 ; :hasBoilingPointF 2944 ;
    :hasDensityF 7.19 ; :hasCrystalStructureType :BCC_A2 .

:Cs a :Element ;
    :hasSymbol "Cs" ; :hasElementName "Cesium" ;
    :hasAtomicNumber 55 ; :hasValence 1 ;
    :hasMeltingPointF 301.59 ; :hasBoilingPointF 944 ;
    :hasDensityF 1.93 ; :hasCrystalStructureType :BCC_A2 .

:Cu a :Element ;
    :hasSymbol "Cu" ; :hasElementName "Copper" ;
    :hasAtomicNumber 29 ; :hasValence 2 ;
    :hasMeltingPointF 1357.77 ; :hasBoilingPointF 2835 ;
    :hasDensityF 8.96 ; :hasCrystalStructureType :FCC_A1 .

:Fe a :Element ;
    :hasSymbol "Fe" ; :hasElementName "Iron" ;
    :hasAtomicNumber 26 ; :hasValence 2 ;
    :hasMeltingPointF 1811 ; :hasBoilingPointF 3134 ;
    :hasDensityF 7.87 ; :hasCrystalStructureType :BCC_A2 .

:Ga a :Element ;
    :hasSymbol "Ga" ; :hasElementName "Gallium" ;
    :hasAtomicNumber 31 ; :hasValence 3 ;
    :hasMeltingPointF 302.91 ; :hasBoilingPointF 2477 ;
    :hasDensityF 5.91 ; :hasCrystalStructureType :Orthorhombic .

:Gd a :Element ;
    :hasSymbol "Gd" ; :hasElementName "Gadolinium" ;
    :hasAtomicNumber 64 ; :hasValence 3 ;
    :hasMeltingPointF 1586 ; :hasBoilingPointF 3539 ;
    :hasDensityF 7.9 ; :hasCrystalStructureType :HCP_A3 .

:Ge a :Element ;
    :hasSymbol "Ge" ; :hasElementName "Germanium" ;
    :hasAtomicNumber 32 ; :hasValence 4 ;
    :hasMeltingPointF 1211.4 ; :hasBoilingPointF 3106 ;
    :hasDensityF 5.32 ; :hasCrystalStructureType :DIAMOND_A4 .

:Hf a :Element ;
    :hasSymbol "Hf" ; :hasElementName "Hafnium" ;
    :hasAtomicNumber 72 ; :hasValence 4 ;
    :hasMeltingPointF 2506 ; :hasBoilingPointF 4876 ;
    :hasDensityF 13.31 ; :hasCrystalStructureType :HCP_A3 .

:Hg a :Element ;
    :hasSymbol "Hg" ; :hasElementName "Mercury" ;
    :hasAtomicNumber 80 ; :hasValence 2 ;
    :hasMeltingPointF 234.32 ; :hasBoilingPointF 629.88 ;
    :hasDensityF 13.55 ; :hasCrystalStructureType :Rhombohedral .

:In a :Element ;
    :hasSymbol "In" ; :hasElementName "Indium" ;
    :hasAtomicNumber 49 ; :hasValence 3 ;
    :hasMeltingPointF 429.75 ; :hasBoilingPointF 2353 ;
    :hasDensityF 7.31 ; :hasCrystalStructureType :Tetragonal .

:Ir a :Element ;
    :hasSymbol "Ir" ; :hasElementName "Iridium" ;
    :hasAtomicNumber 77 ; :hasValence 3 ;
    :hasMeltingPointF 2719 ; :hasBoilingPointF 4701 ;
    :hasDensityF 22.56 ; :hasCrystalStructureType :FCC_A1 .

:K a :Element ;
    :hasSymbol "K" ; :hasElementName "Potassium" ;
    :hasAtomicNumber 19 ; :hasValence 1 ;
    :hasMeltingPointF 336.53 ; :hasBoilingPointF 1032 ;
    :hasDensityF 0.86 ; :hasCrystalStructureType :BCC_A2 .

:La a :Element ;
    :hasSymbol "La" ; :hasElementName "Lanthanum" ;
    :hasAtomicNumber 57 ; :hasValence 3 ;
    :hasMeltingPointF 1193 ; :hasBoilingPointF 3743 ;
    :hasDensityF 6.15 ; :hasCrystalStructureType :Hexagonal .

:Li a :Element ;
    :hasSymbol "Li" ; :hasElementName "Lithium" ;
    :hasAtomicNumber 3 ; :hasValence 1 ;
    :hasMeltingPointF 453.69 ; :hasBoilingPointF 1615 ;
    :hasDensityF 0.53 ; :hasCrystalStructureType :BCC_A2 .

:Mg a :Element ;
    :hasSymbol "Mg" ; :hasElementName "Magnesium" ;
    :hasAtomicNumber 12 ; :hasValence 2 ;
    :hasMeltingPointF 923 ; :hasBoilingPointF 1363 ;
    :hasDensityF 1.74 ; :hasCrystalStructureType :HCP_A3 .

:Mn a :Element ;
    :hasSymbol "Mn" ; :hasElementName "Manganese" ;
    :hasAtomicNumber 25 ; :hasValence 2 ;
    :hasMeltingPointF 1519 ; :hasBoilingPointF 2334 ;
    :hasDensityF 7.43 ; :hasCrystalStructureType :Cubic .

:Mo a :Element ;
    :hasSymbol "Mo" ; :hasElementName "Molybdenum" ;
    :hasAtomicNumber 42 ; :hasValence 3 ;
    :hasMeltingPointF 2896 ; :hasBoilingPointF 4912 ;
    :hasDensityF 10.28 ; :hasCrystalStructureType :BCC_A2 .

:Na a :Element ;
    :hasSymbol "Na" ; :hasElementName "Sodium" ;
    :hasAtomicNumber 11 ; :hasValence 1 ;
    :hasMeltingPointF 370.87 ; :hasBoilingPointF 1156 ;
    :hasDensityF 0.97 ; :hasCrystalStructureType :BCC_A2 .

:Nb a :Element ;
    :hasSymbol "Nb" ; :hasElementName "Niobium" ;
    :hasAtomicNumber 41 ; :hasValence 3 ;
    :hasMeltingPointF 2750 ; :hasBoilingPointF 5017 ;
    :hasDensityF 8.57 ; :hasCrystalStructureType :BCC_A2 .

:Nd a :Element ;
    :hasSymbol "Nd" ; :hasElementName "Neodymium" ;
    :hasAtomicNumber 60 ; :hasValence 3 ;
    :hasMeltingPointF 1297 ; :hasBoilingPointF 3347 ;
    :hasDensityF 7.01 ; :hasCrystalStructureType :Hexagonal .

:Ni a :Element ;
    :hasSymbol "Ni" ; :hasElementName "Nickel" ;
    :hasAtomicNumber 28 ; :hasValence 2 ;
    :hasMeltingPointF 1728 ; :hasBoilingPointF 3186 ;
    :hasDensityF 8.91 ; :hasCrystalStructureType :FCC_A1 .

:O a :Element ;
    :hasSymbol "O" ; :hasElementName "Oxygen" ;
    :hasAtomicNumber 8 ; :hasValence 2 ;
    :hasMeltingPointF 54.36 ; :hasBoilingPointF 90.2 ;
    :hasDensityF 1.43 ; :hasCrystalStructureType :Cubic .

:Os a :Element ;
    :hasSymbol "Os" ; :hasElementName "Osmium" ;
    :hasAtomicNumber 76 ; :hasValence 4 ;
    :hasMeltingPointF 3306 ; :hasBoilingPointF 5285 ;
    :hasDensityF 22.59 ; :hasCrystalStructureType :HCP_A3 .

:P a :Element ;
    :hasSymbol "P" ; :hasElementName "Phosphorus" ;
    :hasAtomicNumber 15 ; :hasValence 3 ;
    :hasMeltingPointF 317.3 ; :hasBoilingPointF 553.65 ;
    :hasDensityF 1.82 ; :hasCrystalStructureType :Orthorhombic .

:Pb a :Element ;
    :hasSymbol "Pb" ; :hasElementName "Lead" ;
    :hasAtomicNumber 82 ; :hasValence 2 ;
    :hasMeltingPointF 600.61 ; :hasBoilingPointF 2022 ;
    :hasDensityF 11.34 ; :hasCrystalStructureType :FCC_A1 .

:Pd a :Element ;
    :hasSymbol "Pd" ; :hasElementName "Palladium" ;
    :hasAtomicNumber 46 ; :hasValence 2 ;
    :hasMeltingPointF 1828.05 ; :hasBoilingPointF 3236 ;
    :hasDensityF 12.02 ; :hasCrystalStructureType :FCC_A1 .

:Pt a :Element ;
    :hasSymbol "Pt" ; :hasElementName "Platinum" ;
    :hasAtomicNumber 78 ; :hasValence 2 ;
    :hasMeltingPointF 2041.4 ; :hasBoilingPointF 4098 ;
    :hasDensityF 21.45 ; :hasCrystalStructureType :FCC_A1 .

:Re a :Element ;
    :hasSymbol "Re" ; :hasElementName "Rhenium" ;
    :hasAtomicNumber 75 ; :hasValence 4 ;
    :hasMeltingPointF 3459 ; :hasBoilingPointF 5869 ;
    :hasDensityF 21.02 ; :hasCrystalStructureType :HCP_A3 .

:Rh a :Element ;
    :hasSymbol "Rh" ; :hasElementName "Rhodium" ;
    :hasAtomicNumber 45 ; :hasValence 3 ;
    :hasMeltingPointF 2237 ; :hasBoilingPointF 3968 ;
    :hasDensityF 12.41 ; :hasCrystalStructureType :FCC_A1 .

:Ru a :Element ;
    :hasSymbol "Ru" ; :hasElementName "Ruthenium" ;
    :hasAtomicNumber 44 ; :hasValence 3 ;
    :hasMeltingPointF 2607 ; :hasBoilingPointF 4423 ;
    :hasDensityF 12.45 ; :hasCrystalStructureType :HCP_A3 .

:S a :Element ;
    :hasSymbol "S" ; :hasElementName "Sulfur" ;
    :hasAtomicNumber 16 ; :hasValence 2 ;
    :hasMeltingPointF 388.36 ; :hasBoilingPointF 717.87 ;
    :hasDensityF 2.07 ; :hasCrystalStructureType :Orthorhombic .

:Sb a :Element ;
    :hasSymbol "Sb" ; :hasElementName "Antimony" ;
    :hasAtomicNumber 51 ; :hasValence 3 ;
    :hasMeltingPointF 904 ; :hasBoilingPointF 1860 ;
    :hasDensityF 6.68 ; :hasCrystalStructureType :Rhombohedral .

:Sc a :Element ;
    :hasSymbol "Sc" ; :hasElementName "Scandium" ;
    :hasAtomicNumber 21 ; :hasValence 3 ;
    :hasMeltingPointF 1814 ; :hasBoilingPointF 3103 ;
    :hasDensityF 2.99 ; :hasCrystalStructureType :HCP_A3 .

:Se a :Element ;
    :hasSymbol "Se" ; :hasElementName "Selenium" ;
    :hasAtomicNumber 34 ; :hasValence 2 ;
    :hasMeltingPointF 493.65 ; :hasBoilingPointF 958 ;
    :hasDensityF 4.81 ; :hasCrystalStructureType :Hexagonal .

:Si a :Element ;
    :hasSymbol "Si" ; :hasElementName "Silicon" ;
    :hasAtomicNumber 14 ; :hasValence 4 ;
    :hasMeltingPointF 1687 ; :hasBoilingPointF 3538 ;
    :hasDensityF 2.33 ; :hasCrystalStructureType :DIAMOND_A4 .

:Sm a :Element ;
    :hasSymbol "Sm" ; :hasElementName "Samarium" ;
    :hasAtomicNumber 62 ; :hasValence 3 ;
    :hasMeltingPointF 1345 ; :hasBoilingPointF 2067 ;
    :hasDensityF 7.52 ; :hasCrystalStructureType :Rhombohedral .

:Sn a :Element ;
    :hasSymbol "Sn" ; :hasElementName "Tin" ;
    :hasAtomicNumber 50 ; :hasValence 4 ;
    :hasMeltingPointF 505.08 ; :hasBoilingPointF 2875 ;
    :hasDensityF 7.29 ; :hasCrystalStructureType :Tetragonal .

:Sr a :Element ;
    :hasSymbol "Sr" ; :hasElementName "Strontium" ;
    :hasAtomicNumber 38 ; :hasValence 2 ;
    :hasMeltingPointF 1050 ; :hasBoilingPointF 1655 ;
    :hasDensityF 2.63 ; :hasCrystalStructureType :FCC_A1 .

:Ta a :Element ;
    :hasSymbol "Ta" ; :hasElementName "Tantalum" ;
    :hasAtomicNumber 73 ; :hasValence 3 ;
    :hasMeltingPointF 3290 ; :hasBoilingPointF 5731 ;
    :hasDensityF 16.65 ; :hasCrystalStructureType :BCC_A2 .

:Te a :Element ;
    :hasSymbol "Te" ; :hasElementName "Tellurium" ;
    :hasAtomicNumber 52 ; :hasValence 2 ;
    :hasMeltingPointF 722.66 ; :hasBoilingPointF 1261 ;
    :hasDensityF 6.24 ; :hasCrystalStructureType :Hexagonal .

:Th a :Element ;
    :hasSymbol "Th" ; :hasElementName "Thorium" ;
    :hasAtomicNumber 90 ; :hasValence 4 ;
    :hasMeltingPointF 2115 ; :hasBoilingPointF 5061 ;
    :hasDensityF 11.72 ; :hasCrystalStructureType :FCC_A1 .

:Ti a :Element ;
    :hasSymbol "Ti" ; :hasElementName "Titanium" ;
    :hasAtomicNumber 22 ; :hasValence 4 ;
    :hasMeltingPointF 1941 ; :hasBoilingPointF 3560 ;
    :hasDensityF 4.51 ; :hasCrystalStructureType :HCP_A3 .

:Tl a :Element ;
    :hasSymbol "Tl" ; :hasElementName "Thallium" ;
    :hasAtomicNumber 81 ; :hasValence 3 ;
    :hasMeltingPointF 577 ; :hasBoilingPointF 1746 ;
    :hasDensityF 11.85 ; :hasCrystalStructureType :HCP_A3 .

:U a :Element ;
    :hasSymbol "U" ; :hasElementName "Uranium" ;
    :hasAtomicNumber 92 ; :hasValence 4 ;
    :hasMeltingPointF 1405.3 ; :hasBoilingPointF 4404 ;
    :hasDensityF 19.1 ; :hasCrystalStructureType :Orthorhombic .

:V a :Element ;
    :hasSymbol "V" ; :hasElementName "Vanadium" ;
    :hasAtomicNumber 23 ; :hasValence 3 ;
    :hasMeltingPointF 2183 ; :hasBoilingPointF 3680 ;
    :hasDensityF 6.11 ; :hasCrystalStructureType :BCC_A2 .

:W a :Element ;
    :hasSymbol "W" ; :hasElementName "Tungsten" ;
    :hasAtomicNumber 74 ; :hasValence 3 ;
    :hasMeltingPointF 3695 ; :hasBoilingPointF 5828 ;
    :hasDensityF 19.25 ; :hasCrystalStructureType :BCC_A2 .

:Y a :Element ;
    :hasSymbol "Y" ; :hasElementName "Yttrium" ;
    :hasAtomicNumber 39 ; :hasValence 3 ;
    :hasMeltingPointF 1799 ; :hasBoilingPointF 3609 ;
    :hasDensityF 4.47 ; :hasCrystalStructureType :HCP_A3 .

:Yb a :Element ;
    :hasSymbol "Yb" ; :hasElementName "Ytterbium" ;
    :hasAtomicNumber 70 ; :hasValence 3 ;
    :hasMeltingPointF 1097 ; :hasBoilingPointF 1469 ;
    :hasDensityF 6.9 ; :hasCrystalStructureType :FCC_A1 .

:Zn a :Element ;
    :hasSymbol "Zn" ; :hasElementName "Zinc" ;
    :hasAtomicNumber 30 ; :hasValence 2 ;
    :hasMeltingPointF 692.68 ; :hasBoilingPointF 1180 ;
    :hasDensityF 7.14 ; :hasCrystalStructureType :HCP_A3 .

:Zr a :Element ;
    :hasSymbol "Zr" ; :hasElementName "Zirconium" ;
    :hasAtomicNumber 40 ; :hasValence 4 ;
    :hasMeltingPointF 2128 ; :hasBoilingPointF 4682 ;
    :hasDensityF 6.51 ; :hasCrystalStructureType :HCP_A3 .