Resolve
RDF Terms
Data based on @zazuko/vocabularies
Defined by
log:
Click to Copy
log:conjunction
Click to Copy
http://www.w3.org/2000/10/swap/log#conjunction
Namespace
Recommended prefix
Copy 'PREFIX log: <http://www.w3.org/2000/10/swap/log#>'
lang:""
conjunction
lang:""
"A function to merge formulae: logical AND.
The subject is a list of formulae.
The object, which can be generated, is a formula containing a copy
of each of the formulae in the list on the left.
A cwm built-in function.