<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://www.wikidoc.org/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://www.wikidoc.org/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://www.wikidoc.org/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://www.wikidoc.org/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://www.wikidoc.org/index.php/Special:ExportRDF/Category-3ABinary_operations">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-08-10T06:33:30+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<owl:Class rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations">
		<rdfs:label>Binary operations</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Category-3ABinary_operations"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Category-3ABinary_operations"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Binary operations</swivt:wikiPageSortKey>
	</owl:Class>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_disjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical disjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_disjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_disjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical disjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_conjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical conjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_conjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_conjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical conjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_NOR">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical NOR</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_NOR"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_NOR"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical NOR</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Material_conditional">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Material conditional</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Material_conditional"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Material_conditional"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Material conditional</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_implication">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical implication</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_implication"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_implication"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical implication</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_biconditional">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical biconditional</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_biconditional"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_biconditional"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical biconditional</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/If_and_only_if">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>If and only if</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/If_and_only_if"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/If_and_only_if"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">If and only if</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Exclusive_or">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Exclusive or</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Exclusive_or"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Exclusive_or"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Exclusive or</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_equality">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical equality</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_equality"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_equality"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical equality</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logic_alphabet">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logic alphabet</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logic_alphabet"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logic_alphabet"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logic alphabet</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Complement_-28set_theory-29">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Complement (set theory)</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Complement_-28set_theory-29"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Complement_-28set_theory-29"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Complement (set theory)</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Cross_product">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Cross product</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Cross_product"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Cross_product"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Cross product</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Convolution">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Convolution</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Convolution"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Convolution"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Convolution</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Complement_-28set_theory-29">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Complement (set theory)</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Complement_-28set_theory-29"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Complement_-28set_theory-29"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Complement (set theory)</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Convolution">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Convolution</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Convolution"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Convolution"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Convolution</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Cross_product">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Cross product</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Cross_product"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Cross_product"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Cross product</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Exclusive_or">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Exclusive or</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Exclusive_or"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Exclusive_or"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Exclusive or</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/If_and_only_if">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>If and only if</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/If_and_only_if"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/If_and_only_if"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">If and only if</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logic_alphabet">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logic alphabet</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logic_alphabet"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logic_alphabet"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logic alphabet</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_NOR">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical NOR</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_NOR"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_NOR"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical NOR</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_biconditional">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical biconditional</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_biconditional"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_biconditional"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical biconditional</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_conjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical conjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_conjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_conjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical conjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_disjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical disjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_disjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_disjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical disjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_equality">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical equality</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_equality"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_equality"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical equality</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_implication">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Logical implication</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_implication"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_implication"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical implication</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Material_conditional">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABinary_operations"/>
		<rdfs:label>Material conditional</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Material_conditional"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Material_conditional"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Material conditional</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Property-3A_INST">
		<rdfs:label> INST</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Property-3A_INST"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Property-3A_INST"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">INST</swivt:wikiPageSortKey>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>