@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:implication-n a ontolex:LexicalEntry ;
	ontolex:canonicalForm "implication"@en ;
	ontolex:sense wordnetlemma:implication-n\#13882478-n ;
	wn:partOfSpeech wn:noun .
wordnetlemma:implication-n\#13882478-n a ontolex:LexicalSense ;
	ontolex:isLexicalizedSenseOf wordnetsynset:13882478-n ;
	wn:derivation wordnetlemma:implicational-a\#03105697-a , wordnetlemma:imply-v\#00932561-v , wordnetlemma:implicate-v\#02640889-v .
wordnetlemma:logical_implication-n a ontolex:LexicalEntry ;
	ontolex:canonicalForm "logical implication"@en ;
	ontolex:sense wordnetlemma:logical_implication-n\#13882478-n ;
	wn:partOfSpeech wn:noun .
wordnetlemma:logical_implication-n\#13882478-n a ontolex:LexicalSense ;
	ontolex:isLexicalizedSenseOf wordnetsynset:13882478-n .
wordnetlemma:conditional_relation-n a ontolex:LexicalEntry ;
	ontolex:canonicalForm "conditional relation"@en ;
	ontolex:sense wordnetlemma:conditional_relation-n\#13882478-n ;
	wn:partOfSpeech wn:noun .
wordnetlemma:conditional_relation-n\#13882478-n a ontolex:LexicalSense ;
	ontolex:isLexicalizedSenseOf wordnetsynset:13882478-n .
wordnetsynset:13882478-n a ontolex:LexicalConcept ;
	skos:inScheme wordnet: ;
	wn:definition _:a6bd5db1a812f1387be913d586e108e6 .
_:a6bd5db1a812f1387be913d586e108e6 rdf:value "a logical relation between propositions p and q of the form ‘if p then q’; if p is true then q cannot be false"@en .
wordnetsynset:13882478-n wn:ili ili:i109762 ;
	wn:lexfile "noun.relation" ;
	wn:partOfSpeech wn:noun ;
	wn:hypernym wordnetsynset:13805250-n .