<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <http://www.w3.org/2000/01/rdf-schema#label> "theorem"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/synsetId> "106752293"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/wndomains/synsetDomain> <https://w3id.org/framester/wn/wn30/wndomains/wn-domain-philosophy> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/DONT_CAREscore> "0.201521"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/mapsToWN20synsetId> "106337046"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/AFRAIDscore> "0.0"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/senseLabel> "theorem"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/SADscore> "0.0"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/ukbsynsetId> "06752293-n"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/AMUSEDscore> "0.483095"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/HAPPYscore> "0.230102"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/schema/ontoType> <http://www.ontologydesignpatterns.org/ont/d0.owl#Topic> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/hyponymOf> <https://w3id.org/framester/wn/wn30/instances/synset-proposition-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-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-theorem-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-theorem-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#dul> <http://www.ontologydesignpatterns.org/ont/dul/ontopic.owl#Topic> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/ANGRYscore> "0.0"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/gloss> "a proposition deducible from basic postulates"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-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-theorem-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-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/INSPIREDscore> "0.0748251"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <http://www.w3.org/2006/03/wn/wn30/schema/gloss> "a proposition deducible from basic postulates"@en-us .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/sentiwordnet/negScore> "0"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#hyp> <https://w3id.org/framester/wn/wn30/instances/synset-message-noun-2> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/depechemood/depechemood2wn/ANNOYEDscore> "0.0104569"^^<http://www.w3.org/2001/XMLSchema#float> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/schema/topicallyAssociatedWith> <https://w3id.org/framester/wn/wn30/instances/synset-mathematical_space-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/schema/containsWordSense> <https://w3id.org/framester/wn/wn30/instances/wordsense-theorem-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#d0> <http://www.ontologydesignpatterns.org/ont/d0.owl#Topic> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#proxhyp> <https://w3id.org/framester/wn/wn30/instances/synset-proposition-noun-1> .
<https://w3id.org/framester/wn/wn30/instances/synset-theorem-noun-1> <https://w3id.org/framester/wn/wn30/wndomains/synsetDomain> <https://w3id.org/framester/wn/wn30/wndomains/wn-domain-mathematics> .