Submitted by György Chityil ... on Fri, 01/19/2018 - 22:00 Hierarchy: NounDescription: {{logic}} A Horn clause with exactly one positive literal.Ngram: definite clauseNgram Text: definite clauseSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2