$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