# Semantic Types

> Semantic Types models the world as facts (primary, association, target): kinds at any depth, each narrowing the one above; things that inherit from their closest kind and state only what differs; and relations that are data themselves. Existing databases are mapped and enriched in place. AI helps author mappings and rules, a person approves them, and only approved rules run. Semantic Types is the lab behind Verarbo and x10sibility, all brands of Verarbo; it is not sold on its own.

- Audience: software engineers, architects and data modellers
- Contact: info@semantictypes.com

## Essays

- [Why we build lists](https://semantictypes.com/SimplifyingComplexity.html): from clay tablets to parts lists, and why a list with details becomes a model
- [Relationships](https://semantictypes.com/Patterns.html): from Aristotle's "is" and "has" to the relations a model needs (isA, isAnInstanceOf, has, hasOwn, contains, hasOneRef, requires)
- [All articles](https://semantictypes.com/articles.html)

## Legal

- [Privacy](https://semantictypes.com/privacy.html): one policy for all three sites and the service
- [Terms](https://semantictypes.com/terms.html): terms for the websites and the service

## Optional

- [Verarbo](https://verarbo.com/): the products built on Semantic Types
- [x10sibility](https://x10sibility.com/): where the platform runs