<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/gloss> "proof of a logical theorem"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/containsWordSense> <https://w3id.org/framester/wn/wn30/instances/wordsense-logical_proof-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.w3.org/2000/01/rdf-schema#label> "logical proof"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/sentiwordnet/negScore> "0"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-argument-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/senseLabel> "logical proof"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/ukbsynsetId> "06647960-n"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#proxhyp> <https://w3id.org/framester/wn/wn30/instances/synset-proof-noun-2> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-dogma-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-proposition-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/sentiwordnet/posScore> "0.25"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#dul> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationRealization> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/mapsToWN20synsetId> "106238008"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#d0> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationEntity> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-axiom-noun-2> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/wndomains/synsetDomain> <https://w3id.org/framester/wn/wn30/wndomains/wn-domain-mathematics> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#hyp> <https://w3id.org/framester/wn/wn30/instances/synset-indication-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/mapsToWN16synsetId> "104985559"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/wndomains/synsetDomain> <https://w3id.org/framester/wn/wn30/wndomains/wn-domain-telecommunication> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/hyponymOf> <https://w3id.org/framester/wn/wn30/instances/synset-proof-noun-2> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/lexname> <https://w3id.org/framester/wn/wn30/instances/supersense-noun_communication> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/synsetId> "106647960"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-logical_proof-noun-1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/wn/wn30/schema/NounSynset> .