Think of it like “heteronormativity,” the idea that heterosexual couples “automatically, but inappropriately, assume all other people fit their own categories,” but for cars.

Having these two axioms in place and given e.g. the information that Sasha is related to Hillary via the property hasWife, a reasoner would be able to infer that Sasha is a man and Hillary a woman.