@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <https://kb.dev.arxive-eccch.eu/entity/> .
@prefix data: <https://kb.dev.arxive-eccch.eu/wiki/Special:EntityData/> .
@prefix wds: <https://kb.dev.arxive-eccch.eu/entity/statement/> .
@prefix wdref: <https://kb.dev.arxive-eccch.eu/reference/> .
@prefix wdv: <https://kb.dev.arxive-eccch.eu/value/> .
@prefix wdt: <https://kb.dev.arxive-eccch.eu/prop/direct/> .
@prefix wdtn: <https://kb.dev.arxive-eccch.eu/prop/direct-normalized/> .
@prefix p: <https://kb.dev.arxive-eccch.eu/prop/> .
@prefix ps: <https://kb.dev.arxive-eccch.eu/prop/statement/> .
@prefix psv: <https://kb.dev.arxive-eccch.eu/prop/statement/value/> .
@prefix psn: <https://kb.dev.arxive-eccch.eu/prop/statement/value-normalized/> .
@prefix pq: <https://kb.dev.arxive-eccch.eu/prop/qualifier/> .
@prefix pqv: <https://kb.dev.arxive-eccch.eu/prop/qualifier/value/> .
@prefix pqn: <https://kb.dev.arxive-eccch.eu/prop/qualifier/value-normalized/> .
@prefix pr: <https://kb.dev.arxive-eccch.eu/prop/reference/> .
@prefix prv: <https://kb.dev.arxive-eccch.eu/prop/reference/value/> .
@prefix prn: <https://kb.dev.arxive-eccch.eu/prop/reference/value-normalized/> .
@prefix wdno: <https://kb.dev.arxive-eccch.eu/prop/novalue/> .

data:P503 a schema:Dataset ;
	schema:about wd:P503 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2315"^^xsd:integer ;
	schema:dateModified "2026-06-28T15:44:19Z"^^xsd:dateTime ;
	wikibase:statements "5"^^xsd:integer .

wd:P503 a wikibase:Property ;
	wdt:P27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies> ;
	wdt:P1 wd:Q57 ;
	wdt:P40 wd:Q222 ;
	wdt:P41 wd:Q233 ;
	wdt:P39 wd:Q232 ;
	p:P27 wds:P503-45059A3D-D246-4088-A69B-D4EB16083690 .

wds:P503-45059A3D-D246-4088-A69B-D4EB16083690 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies> .

wd:P503 p:P1 wds:P503-D74CDF1C-C45C-4448-9EC7-31AB804581A7 .

wds:P503-D74CDF1C-C45C-4448-9EC7-31AB804581A7 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1 wd:Q57 .

wd:P503 p:P40 wds:P503-1F97D118-F3EF-400C-9FBD-B5E200B4F7C4 .

wds:P503-1F97D118-F3EF-400C-9FBD-B5E200B4F7C4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P40 wd:Q222 .

wd:P503 p:P41 wds:P503-C7F2253C-D370-4415-9E54-51DF05A64BB4 .

wds:P503-C7F2253C-D370-4415-9E54-51DF05A64BB4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P41 wd:Q233 .

wd:P503 p:P39 wds:P503-9096C875-5BD3-45A6-820E-976F2F01E04E .

wds:P503-9096C875-5BD3-45A6-820E-976F2F01E04E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P39 wd:Q232 .

wd:P503 rdfs:label "reifies"@en ;
	skos:prefLabel "reifies"@en ;
	schema:name "reifies"@en ;
	schema:description "The abstract proposition of a more concrete circumstance."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P503 ;
	wikibase:claim p:P503 ;
	wikibase:statementProperty ps:P503 ;
	wikibase:statementValue psv:P503 ;
	wikibase:qualifier pq:P503 ;
	wikibase:qualifierValue pqv:P503 ;
	wikibase:reference pr:P503 ;
	wikibase:referenceValue prv:P503 ;
	wikibase:novalue wdno:P503 .

p:P503 a owl:ObjectProperty .

psv:P503 a owl:ObjectProperty .

pqv:P503 a owl:ObjectProperty .

prv:P503 a owl:ObjectProperty .

wdt:P503 a owl:ObjectProperty .

ps:P503 a owl:ObjectProperty .

pq:P503 a owl:ObjectProperty .

pr:P503 a owl:ObjectProperty .

wdno:P503 a owl:Class ;
	owl:complementOf _:fd9736b81c44cf4c5467d8d94a441811 .

_:fd9736b81c44cf4c5467d8d94a441811 a owl:Restriction ;
	owl:onProperty wdt:P503 ;
	owl:someValuesFrom owl:Thing .

wd:P27 a wikibase:Property ;
	rdfs:label "URI"@en ;
	skos:prefLabel "URI"@en ;
	schema:name "URI"@en ;
	schema:description "The URI of the entity."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P27 ;
	wikibase:claim p:P27 ;
	wikibase:statementProperty ps:P27 ;
	wikibase:statementValue psv:P27 ;
	wikibase:qualifier pq:P27 ;
	wikibase:qualifierValue pqv:P27 ;
	wikibase:reference pr:P27 ;
	wikibase:referenceValue prv:P27 ;
	wikibase:novalue wdno:P27 .

p:P27 a owl:ObjectProperty .

psv:P27 a owl:ObjectProperty .

pqv:P27 a owl:ObjectProperty .

prv:P27 a owl:ObjectProperty .

wdt:P27 a owl:ObjectProperty .

ps:P27 a owl:ObjectProperty .

pq:P27 a owl:ObjectProperty .

pr:P27 a owl:ObjectProperty .

wdno:P27 a owl:Class ;
	owl:complementOf _:404becc5aa3ce80ccff9624ca1c68acc .

_:404becc5aa3ce80ccff9624ca1c68acc a owl:Restriction ;
	owl:onProperty wdt:P27 ;
	owl:someValuesFrom owl:Thing .

wd:Q57 a wikibase:Item ;
	rdfs:label "Ontology Property"@en ;
	skos:prefLabel "Ontology Property"@en ;
	schema:name "Ontology Property"@en ;
	schema:description "A super-class to represent ontology properties."@en .

wd:P1 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "type to which this subject corresponds/belongs. Different from P279 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1 ;
	wikibase:claim p:P1 ;
	wikibase:statementProperty ps:P1 ;
	wikibase:statementValue psv:P1 ;
	wikibase:qualifier pq:P1 ;
	wikibase:qualifierValue pqv:P1 ;
	wikibase:reference pr:P1 ;
	wikibase:referenceValue prv:P1 ;
	wikibase:novalue wdno:P1 .

p:P1 a owl:ObjectProperty .

psv:P1 a owl:ObjectProperty .

pqv:P1 a owl:ObjectProperty .

prv:P1 a owl:ObjectProperty .

wdt:P1 a owl:ObjectProperty .

ps:P1 a owl:ObjectProperty .

pq:P1 a owl:ObjectProperty .

pr:P1 a owl:ObjectProperty .

wdno:P1 a owl:Class ;
	owl:complementOf _:b96ec5135b6832e1d84209d72460276b .

_:b96ec5135b6832e1d84209d72460276b a owl:Restriction ;
	owl:onProperty wdt:P1 ;
	owl:someValuesFrom owl:Thing .

wd:Q222 a wikibase:Item ;
	rdfs:label "The RDF Concepts Vocabulary (RDF)"@en ;
	skos:prefLabel "The RDF Concepts Vocabulary (RDF)"@en ;
	schema:name "The RDF Concepts Vocabulary (RDF)"@en ;
	schema:description "This is the RDF Schema for the RDF vocabulary terms in the RDF Namespace, defined in RDF 1.1 Concepts."@en .

wd:P40 a wikibase:Property ;
	rdfs:label "is defined by"@en ;
	skos:prefLabel "is defined by"@en ;
	schema:name "is defined by"@en ;
	schema:description "The ontology resource that defines this entity."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P40 ;
	wikibase:claim p:P40 ;
	wikibase:statementProperty ps:P40 ;
	wikibase:statementValue psv:P40 ;
	wikibase:qualifier pq:P40 ;
	wikibase:qualifierValue pqv:P40 ;
	wikibase:reference pr:P40 ;
	wikibase:referenceValue prv:P40 ;
	wikibase:novalue wdno:P40 .

p:P40 a owl:ObjectProperty .

psv:P40 a owl:ObjectProperty .

pqv:P40 a owl:ObjectProperty .

prv:P40 a owl:ObjectProperty .

wdt:P40 a owl:ObjectProperty .

ps:P40 a owl:ObjectProperty .

pq:P40 a owl:ObjectProperty .

pr:P40 a owl:ObjectProperty .

wdno:P40 a owl:Class ;
	owl:complementOf _:af152a90b603ad009005e8ccb4e19421 .

_:af152a90b603ad009005e8ccb4e19421 a owl:Restriction ;
	owl:onProperty wdt:P40 ;
	owl:someValuesFrom owl:Thing .

wd:Q233 a wikibase:Item ;
	rdfs:label "Proposition"@en ;
	skos:prefLabel "Proposition"@en ;
	schema:name "Proposition"@en ;
	schema:description "The class of propositions, simple logical expressions describing a relationship between two entities."@en .

wd:P41 a wikibase:Property ;
	rdfs:label "property range"@en ;
	skos:prefLabel "property range"@en ;
	schema:name "property range"@en ;
	schema:description "The range of a property."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P41 ;
	wikibase:claim p:P41 ;
	wikibase:statementProperty ps:P41 ;
	wikibase:statementValue psv:P41 ;
	wikibase:qualifier pq:P41 ;
	wikibase:qualifierValue pqv:P41 ;
	wikibase:reference pr:P41 ;
	wikibase:referenceValue prv:P41 ;
	wikibase:novalue wdno:P41 .

p:P41 a owl:ObjectProperty .

psv:P41 a owl:ObjectProperty .

pqv:P41 a owl:ObjectProperty .

prv:P41 a owl:ObjectProperty .

wdt:P41 a owl:ObjectProperty .

ps:P41 a owl:ObjectProperty .

pq:P41 a owl:ObjectProperty .

pr:P41 a owl:ObjectProperty .

wdno:P41 a owl:Class ;
	owl:complementOf _:94e14e895f1c1a86bcf157599941bde8 .

_:94e14e895f1c1a86bcf157599941bde8 a owl:Restriction ;
	owl:onProperty wdt:P41 ;
	owl:someValuesFrom owl:Thing .

wd:Q232 a wikibase:Item ;
	rdfs:label "Resource"@en ;
	skos:prefLabel "Resource"@en ;
	schema:name "Resource"@en ;
	schema:description "The class resource, everything."@en .

wd:P39 a wikibase:Property ;
	rdfs:label "property domain"@en ;
	skos:prefLabel "property domain"@en ;
	schema:name "property domain"@en ;
	schema:description "The domain of an property."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P39 ;
	wikibase:claim p:P39 ;
	wikibase:statementProperty ps:P39 ;
	wikibase:statementValue psv:P39 ;
	wikibase:qualifier pq:P39 ;
	wikibase:qualifierValue pqv:P39 ;
	wikibase:reference pr:P39 ;
	wikibase:referenceValue prv:P39 ;
	wikibase:novalue wdno:P39 .

p:P39 a owl:ObjectProperty .

psv:P39 a owl:ObjectProperty .

pqv:P39 a owl:ObjectProperty .

prv:P39 a owl:ObjectProperty .

wdt:P39 a owl:ObjectProperty .

ps:P39 a owl:ObjectProperty .

pq:P39 a owl:ObjectProperty .

pr:P39 a owl:ObjectProperty .

wdno:P39 a owl:Class ;
	owl:complementOf _:64a0d1d5067866f3277eeb170e90e00b .

_:64a0d1d5067866f3277eeb170e90e00b a owl:Restriction ;
	owl:onProperty wdt:P39 ;
	owl:someValuesFrom owl:Thing .