$Id: daml-ex.daml,v 1.2 2000/10/07 03:21:17 connolly Exp $ An example ontology This class of animals is illustrative of a number of ontological idioms. 2 1 1 no car is a person every person is a man or a woman Adam is a person.