$Id: military5.owl,v 1.0 2004/04/18 10:31:04 kenb Exp $ Test of query inference capabilities. Tank is a subclass of vehicle, maneuveringIn is a subproperty of locatedIn and hasManeuvering is the inverse property of maneuveringIn. 1 1 Maneuvering in a region