clauseDefinition

P161752 predicate

Indicates that one entity specifies or provides the formal definition or content of a particular clause associated with another entity.

Sample triples (1)

Subject Object
SAT disjunction of literals