@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:P513 a schema:Dataset ;
	schema:about wd:P513 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2428"^^xsd:integer ;
	schema:dateModified "2026-06-28T15:44:52Z"^^xsd:dateTime ;
	wikibase:statements "5"^^xsd:integer .

wd:P513 a wikibase:Property ;
	wdt:P27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#propositionFormPredicate> ;
	wdt:P1 wd:Q57 ;
	wdt:P40 wd:Q222 ;
	wdt:P41 wd:Q57 ;
	wdt:P39 wd:Q230 ;
	p:P27 wds:P513-402685EE-79E3-4C30-BB52-45242E2EA7E4 .

wds:P513-402685EE-79E3-4C30-BB52-45242E2EA7E4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#propositionFormPredicate> .

wd:P513 p:P1 wds:P513-D7B96DEE-5250-4D38-A1C0-7862417A1C80 .

wds:P513-D7B96DEE-5250-4D38-A1C0-7862417A1C80 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1 wd:Q57 .

wd:P513 p:P40 wds:P513-9E511EB5-7675-4EF2-AE5C-38740A15C11E .

wds:P513-9E511EB5-7675-4EF2-AE5C-38740A15C11E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P40 wd:Q222 .

wd:P513 p:P41 wds:P513-9B6A60BE-42C2-4562-9E32-0308DF4214AB .

wds:P513-9B6A60BE-42C2-4562-9E32-0308DF4214AB a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P41 wd:Q57 .

wd:P513 p:P39 wds:P513-6A35DE9C-7E76-40B4-8A7D-B96779489091 .

wds:P513-6A35DE9C-7E76-40B4-8A7D-B96779489091 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P39 wd:Q230 .

wd:P513 rdfs:label "propositionFormPredicate"@en ;
	skos:prefLabel "propositionFormPredicate"@en ;
	schema:name "propositionFormPredicate"@en ;
	schema:description "The predicate component of a proposition form. Reserved for basic encoding of propositions."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P513 ;
	wikibase:claim p:P513 ;
	wikibase:statementProperty ps:P513 ;
	wikibase:statementValue psv:P513 ;
	wikibase:qualifier pq:P513 ;
	wikibase:qualifierValue pqv:P513 ;
	wikibase:reference pr:P513 ;
	wikibase:referenceValue prv:P513 ;
	wikibase:novalue wdno:P513 .

p:P513 a owl:ObjectProperty .

psv:P513 a owl:ObjectProperty .

pqv:P513 a owl:ObjectProperty .

prv:P513 a owl:ObjectProperty .

wdt:P513 a owl:ObjectProperty .

ps:P513 a owl:ObjectProperty .

pq:P513 a owl:ObjectProperty .

pr:P513 a owl:ObjectProperty .

wdno:P513 a owl:Class ;
	owl:complementOf _:925402957276022a6b60cf72bbc62afe .

_:925402957276022a6b60cf72bbc62afe a owl:Restriction ;
	owl:onProperty wdt:P513 ;
	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: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:Q230 a wikibase:Item ;
	rdfs:label "PropositionForm"@en ;
	skos:prefLabel "PropositionForm"@en ;
	schema:name "PropositionForm"@en ;
	schema:description "The class of abstract, atomic proposition forms. Reserved for basic encoding of propositions."@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 .