Ontify
Form of abstraction whereby common properties of specific instances are formulated as general concepts or claims or those general concepts themselves.