text: If a property P is transitive, and P relates individual a to 
  individual b, and also individual b to individual c, then we can 
  infer that individual a is related to individual c via property P. 
  For example, Figure 4.13 shows an example of the transitive 
  property hasAncestor. If the individual Diya has an ancestor 
  that is Fatima, and Fatima has an ancestor that is Arjun, then 
  we can infer that Diya has an ancestor that is Arjun – this is 
  indicated by the curved line in Figure 4.13. 
  
  An example of the transitive property in mathematics is the*>*
  relation. If x > y and y > z then x > z. 
  
  Note that if a property is transitive it cannot be functional. Also, 
  if a property is transitive then its inverse property must also be 
  transitive. E.g., the inverse of > is < and < is also transitive. We 
  will see an example of this in chapter 6. 