<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_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-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/mapsToWN20synsetId> "106237912"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/containsWordSense> <https://w3id.org/framester/wn/wn30/instances/wordsense-mathematical_proof-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/mapsToWN16synsetId> "104985310"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/synsetId> "106647864"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_proof-noun-1> <https://w3id.org/framester/sentiwordnet/posScore> "0.125"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_proof-noun-1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/wn/wn30/schema/NounSynset> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/ukbsynsetId> "06647864-n"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_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-mathematical_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-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/gloss> "proof of a mathematical theorem"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_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-mathematical_proof-noun-1> <http://www.w3.org/2000/01/rdf-schema#label> "mathematical proof"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-mathematical_proof-noun-1> <https://w3id.org/framester/wn/wn30/schema/senseLabel> "mathematical proof"@en-us .