Широкие онтологические категории вроде ЖИВОТНОЕ или ОРУДИЕ — это по большому счету мини-теории об определенном классе существующих в мире объектов. Наши предположения о животных возникают не только из повторяющихся встреч с животными. От бездумного накопления фактов они отличаются двумя очень важными признаками. Во-первых, мы способны размышлять о множестве тех аспектов существования животных, которые выходят за рамки наших знаний. Например, все мы допускаем, что, вскрыв тигра и посмотрев, что у него внутри, мы обнаружим то же самое внутри любого другого тигра. Нам нет необходимости вскрывать тигра за тигром и составлять статистику обнаруженного, чтобы прийти к выводу: внутреннее строение у всех представителей категории ТИГР, скорее всего, одинаково. Мы это просто допускаем, это часть наших предположений. Во-вторых, мы походя устанавливаем всевозможные связи между имеющимися в наличии фактами.