https://w3id.org/np/RA_6mQoBZzcjnQVrD7YosZmpufLTPVRSSp08CV0JNtaog
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA_6mQoBZzcjnQVrD7YosZmpufLTPVRSSp08CV0JNtaog> .
@prefix sub: <https://w3id.org/np/RA_6mQoBZzcjnQVrD7YosZmpufLTPVRSSp08CV0JNtaog/> .
@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/assessment/aristotle-ha02-09--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Permanent dental formulas were read from the MSD Veterinary Manual table. Formula images were fetched and the printed total was taken with Tesseract; sheep and goats share one row with cattle. The human count is the permanent-tooth total stated in OpenStax Anatomy and Physiology 2e, section 23.3. NHANES 2017–2018 oral exams (OHXDEN_J) joined to demographics give the mean number of teeth coded permanent-and-present at ages 20–39, by sex. A kind passes only if males exceed females by at least one tooth on the formula, and, for humans, also on that mean.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0 kinds in which males have at least one more permanent tooth (n = 4). Interpretation: Aristotle's 'more teeth' is read as the typical adult permanent complement, not a difference in tooth size and not teeth lost to decay. Sheep, goats and swine are Ovis aries, Capra hircus and Sus scrofa. Man is Homo sapiens. A species-level dental formula is the count for both sexes unless the source splits them. The horse is not one of the four kinds; if the same table notes a sex difference for the horse, that shows the table records sex-limited teeth, and it is reported as a methods check, not as a tested kind.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-09: refutes, confidence 0.84";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-09/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A public veterinary or anatomical dental-formula table that states permanent tooth positions, and a public human dental examination with sex and per-tooth presence. The formula source must be one that records a sex-limited tooth when the editors believe one exists. Feral or pathological tooth loss is not the livestock estimand. NHANES ages are restricted to 20–39 so that unerupted primary teeth and late-life extraction are reduced; remaining-tooth means still do not override an equal anatomical formula.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "For any one of those four kinds, the typical counts are equal or the female count is higher.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Livestock counts are species-typical formulas, not measurements of sex-labelled skulls.",
"NHANES counts teeth still present in the mouth. Extractions and unerupted third molars move that mean off the anatomical formula, which is why an equal formula fails the kind even if the means differ by a fraction of a tooth.",
"OpenStax states one adult human total and does not split it by sex.", "The same table's footnote records canine teeth as usual in male horses and reduced or absent in mares, so a sex difference had a place to be written for sheep, goats and pigs and was not.";
<https://w3id.org/delphi/ontology/expectedObservation> "For each of Homo sapiens, Ovis aries, Capra hircus and Sus scrofa, the typical adult male permanent tooth count is at least one tooth higher than the female count.";
<https://w3id.org/delphi/ontology/failCriterion> "Refutes if at least one of the four kinds has male minus female less than or equal to 0. Inconclusive, reason data-unavailable or other, if no kind fails and at least one kind cannot be measured. Mixed is not used: the claim asserts the pattern for all four kinds, so one measured counterexample refutes it.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.84"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-2>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-3>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "In humans, sheep, goats and pigs, the typical adult male permanent tooth count exceeds the typical adult female permanent tooth count.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Sum the permanent formula for both sides of the mouth. Difference = male count minus female count, or 0 when a single species formula is given. NHANES: mean count of teeth coded as permanent and present, males minus females, ages 20–39. A kind passes only if its difference is at least 1. The claim supports only if every kind passes; otherwise, if any kind fails, the verdict is refutes.";
<https://w3id.org/delphi/ontology/passCriterion> "Supports only if all four kinds pass. A kind passes when its male typical permanent tooth count exceeds its female count by at least 1 tooth. Livestock counts come from the permanent dental formula (both sides). A formula given once for a species, with no statement that males of that species have more teeth, is a difference of 0 and that kind fails. A sex difference counts only when the same source states it for that species. Humans pass only if the anatomical formula gives males at least one more tooth than females AND, in NHANES adults aged 20–39, the male mean number of permanent teeth present exceeds the female mean by at least 1.0. If the formula source and NHANES disagree, the kind fails.";
<https://w3id.org/delphi/ontology/preregistered> "true"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha02-09> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha02-09--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "permanent tooth totals for sheep, goat and pig, and whether a sex difference is stated";
dc:license "publicly readable; MSD Veterinary Manual terms";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: MSD Veterinary Manual dental formulas of various animal species";
prov:atLocation <https://edge.sitecorecloud.io/mmanual-ssq1ci05/media/veterinary/images/d/i/g/digzz04.gif?thn=0&sc_lang=en&mw=640>,
<https://edge.sitecorecloud.io/mmanual-ssq1ci05/media/veterinary/images/d/i/g/digzz06.gif?thn=0&sc_lang=en&mw=640>,
<https://edge.sitecorecloud.io/mmanual-ssq1ci05/media/veterinary/images/d/i/g/digzz08.gif?thn=0&sc_lang=en&mw=640>,
<https://edge.sitecorecloud.io/mmanual-ssq1ci05/media/veterinary/images/d/i/g/digzz10.gif?thn=0&sc_lang=en&mw=640>,
<https://www.msdvetmanual.com/multimedia/table/dental-formulas-of-various-animal-species>;
prov:wasDerivedFrom <https://www.msdvetmanual.com/multimedia/table/dental-formulas-of-various-animal-species>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:0851a25489a2ec94841c5d4dd23950665a1fb4d2cb36de92b372ca2218b80d1d",
"sha256:1a769a72acdd073f8a288acf5215ba9c4aa73997abc8aa47b366ace589239c82", "sha256:21e90ca389faf060d859859743ddc2faf363cdaabd9a13b1133a5d1dfd3642cf",
"sha256:d281ee19034b783fba02761a470798b9f6046ee2a5612240f3545576b9de433b", "sha256:d5f8c7959a4c2a0d92b79129e86397b1b4e4500a1f90a43cec1f7d034ee057de" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "human permanent tooth count";
dc:license "CC BY 4.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: OpenStax Anatomy and Physiology 2e, section 23.3";
prov:atLocation <https://openstax.org/books/anatomy-and-physiology-2e/pages/23-3-the-mouth-pharynx-and-esophagus>;
prov:wasDerivedFrom <https://openstax.org/books/anatomy-and-physiology-2e/pages/23-3-the-mouth-pharynx-and-esophagus>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:b5913834c91deb654184243d6b2a067acec8d48550d1d345e919e7ec785533a0" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-09--claim-test--dataset-3>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "mean permanent teeth present by sex at ages 20-39";
dc:license "public domain (US government work)";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: NHANES 2017-2018 oral health dentition and demographics";
prov:atLocation <https://wwwn.cdc.gov/Nchs/Data/Nhanes/Public/2017/DataFiles/DEMO_J.htm>,
<https://wwwn.cdc.gov/Nchs/Data/Nhanes/Public/2017/DataFiles/DEMO_J.xpt>, <https://wwwn.cdc.gov/Nchs/Data/Nhanes/Public/2017/DataFiles/OHXDEN_J.htm>,
<https://wwwn.cdc.gov/Nchs/Data/Nhanes/Public/2017/DataFiles/OHXDEN_J.xpt>;
prov:wasDerivedFrom <https://wwwn.cdc.gov/nchs/nhanes/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:07f8f1e7f884fab180ccf53c705652de9d663833fdad85b0d759919c8464cde0",
"sha256:7330dcb64e29d8479b8b4eff2827e59734517f9e6b6221c77c121aa1e2e1d38a", "sha256:91767a08eba61c5e7cde9cce3a1a5db43e2792dba1067ec1f8bf7af7032ec212",
"sha256:c0b46e0345ea19404928656277c8b0d10b0cca348a9b2fe4fc3c67e8b7ee73ec" .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (grok-4.7; cursor/aristotle-claim-tests-7800)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/grok-4-7> .
<https://w3id.org/delphi/resource/model/grok-4-7> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "grok-4.7" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-09/result.json>;
prov:wasGeneratedBy sub:test .
sub:plan prov:hadPlan <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md> .
sub:test a prov:Activity;
prov:qualifiedAssociation sub:plan;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.751Z"^^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/Assessment>;
npx:introduces <https://w3id.org/delphi/resource/assessment/aristotle-ha02-09--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-09: refutes, confidence 0.84";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/aristotle-biology> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "DVdii2qQBsUpMQQiogDWDLtTjGFw+oL1ArS1V0OqUO2gpFKHVpzX81j6byRhY18xeFLB7tBIKVeMatq9jzJ4bObUItOKbmlS6fOhKLFIKGzwK2ZUiomVgG8I5kGypXWXW3JqTqn4UX0/BnLUgv0nM4PiTaUBn84G8/Ol0+z2aUNyF0/GTtiYSn6sU9UqlIY+pCGVsq9x6+J0DSCzmzsxP1WFC/yYqg9Ez788aeLgshct60kAEJWOWLOY4Pk1+USXCwowRxGLOIUpzlD4a8Jdm2hl/Xk6d1Zg6ZjOXOKcSVW1DeinbdZQrft2l0qXMgqQtbFMCwS1Sbs8/DDFu2MzAQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}