$Id: scy_auto-ont.daml,v 0.1 2002/09/30 12:12:00 $
This ontology describes cars.
prevOwned(x,y) means that Person x has previously owned car y and is currently not owning it
currentOwned(x,y) means that Person x is currently owning car y
dreamToOwn(x,y) means that Person x dreams to own car y
a unique identification number for each car
inCountry(x,y) means automobile x is owned in country y. Assuming car ownership cannot
be transferred from one country to another, a car can only be owned in one country