https://w3id.org/np/RA9KgA_oAKYi6OFeQf8poArZi3nK6uqiRjn_jBfP2US4k
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA9KgA_oAKYi6OFeQf8poArZi3nK6uqiRjn_jBfP2US4k> .
@prefix sub: <https://w3id.org/np/RA9KgA_oAKYi6OFeQf8poArZi3nK6uqiRjn_jBfP2US4k/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
sub:Head {
this: a np:Nanopublication;
np:hasAssertion sub:assertion;
np:hasProvenance sub:provenance;
np:hasPublicationInfo sub:pubinfo .
}
sub:assertion {
<https://w3id.org/delphi/resource/claim/bravais1850-01> a <https://w3id.org/delphi/ontology/Claim>;
dc:description "A regular point assemblage (lattice) can possess only axes of binary, ternary, quaternary or senary symmetry.";
dc:type "theoretical";
<http://www.w3.org/2000/01/rdf-schema#comment> "Formalization: one. The crystallographic restriction. A Lean target: 2 cos(2 pi/n) in Z implies n in {1,2,3,4,6}.",
"Related claim <https://w3id.org/delphi/resource/claim/thompson1917-ch09-17> (premise-of): Thompson's argument that the regular dodecahedral and icosahedral radiolarian shells are not crystal-like space partitions takes the crystallographic restriction as its premise: five-fold axes cannot occur in a lattice, so a regular pentagonal dodecahedron in an organism must arise another way. The organism is the contrast case, not a counterexample to the theorem.";
<http://www.w3.org/2000/01/rdf-schema#label> "A lattice can only have two-, three-, four- or six-fold symmetry axes";
<http://www.w3.org/2004/02/skos/core#notation> "n \\in \\{1,2,3,4,6\\}";
<http://www.w3.org/2004/02/skos/core#related> <https://w3id.org/delphi/resource/claim/thompson1917-ch09-17>;
<https://w3id.org/delphi/ontology/context> "Bravais A, “Mémoire sur les systèmes formés par des points distribués régulièrement sur un plan ou dans l'espace”, Journal de l'École Polytechnique 19 (cahier 33), 1850; read in Études cristallographiques, Gauthier-Villars, Paris, 1866 (1850); Mémoire sur les systèmes de points, théorème XLVI, p. 73. Scope: All three-dimensional lattices." .
}
sub:provenance {
<https://archive.org/details/tudescristallog00bravgoog> a prov:Entity, <https://schema.org/CreativeWork>;
dc:bibliographicCitation "Bravais A. Mémoire sur les systèmes formés par des points distribués régulièrement sur un plan ou dans l'espace. Journal de l'École Polytechnique 19 (cahier 33), 1850; read in Études cristallographiques, Gauthier-Villars, Paris, 1866 (1850), 1-128";
dc:creator "Auguste Bravais";
dc:date "1850"^^xsd:gYear;
dc:description "The posthumous 1866 collection reprints the 1850 memoir on lattices and the 1851 memoir on polyhedra of crystalline form. French.";
dc:rights "Public domain (1850; collection 1866).";
dc:title "Mémoire sur les systèmes formés par des points distribués régulièrement sur un plan ou dans l'espace";
<http://spdx.org/rdf/terms#checksum> sub:sourceChecksum;
<http://www.w3.org/2000/01/rdf-schema#label> "Reading copy of Mémoire sur les systèmes formés par des points distribués régulièrement sur un plan ou dans l'espace";
<https://schema.org/about> <https://archive.org/details/tudescristallog00bravgoog> .
<https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor> a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci crystals-and-form claim extractor";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/claude-fable-5.1> .
<https://w3id.org/delphi/resource/model/claude-fable-5.1> a <https://w3id.org/delphi/ontology/LanguageModel>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claude Fable 5.1" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor>;
prov:wasDerivedFrom <https://archive.org/details/tudescristallog00bravgoog>, sub:quote;
prov:wasGeneratedBy sub:extraction .
sub:extraction a prov:Activity;
prov:qualifiedAssociation sub:extractionPlan;
prov:used <https://archive.org/details/tudescristallog00bravgoog>, <https://github.com/fractastical/delphisci/blob/854b76c7269e4e1da6fa0945c79d1626036978d3/claim-sources/crystals-and-form/inputs/sources.json>;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor> .
sub:extractionPlan prov:hadPlan <https://github.com/fractastical/delphisci/blob/854b76c7269e4e1da6fa0945c79d1626036978d3/claim-sources/crystals-and-form/build/generate.mjs> .
sub:quote a prov:Entity;
<http://www.w3.org/2000/01/rdf-schema#comment> "Page 73 of the reading copy; paragraph 1443 of the normalised text 1850-bravais.txt (sha256 d7a7910b838d96a1c4b37d979c0ba877c254fd83a256922580fa367c168d3cbd), produced by build/fetch.py and checked by build/check-quotes.mjs. The text itself is not committed.";
prov:hadPrimarySource <https://archive.org/details/tudescristallog00bravgoog>;
prov:wasQuotedFrom <https://archive.org/details/tudescristallog00bravgoog>;
<https://schema.org/text> "Un Assemblage ne peut posséder que des adcs de symétrie binaire, ternaire, quaternaire ou sénaire." .
sub:sourceChecksum <http://spdx.org/rdf/terms#algorithm> <http://spdx.org/rdf/terms#checksumAlgorithm_sha256>;
<http://spdx.org/rdf/terms#checksumValue> "d7a7910b838d96a1c4b37d979c0ba877c254fd83a256922580fa367c168d3cbd";
<http://www.w3.org/2000/01/rdf-schema#comment> "Checksum of the normalised one-paragraph-per-line text derived from the reading copy, not of the reading copy itself." .
}
sub:pubinfo {
<https://w3id.org/delphi/resource/domain/crystals-and-form> <http://www.w3.org/2000/01/rdf-schema#label>
"crystals-and-form" .
this: dc:created "2026-11-07T06:06:25.330Z"^^xsd:dateTime;
dc:creator <https://orcid.org/0009-0007-4948-9192>;
dc:license <https://creativecommons.org/licenses/by/4.0/>;
npx:hasNanopubType <https://w3id.org/delphi/ontology/Claim>;
npx:introduces <https://w3id.org/delphi/resource/claim/bravais1850-01>;
npx:supersedes <https://w3id.org/np/RAHprLVImUbhGNz__DnVoNzDRIX38Y82W6XqV0WY8Hvvo>;
<http://www.w3.org/2000/01/rdf-schema#label> "Auguste Bravais 1850 claim: A lattice can only have two-, three-, four- or six-fold symmetry axes";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/crystals-and-form> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "qxhsMGEpCQ+0BxI7n9p4t6gAIjDxGCgzTVUnej2F0GISbtuwiIkuWP/36hh+HaUq9ked9tV+vrDI4MRGIm9oAEoWDDNBFy72o5mnqd7Pbio6RQdgQsWWgy0PcMgQE6Zaji49zVDJmISrfLQB6kefvS2/kVbIpB67vuccmIlkifEB/UuEC7kAfpcE3v8c6c4nQNth/6etxStADe27t4h/ypR0DGARjPMsxZk87rCO7nUfrO7keKWZSVMwi0EGlTadRu4fDgzj7KVW+CVq+wgOYs5caiR6MdgZlYQ5E1tG8oCiZzclFp66sfYaj1Hv6c+SC6bm0YQayoHBI8Yp3fK8og==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}