Dontopedia

Person Type

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)

Person Type has 12 facts recorded in Dontopedia across 2 references, with 1 live disagreement.

12 facts·4 predicates·2 sources·1 in dispute

Mostly:has attribute(9), assumes biological sex(1), has fields(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (2)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

definesTypeDefines Type(1)

isListOfIs List of(1)

Other facts (12)

The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.

12 facts
PredicateValueRef
Has Attributeid[2]
Has Attributename[2]
Has Attributesex[2]
Has Attributebirth[2]
Has Attributedeath[2]
Has Attributeparents[2]
Has Attributespouses[2]
Has Attributeconfidence[2]
Has Attributenotes[2]
Assumes Biological SexTrue[1]
Has Fieldsid, name, sex, birth, death, parents, spouses, confidence, notes[1]
Defined inPerson Lean[2]

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

assumesBiologicalSexblah/tpmjs/part-68
ex:true
hasFieldsblah/tpmjs/part-68
id, name, sex, birth, death, parents, spouses, confidence, notes
definedInblah/tpmjs/68
ex:person-lean
hasAttributeblah/tpmjs/68
id
hasAttributeblah/tpmjs/68
name
hasAttributeblah/tpmjs/68
sex
hasAttributeblah/tpmjs/68
birth
hasAttributeblah/tpmjs/68
death
hasAttributeblah/tpmjs/68
parents
hasAttributeblah/tpmjs/68
spouses
hasAttributeblah/tpmjs/68
confidence
hasAttributeblah/tpmjs/68
notes

References (2)

2 references
  1. [1]Part 682 facts
    ctx:discord/blah/tpmjs/part-68
  2. [2]6810 facts
    ctx:discord/blah/tpmjs/68
    • full texttpmjs-68
      text/plain3 KBdoc:agent/tpmjs-68/e5de6f17-d683-4095-a196-73fb499e3236
      Show excerpt
      [2026-03-29 23:03] ajaxdavis: ``` Lean Type System (Genealogy/) Basic.lean - Date — year/month/day (partial dates OK) - YearRange — earliest/latest with validity proof - SourceTier — primary | secondary | tertiary - So

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.