Ontoloji (varlıkbilim) genel olarak varlıkları, bu varlıkların ne tür birer varlık olduğunu araştıran alanın adıdır. Ontolojiyle uğraşan düşünürler gerçekliğin geniş bir haritasını sunarlar. Bu harita içerisine kimi zaman birbiriyle örtüşen kimi zaman da birbirinden bağımsız varlık türleri ya da kategorileri girer. Varlık kategorileri içerisinde şunlar bulunur:  Fiziksel ve zihinsel varlıklar (fiziksel ve zihinsel ontolojik kategorileri); somut ve soyut varlıklar (somut ve soyut ontolojik kategorileri) ve tümel ve tikel varlıklar (tümel ve tikel ontolojik kategorileri). Dolayısıyla cevap B şıkkıdır.