<?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 'http://groupprops.subwiki.org/wiki/Special:URIResolver/'>
	<!ENTITY category 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3A'>
	<!ENTITY property 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://groupprops.subwiki.org/wiki/'>
]>

<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://groupprops.subwiki.org/wiki/Special:ExportRDF/Normality_is_not_transitive">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-27T21:09:16+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive">
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3APages_with_math_errors"/>
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASubgroup_metaproperty_dissatisfactions"/>
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3APages_with_math_render_errors"/>
		<rdfs:label>Normality is not transitive</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Normality_is_not_transitive"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Normality_is_not_transitive"/>
		<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>
		<property:Difficulty_level rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Difficulty_level>
		<property:Fact_about rdf:resource="&wiki;Normality_is_not_transitive-23_1e1e4dfa0b004602c838399108acb341"/>
		<property:Fact_about rdf:resource="&wiki;Normality_is_not_transitive-23_57fb7c03086f8921ad27513701a50bc3"/>
		<property:Fact_about rdf:resource="&wiki;Normality_is_not_transitive-23_638a15581457ce40885aae125d99357d"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Fact</property:Page_class>
		<property:Particular_example rdf:resource="&wiki;Cyclic_group-3AZ2"/>
		<property:Particular_example rdf:resource="&wiki;Dihedral_group-3AD8"/>
		<property:Particular_example rdf:resource="&wiki;Klein_four-2Dsubgroups_of_dihedral_group-3AD8"/>
		<property:Particular_example rdf:resource="&wiki;Non-2Dnormal_subgroups_of_dihedral_group-3AD8"/>
		<property:Proved_in rdf:resource="&wiki;Normality_is_not_transitive-23_3328fb827f535a74d3f31bd7175d8353"/>
		<property:Proved_in rdf:resource="&wiki;Normality_is_not_transitive-23_26410a968b2dab31ef1a1b9268ed68e0"/>
		<property:Referenced_in rdf:resource="&wiki;Normality_is_not_transitive-23_3328fb827f535a74d3f31bd7175d8353"/>
		<property:Referenced_in rdf:resource="&wiki;Normality_is_not_transitive-23_26410a968b2dab31ef1a1b9268ed68e0"/>
		<property:Referenced_in rdf:resource="&wiki;Normality_is_not_transitive-23_57b929931c5d5ee6e18e4cc4ae02fb48"/>
		<property:Referenced_in rdf:resource="&wiki;Normality_is_not_transitive-23_1f6af370420cda2ca4bd6578c85a9bc0"/>
		<property:Referenced_in rdf:resource="&wiki;Normality_is_not_transitive-23_98c7b2e7a5b4714ff5e3476cdd3239a4"/>
		<property:Stated_in rdf:resource="&wiki;Normality_is_not_transitive-23_3328fb827f535a74d3f31bd7175d8353"/>
		<property:Stated_in rdf:resource="&wiki;Normality_is_not_transitive-23_26410a968b2dab31ef1a1b9268ed68e0"/>
		<property:Stated_in rdf:resource="&wiki;Normality_is_not_transitive-23_1f6af370420cda2ca4bd6578c85a9bc0"/>
		<property:Stated_in rdf:resource="&wiki;Normality_is_not_transitive-23_98c7b2e7a5b4714ff5e3476cdd3239a4"/>
		<property:Uses_as_intermediate_construct rdf:resource="&wiki;External_direct_product"/>
		<property:Uses_as_intermediate_construct rdf:resource="&wiki;External_semidirect_product"/>
		<property:Uses_as_intermediate_construct rdf:resource="&wiki;External_wreath_product"/>
		<property:Weaker_than rdf:resource="&wiki;Normality_is_not_transitive_for_any_nontrivially_satisfied_extension-2Dclosed_group_property"/>
		<property:Weaker_than rdf:resource="&wiki;Conjunction_of_normality_with_any_nontrivial_finite-2Ddirect_product-2Dclosed_property_of_groups_is_not_transitive"/>
		<property:Weaker_than rdf:resource="&wiki;Every_nontrivial_normal_subgroup_is_potentially_2-2Dsubnormal-2Dand-2Dnot-2Dnormal"/>
		<property:Weaker_than rdf:resource="&wiki;Normality_is_not_transitive_for_any_pair_of_nontrivial_quotient_groups"/>
		<property:Weaker_than rdf:resource="&wiki;There_exist_subgroups_of_arbitrarily_large_subnormal_depth"/>
		<property:Weaker_than rdf:resource="&wiki;Descendant_not_implies_subnormal"/>
		<property:Weaker_than rdf:resource="&wiki;There_exist_subgroups_of_arbitrarily_large_descendant_depth"/>
		<property:Weaker_than rdf:resource="&wiki;Ascendant_not_implies_subnormal"/>
		<property:Weaker_than rdf:resource="&wiki;There_exist_subgroups_of_arbitrarily_large_ascendant_depth"/>
		<property:Weaker_than rdf:resource="&wiki;Normal_not_implies_left-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<property:Weaker_than rdf:resource="&wiki;Normal_not_implies_right-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<property:Has_query rdf:resource="&wiki;Normality_is_not_transitive-23_QUERY6d61cc9dfc328b3215ccf3f1811ffc7d"/>
		<property:Has_query rdf:resource="&wiki;Normality_is_not_transitive-23_QUERYe34b52d523c639aefb82d361d1eec897"/>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-10-15T05:52:21Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2456580.7446875</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_1e1e4dfa0b004602c838399108acb341">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#Normal subgroup;1</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Number>
		<property:Page rdf:resource="&wiki;Normal_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_57fb7c03086f8921ad27513701a50bc3">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#Transitive subgroup property;2</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Number>
		<property:Page rdf:resource="&wiki;Transitive_subgroup_property"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_638a15581457ce40885aae125d99357d">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#Base of a wreath product</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Base_of_a_wreath_product"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_3328fb827f535a74d3f31bd7175d8353">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#AlperinBell;8</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">8</property:Number>
		<property:Page rdf:resource="&wiki;Book-3AAlperinBell"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_26410a968b2dab31ef1a1b9268ed68e0">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#DummitFoote;91;Section 3.2 (''More on cosets and Lagrange's theorem''), Example (3);example of the dihedral group</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">91</property:Number>
		<property:Text rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Section 3.2 (''More on cosets and Lagrange's theorem''), Example (3)</property:Text>
		<property:Text rdf:datatype="http://www.w3.org/2001/XMLSchema#string">example of the dihedral group</property:Text>
		<property:Page rdf:resource="&wiki;Book-3ADummitFoote"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_57b929931c5d5ee6e18e4cc4ae02fb48">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#RobinsonAA</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Book-3ARobinsonAA"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_1f6af370420cda2ca4bd6578c85a9bc0">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#RobinsonGT;17;Exercise 1.3.15</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">17</property:Number>
		<property:Text rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Exercise 1.3.15</property:Text>
		<property:Page rdf:resource="&wiki;Book-3ARobinsonGT"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_98c7b2e7a5b4714ff5e3476cdd3239a4">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive#Artin;236;Miscellaneous Problems (Chapter 6), Exercise 4;starred problem</swivt:wikiPageSortKey>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#double">236</property:Number>
		<property:Text rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Miscellaneous Problems (Chapter 6), Exercise 4</property:Text>
		<property:Text rdf:datatype="http://www.w3.org/2001/XMLSchema#string">starred problem</property:Text>
		<property:Page rdf:resource="&wiki;Book-3AArtin"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_QUERY6d61cc9dfc328b3215ccf3f1811ffc7d">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">3</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Normal subgroup]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive# QUERY6d61cc9dfc328b3215ccf3f1811ffc7d</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normality_is_not_transitive-23_QUERYe34b52d523c639aefb82d361d1eec897">
		<swivt:masterPage rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">3</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Transitive subgroup property]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normality is not transitive# QUERYe34b52d523c639aefb82d361d1eec897</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Descendant_not_implies_subnormal">
		<rdfs:label>Descendant not implies subnormal</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Descendant_not_implies_subnormal"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Descendant_not_implies_subnormal"/>
		<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>
		<property:Stronger_than rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Descendant not implies subnormal</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Ascendant_not_implies_subnormal">
		<rdfs:label>Ascendant not implies subnormal</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Ascendant_not_implies_subnormal"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Ascendant_not_implies_subnormal"/>
		<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>
		<property:Stronger_than rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Ascendant not implies subnormal</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normal_not_implies_left-2Dtransitively_fixed-2Ddepth_subnormal">
		<rdfs:label>Normal not implies left-transitively fixed-depth subnormal</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Normal_not_implies_left-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Normal_not_implies_left-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<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>
		<property:Stronger_than rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normal not implies left-transitively fixed-depth subnormal</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Normal_not_implies_right-2Dtransitively_fixed-2Ddepth_subnormal">
		<rdfs:label>Normal not implies right-transitively fixed-depth subnormal</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Normal_not_implies_right-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Normal_not_implies_right-2Dtransitively_fixed-2Ddepth_subnormal"/>
		<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>
		<property:Stronger_than rdf:resource="&wiki;Normality_is_not_transitive"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Normal not implies right-transitively fixed-depth subnormal</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AStronger_than">
		<rdfs:label>Stronger than</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Property-3AStronger_than"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Property-3AStronger_than"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</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">Stronger than</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3APages_with_math_errors" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASubgroup_metaproperty_dissatisfactions" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3APages_with_math_render_errors" />
	<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://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3ADifficulty_level" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AFact_about" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3APage_class" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AParticular_example" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AProved_in" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AReferenced_in" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AStated_in" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AUses_as_intermediate_construct" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AWeaker_than" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AHas_query" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3ANumber" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3APage" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AText" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_depth" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_format" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_size" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_string" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>