Dontopedia
Explore

Fact Type

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

Fact Type has 4 facts recorded in Dontopedia across 1 reference, with 1 live disagreement.

4 facts·2 predicates·1 sources·1 in dispute
Maturity scale raw canonical shape-checked rule-derived certified

Has Possible Statein disputehasPossibleState

  • discrepancy[1]sourceall time · 68
  • unknown[1]sourceall time · 68
  • established[1]sourceall time · 68

Defined indefinedIn

Inbound mentions (1)

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.

partOfPart of(1)

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.

4 undated
—
definedInblah/tpmjs/68
ex:basic-lean
—
hasPossibleStateblah/tpmjs/68
discrepancy
—
hasPossibleStateblah/tpmjs/68
unknown
—
hasPossibleStateblah/tpmjs/68
established

References (1)

1 references
  1. [1]tpmjs-684 facts
    customctx: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.

↑