This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n12http://yago-knowledge.org/resource/
n9http://www.w3.org/2006/03/wn/wn30/schema/
n4https://w3id.org/framester/data/framestersyn/Proof.n.
skoshttp://www.w3.org/2004/02/skos/core#
framehttps://w3id.org/framester/framenet/abox/frame/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
wn30instanceshttps://w3id.org/framester/wn/wn30/instances/
owlhttp://www.w3.org/2002/07/owl#
n10https://w3id.org/framester/now/fred/
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#
fschemahttps://w3id.org/framester/schema/
wn30schemahttps://w3id.org/framester/wn/wn30/schema/
Subject Item
wn30instances:synset-demonstration-noun-4
n8:proxhyp
wn30instances:synset-proof-noun-2
wn30schema:hyponymOf
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-lead-noun-3
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-mathematics-noun-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
frame:Evidence
skos:closeMatch
wn30instances:synset-proof-noun-2
Subject Item
frame:Reasoning
skos:closeMatch
wn30instances:synset-proof-noun-2
Subject Item
frame:Sign
skos:closeMatch
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-given-noun-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-prove-verb-4
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
n4:2
fschema:unaryProjection
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-proof-noun-2
fschema:topicallyAssociatedWith
wn30instances:synset-logical_proof-noun-1 wn30instances:synset-theorem-noun-1 wn30instances:synset-argument-noun-1 wn30instances:synset-proposition-noun-1 wn30instances:synset-thing-noun-7 wn30instances:synset-salute-noun-1 wn30instances:synset-tautology-noun-1 wn30instances:synset-condition-noun-7 wn30instances:synset-clincher-noun-1 wn30instances:synset-condition-noun-2 wn30instances:synset-equation-noun-1 wn30instances:synset-statement-noun-1 wn30instances:synset-dogma-noun-1 wn30instances:synset-proof-noun-2 wn30instances:synset-modality-noun-1
n8:proxhyp
wn30instances:synset-argument-noun-1
wn30schema:hyponymOf
wn30instances:synset-argument-noun-1
n9:gloss
a formal series of statements showing that if one thing is true something else necessarily follows from it
Subject Item
wn30instances:synset-topic-noun-2
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-mathematical-adjective-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-business-noun-4
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-mathematical_proof-noun-1
n8:proxhyp
wn30instances:synset-proof-noun-2
wn30schema:hyponymOf
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-logical_proof-noun-1
n8:proxhyp
wn30instances:synset-proof-noun-2
wn30schema:hyponymOf
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-logic-noun-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-logical-adjective-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
n12:wordnet_proof_106647614
owl:sameAs
wn30instances:synset-proof-noun-2
Subject Item
wn30instances:synset-formal-adjective-1
fschema:topicallyAssociatedWith
wn30instances:synset-proof-noun-2
Subject Item
n10:Proof_106647614
owl:equivalentClass
wn30instances:synset-proof-noun-2