. "onto type"@en . "The relation between unary projections of a frame, and their ontological type." . . . "The relation between unary projections of a frame, and their ontological type, when given explicitly as a class in a knowledge representation language. It is a special case of the :subsumedUnder reification of subclass relation."@en . . . . .