$Id: daml+oil-ex.daml,v 1.1 2001/01/02 18:44:47 mdean Exp$An example ontology
This class of animals is illustrative of a number of ontological idioms.
Animals have exactly two parents, ie:
If x is an animal, then it has exactly 2 parents
(but it is NOT the case that anything that has 2 parents is an animal).
no car is a personevery person is a man or a womanAdam is a person.