Many extensions of this simple framework have been proposed; in this section we will extend it with a second sort of individuals or terms.
已经提出了对这个简单框架的很多扩展；在本章中我们将向它扩展上第二类对象：个体或项。