https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk> .
@prefix sub: <https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/> .
@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/hauy1801-05> a <https://w3id.org/delphi/ontology/Claim>;
dc:description "The matter enveloping the primitive nucleus is a stack of layers which, starting from the primitive form, decrease in extent on all sides or on some, and this decrement proceeds by regular subtraction of one or more rows of integrant molecules.";
dc:type "mechanism";
<http://www.w3.org/2000/01/rdf-schema#comment> "Formalization: one, contingent. The law of rational indices in its original integer-row form.";
<http://www.w3.org/2000/01/rdf-schema#label> "Secondary forms are built of layers decreasing by whole rows of molecules from the primitive form";
<http://www.w3.org/2004/02/skos/core#notation> "(hkl) \\in \\mathbb{Z}^3 \\text{ for every face}";
<https://w3id.org/delphi/ontology/context> "Haüy RJ, “Traité de minéralogie, tome premier”, Conseil des Mines, Paris (Chez Louis) (1801); Structure des cristaux, p. 60. Scope: Secondary crystal faces; their indices relative to the primitive form." .
}
sub:provenance {
<https://archive.org/details/traitdeminra01ha> a prov:Entity, <https://schema.org/CreativeWork>;
dc:bibliographicCitation "Haüy RJ. Traité de minéralogie, tome premier. Conseil des Mines, Paris (Chez Louis) (1801)";
dc:creator "René Just Haüy";
dc:date "1801"^^xsd:gYear;
dc:description "Volume 1 holds the general theory of crystal structure: integrant molecules, the primitive form, and the laws of decrement first published in the 1784 Essai. The 1784 Essai (archive.org bub_gb_HbJDAAAAcAAJ) was fetched but its eighteenth-century OCR (long s) is too corrupt to quote; see SEARCHES.md. French.";
dc:rights "Public domain (1801).";
dc:title "Traité de minéralogie, tome premier";
<http://spdx.org/rdf/terms#checksum> sub:sourceChecksum;
<http://www.w3.org/2000/01/rdf-schema#label> "Reading copy of Traité de minéralogie, tome premier";
<https://schema.org/about> <https://archive.org/details/traitdeminra01ha> .
<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/traitdeminra01ha>, sub:quote;
prov:wasGeneratedBy sub:extraction .
sub:extraction a prov:Activity;
prov:qualifiedAssociation sub:extractionPlan;
prov:used <https://archive.org/details/traitdeminra01ha>, <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/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/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/build/generate.mjs> .
sub:quote a prov:Entity;
<http://www.w3.org/2000/01/rdf-schema#comment> "Page 60 of the reading copy; paragraph 366 of the normalised text 1801-hauy.txt (sha256 75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19), produced by build/fetch.py and checked by build/check-quotes.mjs. The text itself is not committed.";
prov:hadPrimarySource <https://archive.org/details/traitdeminra01ha>;
prov:wasQuotedFrom <https://archive.org/details/traitdeminra01ha>;
<https://schema.org/text> "Ce décroissement se fait par des soustractions régulières d'une ou de plusieurs rangées de molécules intégrantes" .
sub:sourceChecksum <http://spdx.org/rdf/terms#algorithm> <http://spdx.org/rdf/terms#checksumAlgorithm_sha256>;
<http://spdx.org/rdf/terms#checksumValue> "75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19";
<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-07T03:18:23.997Z"^^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/hauy1801-05>;
<http://www.w3.org/2000/01/rdf-schema#label> "René Just Haüy 1801 claim: Secondary forms are built of layers decreasing by whole rows of molecules from the primitive form";
<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 "XBADAZdPA1l3W34rSk2v0wG2vOvj52PSUkCBMmGdUFXd1DEZ2IA86mjWJEYRT2bbE0/gB+GicAgL92EqMm0SnJaTzBkD85evukjfPMX68yTW7N2zIEvFQyyjWT9f0YCQirkjjvu/AmB4CiXude4TGEcD6k+DptpMslEmjWCTKcIv4Y/mLj4Fp9DXwRpRXQv3KqRnlohcQcBthSEbsLTjxqYF5nwiuucDMzO5gGuJYs6TxSNNZ23bgDZAW0iKcFwu9S9scp8QmZ14R+Sbg1Ij35P/bnPCZ2anA8nAXUsgWEZLDFwX7bWFbCigXjhpQW5SErVmnuwvymvH/kvrVlv7ew==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}