Update the ontology

1 files changed, 17 insertions, 7 deletions

diff --git a/README.md b/README.md
index 6e01b70..ba9b840 100644
--- a/README.md
+++ b/README.md
@@ -15,12 +15,15 @@ A persistent, formally verified knowledge base stored as a Git repository of Lea
 
 ## Planned Domain Structure
 
-The KB is organised into four top-level sections, each subdivided into domain files that correspond to a specific area of knowledge. The subsections are the natural unit an agent loads — for example, loading only `Physics` or only `MoneyFinance` without pulling in unrelated facts.
+The KB is organised into four top-level sections. Each subsection corresponds to one domain file — the natural unit an agent loads for a focused query. For example, an agent answering a chemistry question loads only `Chemistry`; one doing financial calculations loads only `MoneyFinance`.
 
 ### Mathematics
 
 | Domain file | Coverage |
 |-------------|----------|
+| `LogicSetTheory` | Symbolic logic and foundations: Boolean algebra, set theory, transfinite numbers |
+| `Probability` | Quantification of likelihood: games of chance, Bernoulli's trials, probability formulas, probability distributions |
+| `AppliedMathematics` | Optimization, numerical analysis, dynamic systems, fractals, game theory, packing and covering objects |
 | `ElementaryMath` | Arithmetic, fractions, percentages; reasoning about parity and sign of underspecified values |
 | `Algebra` | Variables, number systems, algebraic operations and symbols |
 | `Geometry` | Plane, solid, coordinate, transformations, high-dimensional, packing, curves, polyforms, topology, tilings |
@@ -35,21 +38,26 @@ The KB is organised into four top-level sections, each subdivided into domain fi
 | Domain file | Coverage |
 |-------------|----------|
 | `Physics` | Mechanics, oscillations & waves, statistical physics, thermodynamics, electricity & magnetism, optics, relativity, nuclear, quantum, particle, astrophysics, constants, principles, effects, fluid mechanics |
-| `Chemistry` | Matter from atoms and ions to biomolecules |
+| `Chemistry` | Chemical elements, molecules, ions, quantities, reactions, thermodynamics, solutions, cheminformatics, quantum chemistry, functional groups, bonds & orbitals, nuclear chemistry |
 | `UnitsMeasures` | Conversion and analysis of scientific and everyday measurement systems |
 | `Engineering` | Aerospace, energy, electrical, control systems, mechanical, civil, fluid mechanics, acoustics, steam tables, measurement devices |
+| `HealthMedicine` | Physical exercise, human anatomy, medical codes, blood alcohol content, mortality data, diseases, medical computations, vision, medical tests, nuclear medicine, health-care statistics, drugs & prescriptions, public health |
+| `TechnologicalWorld` | Communications, satellites, barcodes, space probes, photography, structures, nuclear power, nuclear explosions, carbon footprint, inventions, web & computer systems |
+| `Materials` | Alloys, bulk materials, material hardness, minerals, plastics, woods, material chemistry |
 | `ComputationalSciences` | Cellular automata, substitution systems, Turing machines, complexity, algebraic codes, fractals, image processing, hashing |
-| `EarthSciences` | Geology, geodesy, oceanography, climatology |
+| `EarthSciences` | Geology, geodesy & navigation, oceanography, atmospheric sciences, climate |
 | `LifeSciences` | Human anatomy, animal anatomy, neuroscience, genomics, molecular biology, animals and plants |
 | `SpaceAstronomy` | Phenomena and technology beyond Earth's atmosphere |
+| `FoodScience` | Food composition, nutrition, dietary references & standards, food comparison & combinations, food physics |
 
 ### Society & Culture
 
 | Domain file | Coverage |
 |-------------|----------|
+| `Education` | International education, universities, school districts, standardized tests, education statistics |
 | `People` | Biographical and demographic data on notable individuals and public figures |
-| `ArtsMedia` | Music, films, comics, sculptures, paintings, and related media |
-| `History` | Timelines, monetary value analysis, historical events, inventions, conflicts |
+| `ArtsMedia` | Movies, television, video games, notable texts, periodicals, comics, fictional characters, popular curves, mythology, music |
+| `History` | Historical numbers, historical periods, genealogy, historical events, historical countries, military conflicts, world leaders, inventions |
 | `WordsLinguistics` | Word properties, languages, document length, notable texts, transliterations, Morse code, Soundex, encodings, emotions |
 | `MoneyFinance` | Stock data, mortgages & loans, salaries, bonds, derivative valuation, income tax, sales tax |
 | `DatesTimes` | Dates, calendars, time systems |
@@ -64,6 +72,8 @@ The KB is organised into four top-level sections, each subdivided into domain fi
 | `PersonalFinance` | Mortgages & loans, stock data, currency conversion, cost of living, gasoline, food, electricity prices |
 | `Entertainment` | Music, films, artworks, cultural productions |
 | `HouseholdScience` | Scientific reasoning applied to everyday physical phenomena |
+| `DatesAnniversaries` | Calendar information, celebrations, time zone calculations, time math, anniversaries |
+| `Travel` | Weather, cost of living, flight data, gasoline prices, points of interest, travel distances |
 | `HouseholdMath` | Everyday calculations and measurements |
 | `Programming` | Algorithms, data structures, programming concepts |
 | `Hobbies` | Recreational activities and personal projects |
@@ -149,7 +159,7 @@ Add a batch of declarations, then run `check` once at the end rather than after
 kb init ./myKB
 cd myKB
 
-# Base types shared across domains
+# Base types in the People domain
 kb add type Entity in People
 kb add type Person extends Entity in People
 kb add type Place extends Entity in People
@@ -185,6 +195,6 @@ kb list all of People
 
 ## Extensibility
 
-- Domain files from the planned structure are created on first use — no separate setup step.
+- Domain files from the planned structure are created on first use — no separate setup step needed.
 - Definitions (`kb add def`) become permanent reusable shortcuts stored in Lean files.
 - The KB grows incrementally across sessions — each `kb commit` is a checkpoint in Git history.