Say that I'm creating a vehicle ontology. A vehicle and its manufacturer is connected by something like `MyCar hasManufacturer Tesla`. Then the manufacturer has a country of origin which I specify as `Tesla hasCountryOfOrigin USA`. What I want is the `MyCar` to be connected to `USA` when I run the reasoner such that,`MyCar hasCountryOfOrigin USA`. I know that this is different from transitive property. How can I achieve this? (Using Protege specifically)