taxonomies

fol reasoning knowledge-representation

Taxonomy is the classification data into categories and sub-categories.

For example, animals have two eyes. So, Cat inherits animal. So, Cat has two eyes.