@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://wikibase.geo-lake.com/entity/> .
@prefix data: <https://wikibase.geo-lake.com/wiki/Special:EntityData/> .
@prefix wds: <https://wikibase.geo-lake.com/entity/statement/> .
@prefix wdref: <https://wikibase.geo-lake.com/reference/> .
@prefix wdv: <https://wikibase.geo-lake.com/value/> .
@prefix wdt: <https://wikibase.geo-lake.com/prop/direct/> .
@prefix wdtn: <https://wikibase.geo-lake.com/prop/direct-normalized/> .
@prefix p: <https://wikibase.geo-lake.com/prop/> .
@prefix ps: <https://wikibase.geo-lake.com/prop/statement/> .
@prefix psv: <https://wikibase.geo-lake.com/prop/statement/value/> .
@prefix psn: <https://wikibase.geo-lake.com/prop/statement/value-normalized/> .
@prefix pq: <https://wikibase.geo-lake.com/prop/qualifier/> .
@prefix pqv: <https://wikibase.geo-lake.com/prop/qualifier/value/> .
@prefix pqn: <https://wikibase.geo-lake.com/prop/qualifier/value-normalized/> .
@prefix pr: <https://wikibase.geo-lake.com/prop/reference/> .
@prefix prv: <https://wikibase.geo-lake.com/prop/reference/value/> .
@prefix prn: <https://wikibase.geo-lake.com/prop/reference/value-normalized/> .
@prefix wdno: <https://wikibase.geo-lake.com/prop/novalue/> .

data:P14039 a schema:Dataset ;
	schema:about wd:P14039 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "13029"^^xsd:integer ;
	schema:dateModified "2026-06-02T22:35:49Z"^^xsd:dateTime ;
	wikibase:statements "0"^^xsd:integer .

wd:P14039 a wikibase:Property ;
	rdfs:label "logical consequence of"@en ;
	skos:prefLabel "logical consequence of"@en ;
	schema:name "logical consequence of"@en ;
	rdfs:label "다음의 논리적 귀결"@ko ;
	skos:prefLabel "다음의 논리적 귀결"@ko ;
	schema:name "다음의 논리적 귀결"@ko ;
	rdfs:label "логически следует из"@ru ;
	skos:prefLabel "логически следует из"@ru ;
	schema:name "логически следует из"@ru ;
	rdfs:label "logisch gevolg van"@nl ;
	skos:prefLabel "logisch gevolg van"@nl ;
	schema:name "logisch gevolg van"@nl ;
	rdfs:label "conseqüència lògica de"@ca ;
	skos:prefLabel "conseqüència lògica de"@ca ;
	schema:name "conseqüència lògica de"@ca ;
	rdfs:label "логички следува од"@mk ;
	skos:prefLabel "логички следува од"@mk ;
	schema:name "логички следува од"@mk ;
	schema:description "set of sentences of which this sentence is a logical consequence"@en,
		"이 문장을 논리적 귀결로 하는 문장 집합"@ko ;
	skos:altLabel "logical implication of"@en,
		"logically implied by"@en,
		"implied by"@en,
		"다음의 논리적 함의"@ko,
		"다음에 의하여 논리적으로 함의됨"@ko,
		"다음에 의하여 함의됨"@ko,
		"следует из"@ru,
		"логическое следствие по отношению к"@ru ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P14039 ;
	wikibase:claim p:P14039 ;
	wikibase:statementProperty ps:P14039 ;
	wikibase:statementValue psv:P14039 ;
	wikibase:qualifier pq:P14039 ;
	wikibase:qualifierValue pqv:P14039 ;
	wikibase:reference pr:P14039 ;
	wikibase:referenceValue prv:P14039 ;
	wikibase:novalue wdno:P14039 .

p:P14039 a owl:ObjectProperty .

psv:P14039 a owl:ObjectProperty .

pqv:P14039 a owl:ObjectProperty .

prv:P14039 a owl:ObjectProperty .

wdt:P14039 a owl:ObjectProperty .

ps:P14039 a owl:ObjectProperty .

pq:P14039 a owl:ObjectProperty .

pr:P14039 a owl:ObjectProperty .

wdno:P14039 a owl:Class ;
	owl:complementOf _:2ceced03766eccbe7670673d07402c23 .

_:2ceced03766eccbe7670673d07402c23 a owl:Restriction ;
	owl:onProperty wdt:P14039 ;
	owl:someValuesFrom owl:Thing .