A fine-grained taxonomy can be viewed as a set of triples Tijk = <Ci, Dj, Pk>, where Ci denotes a child of the parent term Pk that possesses the discriminating property Dj; in effect, each such triple expresses that Ci is a specialization of the complex taxonym Dj-Pk.
the belief that cola is a carbonated-drink is expressed by the triple <cola, carbonated, drink>.