next up previous
Next: Introduction Up: Axiomatic Ontology Previous: Axiomatic Ontology

Appendix B: Axiomatic Specification of the Mikrokosmos Ontology


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