Example: daml:TransitiveProperty

we can specify that a daml:ObjectProperty is transitive
example: given

and

we can infer
among other things, daml:TransitiveProperty allows us to construct partonomies (transitive partOf relationships)