Dontopedia

Ships Exist

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

Ships Exist has 11 facts recorded in Dontopedia across 7 references, with 2 live disagreements.

11 facts·5 predicates·7 sources·2 in dispute

Mostly:presupposed(6), existentially committed(2), presupposed by text(1)

Maturity scale raw canonical shape-checked rule-derived certified

Other facts (11)

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.

11 facts
PredicateValueRef
Presupposedall named vessels operational[1]
PresupposedAll Advertised Ships[1]
PresupposedTrue[2]
Presupposedtrue[2]
Presupposedtrue[1]
PresupposedLeura[7]
Existentially CommittedTrue[1]
Existentially Committednull[4]
Presupposed by TextAll Mentioned Ships[3]
Presupposed OperationalAll Listed Ships[5]
Presupposed by SchedulesAll Listed Ships[6]

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.

11 undated
—
presupposedtrove-cooktown/reynolds
all named vessels operational
—
presupposedtrove-cooktown/reynolds
ex:all-advertised-ships
—
presupposedtrove-cooktown/nunn
ex:true
—
presupposedtrove-cooktown/nunn
true
—
existentiallyCommittedtrove-cooktown/reynolds
ex:true
—
presupposedtrove-cooktown/reynolds
true
—
presupposedByTextbrackenridge-cairns-1880-1900/trove-new/146878554_Monday-24-August-1891_Advertising
ex:all-mentioned-ships
—
existentiallyCommittedbrackenridge-cairns-1880-1900/trove-new/169861647_Saturday-12-April-1890_Advertising
null
—
presupposedOperationalbrackenridge-cairns-1880-1900/trove-new/172384534_Saturday-9-October-1897_Advertising
ex:all-listed-ships
—
presupposedBySchedulesbrackenridge-cairns-1880-1900/trove-new/172391825_Saturday-23-October-1897_Advertising
ex:all-listed-ships
—
presupposedbrackenridge-cairns-1880-1900/trove-new/172725473_Monday-4-November-1895_Advertising
ex:leura

References (7)

7 references
  1. [1]Reynolds4 facts
    ctx:genes/trove-cooktown/reynolds
  2. [2]Nunn2 facts
    ctx:genes/trove-cooktown/nunn
  3. [3]146878554 Monday 24 August 1891 Advertising1 fact
    ctx:genes/brackenridge-cairns-1880-1900/trove-new/146878554_Monday-24-August-1891_Advertising
  4. [4]169861647 Saturday 12 April 1890 Advertising1 fact
    ctx:genes/brackenridge-cairns-1880-1900/trove-new/169861647_Saturday-12-April-1890_Advertising
  5. [5]172384534 Saturday 9 October 1897 Advertising1 fact
    ctx:genes/brackenridge-cairns-1880-1900/trove-new/172384534_Saturday-9-October-1897_Advertising
  6. [6]172391825 Saturday 23 October 1897 Advertising1 fact
    ctx:genes/brackenridge-cairns-1880-1900/trove-new/172391825_Saturday-23-October-1897_Advertising
  7. [7]172725473 Monday 4 November 1895 Advertising1 fact
    ctx:genes/brackenridge-cairns-1880-1900/trove-new/172725473_Monday-4-November-1895_Advertising

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.

↑