Submitted by György Chityil ... on Fri, 01/19/2018 - 23:31 Hierarchy: NounDescription: {{logic}} A logic that directly supports classification of entities into disjunct sorts.Ngram: many-sorted logicNgram Text: many-sorted logicSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2