https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/Head https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/assertion https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/provenance https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/pubinfo https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/assertion https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://purl.org/dc/terms/description analysis.py downloaded the Zebrafish Anatomy Ontology and Uberon release v2026-10-01 and parsed OBO term blocks. A clause is contradicted when the zebrafish ontology has an exact label or synonym neck, limb, forelimb, hindlimb, testis, testicle, or mammary gland or breast. An Uberon in_taxon or only_in_taxon axiom whose taxon label is Mammalia, Tetrapoda or Amniota is read as a restriction to a non-fish clade. never_in_taxon on a fish clade would also support the clause. dubious_for_taxon is recorded and does not by itself support it. Fins are not scored as limbs. A zebrafish label that is simply absent supports that clause under the pre-registered single-species rule. The conjunction is mixed when at least one clause is contradicted and at least one other clause is supported. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/Assessment https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 1 clauses contradicted, of neck, limb, testis and mammary gland (n = 4). Interpretation: Fish follows the modern scope of jawed fishes and excludes tetrapods. Aristotle's limb is an arm or leg, so pectoral and pelvic fins do not count; a digit-bearing limb or a class labeled limb, forelimb or hindlimb does. Testicles map to the testis, internal or external. Breasts map to the mammary gland. An ontology axiom is a curated anatomical assertion, not a new dissection, and the caveat must say so. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha02-16: mixed, confidence 0.76 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://www.w3.org/2000/01/rdf-schema#seeAlso https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-16/result.json https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Public anatomy ontologies that name these structures and either are the anatomy of a fish species or attach taxon constraints (present_in_taxon, never_in_taxon, only_in_taxon) resolvable to a lineage. Fins are not scored as limbs. Tetrapods are not fishes. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/dataKind biological https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Any fish taxon is asserted to have a testis, a neck, a limb (not a fin), or a mammary gland. One such fish is enough to contradict that clause, and a contradicted testicle clause refutes the sentence. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Neck, limb, forelimb, hindlimb, mammary gland and breast have no exact label in that fish ontology. Uberon restricts limb to Tetrapoda and mammary gland to Mammalia. Neck is only marked dubious for Teleostei, so its support is the missing zebrafish label. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Paired fins are not counted as limbs. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The limb axiom notes that the class extends to stem tetrapods such as Eusthenopteron. That fossil was not scored as a living fish. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/evidenceAgainst These are curated ontology axioms, not new dissections. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Zebrafish Anatomy Ontology term ZFA:0000598 is named testis, with synonym testes, in Danio rerio. That contradicts the claim that no fish has testicles. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/expectedObservation Neck, limb, testis and mammary gland are each absent from fishes: either excluded by a taxon constraint or, in the zebrafish anatomy ontology, not named as a zebrafish structure. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. Refutes if the testicle clause is contradicted, because the claim says no fish has testicles within or without. Mixed if at least one clause is contradicted and at least one other clause is supported. Inconclusive, reason data-unavailable, if neither ontology can be retrieved. Inconclusive, reason not-operationalizable, if the files contain no taxon or presence assertion that can score at least one clause. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.76 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/hasVerdict mixed https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/hypothesis Fishes lack a neck, lack limbs, lack testes whether internal or external, and lack mammary glands. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/inferenceMethod analysis.py matches class labels neck, limb, forelimb, hindlimb, testis and mammary gland, reads taxon axioms, and resolves NCBI lineages for the cited taxa. Zebrafish Anatomy Ontology terms count as structures of Danio rerio. A universal absence is supported only by an exclusion that covers fishes, or by absence of the label from the fish-species ontology together with no contradictory presence axiom. A single presence axiom contradicts that clause. The conjunction refutes when the testicle clause is contradicted and no other clause is positively supported; it is mixed when support and contradiction both occur. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. Four clauses are scored separately for fishes, meaning Actinopterygii, Chondrichthyes, and non-tetrapod Sarcopterygii. A clause is supported if an anatomy ontology restricts the structure to a non-fish clade (only_in_taxon or an equivalent never_in_taxon covering fishes) or, for a single-species fish anatomy ontology, the structure's label is absent. A clause is contradicted if any fish is asserted to possess the structure. Supports only if all four clauses are supported and none is contradicted. Fins, paired fins and fin rays are not limbs. A gonad labeled testis or testicle in a fish contradicts the testicle clause. https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/aristotle-ha02-16 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://purl.org/dc/terms/description anatomy of one fish species, Danio rerio https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://purl.org/dc/terms/license CC BY 3.0 https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: Zebrafish Anatomy Ontology https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://www.w3.org/ns/prov#atLocation https://purl.obolibrary.org/obo/zfa.obo https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://purl.obolibrary.org/obo/zfa.obo https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:ee378cb00699a69d8b6fb7c608041ae11db97f0caab5570d63982a9a2d18ee25 https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://purl.org/dc/terms/description taxon constraints on neck, limb, testis and mammary gland https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://purl.org/dc/terms/license CC BY 3.0 https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://www.w3.org/2000/01/rdf-schema#label Dataset: Uberon multi-species anatomy ontology https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://www.w3.org/ns/prov#atLocation https://github.com/obophenotype/uberon/releases/download/v2026-10-01/uberon.obo https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/obophenotype/uberon/releases/tag/v2026-10-01 https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2 https://w3id.org/delphi/ontology/hasChecksum sha256:d4751a15d7551a8414caee2628c62bf68301d567caf54ccfa3eef383ae7cbb61 https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/provenance https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#SoftwareAgent https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/2000/01/rdf-schema#label delphisci claim tester (grok-4.7; cursor/aristotle-biology-claim-tests-5da8) https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/grok-4-7 https://w3id.org/delphi/resource/model/grok-4-7 http://purl.org/dc/terms/identifier grok-4.7 https://w3id.org/delphi/resource/model/grok-4-7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-16/result.json https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/test https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/plan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/plan https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/pubinfo https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://purl.org/dc/terms/created 2026-11-08T16:24:31.751Z https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha02-16: mixed, confidence 0.76 https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/aristotle-biology https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/sig http://purl.org/nanopub/x/hasSignature h4YiMTsv2lSlW904YX+7MSYhM/EoeFNsRPlXn22A7eNVgEb8boLnUGnlrdkWUdmC9uohWVKMOvdYGNCQbFWbVpWyVNaZikYxpZepZL4fAfKCRv7x8tE/9XaMY6t2IvF+4lEHyaJLmeSU1NbhNDo2dUJuhaYWsqGllgeKiJDc6HAm1WzDYz88LXPvtSzM4/2ckrmb+Ws2sCWkJJtM9Ayo8AQ0GBFKD2qdzZPQ1HoXE1ZNGEHxu33N6NhW2DI4YHWzNxIo9eJeWQdAzYYnjc6+d99I/bLZnHzSiAAfx11JfyiOeo/UJBAJQWeE/+X0IXqCfMd5/YfEu4qSMknZiD98vA== https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192