a logic that directly supports classification of entities into disjunct sorts

listen to the pronunciation of a logic that directly supports classification of entities into disjunct sorts
İngilizce - İngilizce
many-sorted logic