---

Next: Appendix B: Axiomatic

---

---

• Appendix B: Axiomatic Specification of the Mikrokosmos Ontology
• Introduction
• Notation
• The Axioms
• About this document ...

---

Kavi Mahesh
Thu Nov 9 17:11:24 MST 1995