@prefix wordnetlicense: <https://creativecommons.org/licenses/by/4.0/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix wn: <https://globalwordnet.github.io/schemas/wn#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ontolex: <http://www.w3.org/ns/lemon/ontolex#> .
@prefix synsem: <http://www.w3.org/ns/lemon/synsem#> .
@prefix ili: <http://ili.globalwordnet.org/ili/> .
@prefix lime: <http://www.w3.org/ns/lemon/lime#> .
@prefix wikidata: <http://www.wikidata.org/entity/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wordnetsynset: <https://en-word.net/synset/> .
@prefix wordnetlemma: <https://en-word.net/lemma/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix wordnet: <https://en-word.net/> .
@prefix schema: <http://schema.org/> .
wordnetlemma:formal_system-n a ontolex:LexicalEntry ;
	ontolex:canonicalForm "formal system"@en ;
	ontolex:sense wordnetlemma:formal_system-n\#92447050-n ;
	wn:partOfSpeech wn:noun .
wordnetlemma:formal_system-n\#92447050-n a ontolex:LexicalSense ;
	ontolex:isLexicalizedSenseOf wordnetsynset:92447050-n .
wordnetsynset:92447050-n a ontolex:LexicalConcept ;
	skos:inScheme wordnet: ;
	wn:definition _:b9870995727f79f5c4b2fa97911844ab .
_:b9870995727f79f5c4b2fa97911844ab rdf:value "(logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction."@en .
wordnetsynset:92447050-n wn:example _:ca17dae738800bc4e9b7e2938a3264a0 .
_:ca17dae738800bc4e9b7e2938a3264a0 rdf:value "A formal system is said to be recursive (i.e. effective) if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, according to context."@en .
wordnetsynset:92447050-n wn:lexfile "noun.cognition" ;
	wn:partOfSpeech wn:noun ;
	owl:sameAs wikidata:Q649732 ;
	dc:source "plWordNet 4.0"@en ;
	wn:hypernym wordnetsynset:05734541-n .