This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
rdfs	http://www.w3.org/2000/01/rdf-schema#
n2	http://www.w3.org/2000/10/swap/log#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdh	http://www.w3.org/2001/XMLSchema#

Statements

Subject Item

n2:conjunction

rdf:type

rdf:Property

rdfs:label

conjunction

rdfs:domain

n2:List

rdfs:range

n2:Formula

rdfs:comment

"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.