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
a logic that directly supports classification of entities into disjunct sorts

    Heceleme

    a log·ic that di·rect·ly supports clas·si·fi·ca·tion of entities in·to dis·junct sorts

    Telaffuz