@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ontolex: <http://www.w3.org/ns/lemon/ontolex#> .
@prefix dct: <http://purl.org/dc/terms/> .
@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: <http://www.wikidata.org/entity/> .
@prefix data: <https://www.wikidata.org/wiki/Special:EntityData/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdref: <http://www.wikidata.org/reference/> .
@prefix wdv: <http://www.wikidata.org/value/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix p: <http://www.wikidata.org/prop/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix wdno: <http://www.wikidata.org/prop/novalue/> .

data:Q139338152 a schema:Dataset ;
	schema:about wd:Q139338152 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2489547945"^^xsd:integer ;
	schema:dateModified "2026-05-10T19:00:25Z"^^xsd:dateTime ;
	wikibase:statements "2"^^xsd:integer ;
	wikibase:sitelinks "0"^^xsd:integer ;
	wikibase:identifiers "0"^^xsd:integer .

wd:Q139338152 a wikibase:Item ;
	wdt:P279 wd:Q24034552 ;
	wdt:P1382 wd:Q6453739 ;
	p:P279 wds:Q139338152-27b5700f-4315-102c-8d91-d768c946c8d1 .

wds:Q139338152-27b5700f-4315-102c-8d91-d768c946c8d1 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P279 wd:Q24034552 .

wd:Q139338152 p:P1382 wds:Q139338152-21297107-4d49-dc2a-e8c6-38513d64124d .

wds:Q139338152-21297107-4d49-dc2a-e8c6-38513d64124d a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1382 wd:Q6453739 .

wd:Q139338152 rdfs:label "informal mathematical concept"@en ;
	skos:prefLabel "informal mathematical concept"@en ;
	schema:name "informal mathematical concept"@en ;
	rdfs:label "비정식적 수학 개념"@ko ;
	skos:prefLabel "비정식적 수학 개념"@ko ;
	schema:name "비정식적 수학 개념"@ko ;
	rdfs:label "неформальное математическое понятие"@ru ;
	skos:prefLabel "неформальное математическое понятие"@ru ;
	schema:name "неформальное математическое понятие"@ru ;
	schema:description "concept in mathematics with no widely accpeted precise definition"@en,
		"널리 받아들여진 정확한 정의가 없는 수학의 개념"@ko ;
	skos:altLabel "неформальная математическая концепция"@ru .

wd:Q24034552 a wikibase:Item ;
	rdfs:label "mathematical concept"@en ;
	skos:prefLabel "mathematical concept"@en ;
	schema:name "mathematical concept"@en ;
	schema:description "abstract entity in mathematics"@en .

wd:P279 a wikibase:Property ;
	rdfs:label "subclass of"@en ;
	skos:prefLabel "subclass of"@en ;
	schema:name "subclass of"@en ;
	schema:description "this item is a subclass (subset) of that item; ALL instances of this item are instances of that item; different from P31 (instance of), e.g.: volcano is a subclass of mountain; Everest is an instance of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P279 ;
	wikibase:claim p:P279 ;
	wikibase:statementProperty ps:P279 ;
	wikibase:statementValue psv:P279 ;
	wikibase:qualifier pq:P279 ;
	wikibase:qualifierValue pqv:P279 ;
	wikibase:reference pr:P279 ;
	wikibase:referenceValue prv:P279 ;
	wikibase:novalue wdno:P279 .

p:P279 a owl:ObjectProperty .

psv:P279 a owl:ObjectProperty .

pqv:P279 a owl:ObjectProperty .

prv:P279 a owl:ObjectProperty .

wdt:P279 a owl:ObjectProperty .

ps:P279 a owl:ObjectProperty .

pq:P279 a owl:ObjectProperty .

pr:P279 a owl:ObjectProperty .

wdno:P279 a owl:Class ;
	owl:complementOf _:55a0a46aa65f620d17fa7dc3671280d4 .

_:55a0a46aa65f620d17fa7dc3671280d4 a owl:Restriction ;
	owl:onProperty wdt:P279 ;
	owl:someValuesFrom owl:Thing .

wd:Q6453739 a wikibase:Item ;
	rdfs:label "primitive notion"@en ;
	skos:prefLabel "primitive notion"@en ;
	schema:name "primitive notion"@en ;
	schema:description "undefined term motivated informally, usually by an appeal to intuition and everyday experience, or introduced axiomatically and eventually generated only by a series of elementary operations"@en .

wd:P1382 a wikibase:Property ;
	rdfs:label "partially coincident with"@en ;
	skos:prefLabel "partially coincident with"@en ;
	schema:name "partially coincident with"@en ;
	schema:description "object that partially overlaps with the subject in its instances, parts, or members"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1382 ;
	wikibase:claim p:P1382 ;
	wikibase:statementProperty ps:P1382 ;
	wikibase:statementValue psv:P1382 ;
	wikibase:qualifier pq:P1382 ;
	wikibase:qualifierValue pqv:P1382 ;
	wikibase:reference pr:P1382 ;
	wikibase:referenceValue prv:P1382 ;
	wikibase:novalue wdno:P1382 .

p:P1382 a owl:ObjectProperty .

psv:P1382 a owl:ObjectProperty .

pqv:P1382 a owl:ObjectProperty .

prv:P1382 a owl:ObjectProperty .

wdt:P1382 a owl:ObjectProperty .

ps:P1382 a owl:ObjectProperty .

pq:P1382 a owl:ObjectProperty .

pr:P1382 a owl:ObjectProperty .

wdno:P1382 a owl:Class ;
	owl:complementOf _:330b6bb28dcfa3c625950ac043246d1d .

_:330b6bb28dcfa3c625950ac043246d1d a owl:Restriction ;
	owl:onProperty wdt:P1382 ;
	owl:someValuesFrom owl:Thing .