叙述
发表于 2025-3-30 09:38:45
Tracy Adamsentities also called a universe, upon which the concept types, the relation types and the individuals are interpreted. A concept type is interpreted as a subset of the universe, a relation type is interpreted as a set of tuples of elements of the universe and an individual is interpreted as an eleme