(original) (raw)

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