假设我们有两个名为People和 的类Disease。这些类通过对象属性相关has。
:People :has :Disease
People有子类（或个体）John，并且Disease有子类（或个体）Cancer。
:John a :People
:Cancer a :Disease
如何通过推理得到这些子类之间的关系呢？
:John :has :Cancer