@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a ; dc:description "Downloaded the ZFIN anatomy-term file and matched term names to kidney, metanephros, mesonephros and pronephros. Queried BioSamples for Gallus gallus, Danio rerio and Anolis carolinensis with the pre-registered organism-part values, and took the value with the largest total. Trachemys scripta is reported and is not required for the verdict. One hit refutes the universal; no hit is inconclusive."; "Measured: 4 sources or species with a kidney record (n = 14). Interpretation: Feathered animals are represented by the chicken, scaled fishes by the zebrafish, and scaly reptiles that are not tortoises by the green anole. Aristotle allows flattened kidney-like bodies in some birds and still says the kidney is wanting; a structure named kidney, or a pronephros, mesonephros or metanephros, counts as the organ. Tortoises are the stated exception and are queried only as a description. One counterexample refutes a universal absence."; "Claim test of aristotle-pa03-23 (pr-169): refutes, confidence 0.85"; ; prov:wasAttributedTo ; "The ZFIN zebrafish anatomy-term download, which lists structures of Danio rerio, and the public EBI BioSamples index filtered by organism and organism part. A sample of an organ is evidence the organ was present in the sampled animal. An ontology or sample index that does not mention an organ is not evidence of absence."; "claim-test/0.1.0"; "biological"; "A curated zebrafish anatomy term naming a kidney, or at least one public biosample of kidney from a chicken, a zebrafish or a green anole."; "A biosample of kidney shows that the organ was taken from that species. It is not a survey of every bird and every fish.", "Aristotle's flattened kidney-like bodies in birds are counted as kidneys when the source names them as a kidney or a nephros.", "No kidney record in these two sources would not establish that kidneys are absent, so that outcome stays inconclusive.", "ZFIN is the anatomy of the zebrafish, a scaled bony fish, not of every scaled animal."; "No confirming observation is defined. The universal would require coded absence across feathered and scaled animals, which these sources do not provide."; "Pre-registered. The claim is refuted if the ZFIN zebrafish anatomy list contains a term whose name is kidney, metanephros, mesonephros or pronephros, or if EBI BioSamples reports at least one sample of Gallus gallus, Danio rerio or Anolis carolinensis whose organism-part value is one of kidney, Kidney, adult kidney or kidney tissue. A tortoise sample is reported and is not required. If both sources are fetched and neither records such a kidney, the verdict is inconclusive with reason other. If both sources fail to return a readable file or response, the verdict is inconclusive with reason data-unavailable."; "0.85"^^xsd:double; , ; "refutes"; "If kidneys are absent from every feathered or scaled animal except tortoises, public anatomy records do not list a kidney for a bird, a bony fish or a lizard."; "Exact, case-sensitive match of organism-part values in the pre-registered list, and a case-insensitive exact match of ZFIN term names to the four kidney names. One hit refutes the universal. Zero hits, with the sources readable, is inconclusive."; "Pre-registered. The test cannot support the universal absence. Failure to find a kidney record in the two sources is not evidence that the organ is absent. There is no pass condition."; "false"^^xsd:boolean . . a ; dc:description "anatomical terms of Danio rerio, including kidney terms if listed"; dc:license "ZFIN data are publicly downloadable; cite ZFIN"; "Dataset: ZFIN zebrafish anatomy term list"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:b5d296611d1b28992f6ff7a576da45c598611de98d308bd8cbddb5ccd49de7f1" . a ; dc:description "samples whose organism part is kidney for chicken, zebrafish and green anole"; dc:license "Public BioSamples records"; "Dataset: EMBL-EBI BioSamples"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:14b000d34a0911581b8b97b933871cdf5d885232af1ef71791c51309cb461de2" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (grok-4.7; bc-166d9fe0-2255-4b46-9201-716b347078dc)"; prov:actedOnBehalfOf ; . a ; dc:identifier "grok-4.7" . sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom ; prov:wasGeneratedBy sub:test . sub:plan prov:hadPlan . sub:test a prov:Activity; prov:qualifiedAssociation sub:plan; prov:wasAssociatedWith . } sub:pubinfo { this: dc:created "2026-11-08T16:24:31.795Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-pa03-23 (pr-169): refutes, confidence 0.85"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "tYIKiG3lcmnKt+bYVT8fsoU64w6LnSVNdbN3RPlVLu5hWCcQHmCO5CiVEgfMAuY7tk3D/agfnpnd5Q+TaCVZnpXNIvo0poJts+Xsms5CgW6uH8lfTLnR3NGI/4PMVAZw867e8aw2eSG56tJ9z98U8BW1i3m2vqmkEzuv5trRa8tGYDkk0TUgw9Vzrr+uP68KE7hALTxdOLz0smLhcQxdeGeDh4/PKMCDncusGwiiwKcwmwcxRmhc0MyoQEC+L8t29NBkauIiYfDy1C1afHPS2HqKrO/DJCp0Pbhpl8HYSrnBtp+AreJwqfQ6tLvBF0F9hJY2nYSAVCzZUnP0WV2HgQ=="; npx:hasSignatureTarget this:; npx:signedBy . }