Partie de la philosophie qui a pour objet l'être en tant qu'être, qui étudie les propriétés générales de l'être.
Ensemble structuré de concepts. Les concepts sont organisés dans un graphe dont les relations peuvent être des relations sémantiques ou des relations de composition et d'héritage (au sens objet).