Information about the “idea type” is nonetheless useful for inferential purposes. For example, knowing whether an idea is of the type position or of the type distinction can constrain the types of relationships philosophers can have to it. The InPhO thus repre- sents this information as non-taxonomic relations (e.g. ‘is_idea_type(connectionism, position)’ ).