Compose‑CAL — Constructional Mereology

Pattern C.13 · Stable Part C - Kernel Extension Specifications

Keywords

  • mereology
  • part-whole
  • composition
  • sum
  • set
  • slice
  • extensional identity.

Relations