rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/np/" } } rows { name { value: "RA9KgA_oAKYi6OFeQf8poArZi3nK6uqiRjn_jBfP2US4k" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RA9KgA_oAKYi6OFeQf8poArZi3nK6uqiRjn_jBfP2US4k/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "bravais1850-01" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "A regular point assemblage (lattice) can possess only axes of binary, ternary, quaternary or senary symmetry." } g_iri { prefix_id: 2 name_id: 4 } } } rows { quad { p_iri { prefix_id: 7 name_id: 10 } o_literal { lex: "theoretical" } } } rows { prefix { value: "https://w3id.org/delphi/ontology/" } } rows { name { value: "Claim" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "comment" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Formalization: one. The crystallographic restriction. A Lean target: 2 cos(2 pi/n) in Z implies n in {1,2,3,4,6}." } } } rows { quad { o_literal { lex: "Related claim (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." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "A lattice can only have two-, three-, four- or six-fold symmetry axes" } } } rows { prefix { value: "http://www.w3.org/2004/02/skos/core#" } } rows { name { value: "notation" } } rows { quad { p_iri { prefix_id: 12 } o_literal { lex: "n \\in \\{1,2,3,4,6\\}" } } } rows { name { value: "related" } } rows { name { value: "thompson1917-ch09-17" } } rows { quad { p_iri { } o_iri { prefix_id: 9 } } } rows { name { value: "context" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "Bravais A, \342\200\234M\303\251moire sur les syst\303\250mes form\303\251s par des points distribu\303\251s r\303\251guli\303\250rement sur un plan ou dans l\'espace\342\200\235, Journal de l\'\303\211cole Polytechnique 19 (cahier 33), 1850; read in \303\211tudes cristallographiques, Gauthier-Villars, Paris, 1866 (1850); M\303\251moire sur les syst\303\250mes de points, th\303\251or\303\250me XLVI, p. 73. Scope: All three-dimensional lattices." } } } rows { prefix { value: "https://archive.org/details/" } } rows { name { value: "tudescristallog00bravgoog" } } rows { name { value: "bibliographicCitation" } } rows { quad { s_iri { prefix_id: 13 } p_iri { prefix_id: 7 } o_literal { lex: "Bravais A. M\303\251moire sur les syst\303\250mes form\303\251s par des points distribu\303\251s r\303\251guli\303\250rement sur un plan ou dans l\'espace. Journal de l\'\303\211cole Polytechnique 19 (cahier 33), 1850; read in \303\211tudes cristallographiques, Gauthier-Villars, Paris, 1866 (1850), 1-128" } g_iri { prefix_id: 2 name_id: 7 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 23 } o_literal { lex: "Auguste Bravais" } } } rows { name { value: "date" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#gYear" } } rows { quad { p_iri { } o_literal { lex: "1850" datatype: 1 } } } rows { quad { p_iri { name_id: 13 } o_literal { lex: "The posthumous 1866 collection reprints the 1850 memoir on lattices and the 1851 memoir on polyhedra of crystalline form. French." } } } rows { name { value: "rights" } } rows { quad { p_iri { name_id: 25 } o_literal { lex: "Public domain (1850; collection 1866)." } } } rows { name { value: "title" } } rows { quad { p_iri { } o_literal { lex: "M\303\251moire sur les syst\303\250mes form\303\251s par des points distribu\303\251s r\303\251guli\303\250rement sur un plan ou dans l\'espace" } } } rows { prefix { value: "http://spdx.org/rdf/terms#" } } rows { name { value: "checksum" } } rows { name { value: "sourceChecksum" } } rows { quad { p_iri { prefix_id: 14 } o_iri { prefix_id: 2 } } } rows { name { value: "Entity" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 29 } } } rows { prefix { value: "https://schema.org/" } } rows { name { value: "CreativeWork" } } rows { quad { o_iri { prefix_id: 15 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Reading copy of M\303\251moire sur les syst\303\250mes form\303\251s par des points distribu\303\251s r\303\251guli\303\250rement sur un plan ou dans l\'espace" } } } rows { name { value: "about" } } rows { quad { p_iri { prefix_id: 15 name_id: 31 } o_iri { prefix_id: 13 name_id: 21 } } } rows { prefix { value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "delphisci-crystals-and-form-extractor" } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { prefix_id: 16 name_id: 32 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 33 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci crystals-and-form claim extractor" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 6 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 34 } o_iri { prefix_id: 6 } } } rows { name { value: "usesModel" } } rows { prefix { id: 8 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "claude-fable-5.1" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 8 } } } rows { name { value: "LanguageModel" } } rows { quad { s_iri { name_id: 37 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 38 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claude Fable 5.1" } } } rows { name { value: "wasAttributedTo" } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 39 } o_iri { prefix_id: 16 name_id: 32 } } } rows { name { value: "wasDerivedFrom" } } rows { quad { p_iri { prefix_id: 5 name_id: 40 } o_iri { prefix_id: 13 name_id: 21 } } } rows { name { value: "quote" } } rows { quad { o_iri { prefix_id: 2 name_id: 41 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "extraction" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 2 } } } rows { name { value: "Activity" } } rows { quad { s_iri { name_id: 43 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 44 } } } rows { name { value: "qualifiedAssociation" } } rows { name { value: "extractionPlan" } } rows { quad { p_iri { } o_iri { prefix_id: 2 } } } rows { name { value: "used" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 13 name_id: 21 } } } rows { prefix { id: 1 value: "https://github.com/fractastical/delphisci/blob/854b76c7269e4e1da6fa0945c79d1626036978d3/claim-sources/crystals-and-form/inputs/" } } rows { name { value: "sources.json" } } rows { quad { o_iri { prefix_id: 1 name_id: 48 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 16 name_id: 32 } } } rows { name { value: "hadPlan" } } rows { prefix { id: 3 value: "https://github.com/fractastical/delphisci/blob/854b76c7269e4e1da6fa0945c79d1626036978d3/claim-sources/crystals-and-form/build/" } } rows { name { value: "generate.mjs" } } rows { quad { s_iri { prefix_id: 2 name_id: 46 } p_iri { prefix_id: 5 name_id: 50 } o_iri { prefix_id: 3 } } } rows { quad { s_iri { prefix_id: 2 name_id: 41 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 29 } } } rows { quad { p_iri { prefix_id: 11 name_id: 15 } o_literal { lex: "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." } } } rows { name { value: "hadPrimarySource" } } rows { quad { p_iri { prefix_id: 5 name_id: 52 } o_iri { prefix_id: 13 name_id: 21 } } } rows { name { value: "wasQuotedFrom" } } rows { quad { p_iri { prefix_id: 5 name_id: 53 } } } rows { name { value: "text" } } rows { quad { p_iri { prefix_id: 15 } o_literal { lex: "Un Assemblage ne peut poss\303\251der que des adcs de sym\303\251trie binaire, ternaire, quaternaire ou s\303\251naire." } } } rows { name { value: "algorithm" } } rows { name { value: "checksumAlgorithm_sha256" } } rows { quad { s_iri { prefix_id: 2 name_id: 28 } p_iri { prefix_id: 14 name_id: 55 } o_iri { } } } rows { name { value: "checksumValue" } } rows { quad { p_iri { } o_literal { lex: "d7a7910b838d96a1c4b37d979c0ba877c254fd83a256922580fa367c168d3cbd" } } } rows { quad { p_iri { prefix_id: 11 name_id: 15 } o_literal { lex: "Checksum of the normalised one-paragraph-per-line text derived from the reading copy, not of the reading copy itself." } } } rows { prefix { id: 12 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "crystals-and-form" } } rows { quad { s_iri { prefix_id: 12 name_id: 58 } p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "crystals-and-form" } g_iri { prefix_id: 2 name_id: 9 } } } rows { prefix { id: 9 value: "https://w3id.org/np/" } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 9 name_id: 1 } p_iri { prefix_id: 7 name_id: 59 } o_literal { lex: "2026-11-07T06:06:25.330Z" datatype: 2 } } } rows { quad { p_iri { name_id: 23 } o_iri { prefix_id: 6 name_id: 35 } } } rows { name { value: "license" } } rows { prefix { id: 8 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 60 } o_iri { prefix_id: 8 name_id: 2 } } } rows { prefix { id: 10 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { prefix { id: 1 value: "https://w3id.org/delphi/ontology/" } } rows { quad { p_iri { prefix_id: 10 name_id: 61 } o_iri { prefix_id: 1 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 16 value: "https://w3id.org/delphi/resource/claim/" } } rows { quad { p_iri { prefix_id: 10 name_id: 62 } o_iri { prefix_id: 16 name_id: 12 } } } rows { name { value: "supersedes" } } rows { name { value: "RAHprLVImUbhGNz__DnVoNzDRIX38Y82W6XqV0WY8Hvvo" } } rows { quad { p_iri { prefix_id: 10 name_id: 63 } o_iri { prefix_id: 9 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Auguste Bravais 1850 claim: A lattice can only have two-, three-, four- or six-fold symmetry axes" } } } rows { name { value: "domain" } } rows { quad { p_iri { prefix_id: 1 name_id: 65 } o_iri { prefix_id: 12 name_id: 58 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 name_id: 66 } p_iri { prefix_id: 10 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "qxhsMGEpCQ+0BxI7n9p4t6gAIjDxGCgzTVUnej2F0GISbtuwiIkuWP/36hh+HaUq9ked9tV+vrDI4MRGIm9oAEoWDDNBFy72o5mnqd7Pbio6RQdgQsWWgy0PcMgQE6Zaji49zVDJmISrfLQB6kefvS2/kVbIpB67vuccmIlkifEB/UuEC7kAfpcE3v8c6c4nQNth/6etxStADe27t4h/ypR0DGARjPMsxZk87rCO7nUfrO7keKWZSVMwi0EGlTadRu4fDgzj7KVW+CVq+wgOYs5caiR6MdgZlYQ5E1tG8oCiZzclFp66sfYaj1Hv6c+SC6bm0YQayoHBI8Yp3fK8og==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 9 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 10 name_id: 71 } o_iri { prefix_id: 6 name_id: 35 } } }