Nishi Family › Atlas › Family Tree › Directory › Card

nx_tptp_term

TRUNK — part of the living tree

Organ card — parents it builds on, children built on it, and how intertwined it is with the rest of the ecosystem.

gen 1import-hops from god (of 7)
7parents (imports)
15children (importers)
15total descendants reach (Ca)

Parents — what it builds on

nx_syscallsnx_runtimenx_tiernx_strnx_resultnx_unifynx_tptp_symtab

Real children — organs built on it (5, complete)

nx_tptp_loadnx_tptp_formulanx_fof_parsenx_solvenx_tptp_load_any

Validation — its tests/gates (10, complete)

nx_tptp_emit_testnx_fof_tseitin_testnx_casc_runner_testnx_avatar_solve_testnx_tptp_formula_testnx_solve_testnx_fof_parse_testnx_tptp_load_testnx_fof_cnf_testnx_tptp_write_test

Partners — co-parents of its children (complete)

nx_syscallsnx_runtimenx_tiernx_strnx_resultnx_file_resultnx_unifynx_resolutionnx_tptp_symtabnx_tptp_formulanx_tptp_emitnx_subsumptionnx_tautologynx_saturationnx_fofnx_fof_parsenx_fof_cnfnx_fof_tseitinnx_disctreenx_paramodulationnx_pre_satnx_sinenx_tptp_loadnx_tptp_load_anynx_clause_componentsnx_avatar_splitnx_solve

27 distinct organs co-parent its children — the intertwining measure.

Siblings — per parent

via nx_syscalls: 13498 siblingsvia nx_runtime: 266 siblingsvia nx_tier: 2866 siblingsvia nx_str: 103 siblingsvia nx_result: 88 siblingsvia nx_unify: 73 siblingsvia nx_tptp_symtab: 19 siblings

Lineage — roots to god

Lineage image renders on demand — one MCP call: nx_eco_graph_png ["nx_tptp_term.nx"] → it appears here. Or read the parents chain above card-by-card.

✥ open in the TREE EXPLORER · ← the family tree · directory · Atlas home