https://w3id.org/framester/data/framestersyn/Mathematical_proof.n.1 <https://w3id.org/framester/schema/WnSynsetFrame> rdf:type <https://w3id.org/framester/schema/WnSynsetFrame> owl:Class rdfs:subClassOf <https://w3id.org/framester/data/framestercore/Evidence> <https://w3id.org/framester/data/framestercore/Reasoning> <https://w3id.org/framester/data/framestercore/Sign> <https://w3id.org/framester/schema/FrameOccurrence> <https://w3id.org/framester/schema/unaryProjection> <https://w3id.org/framester/wn/wn30/instances/synset-mathematical_proof-noun-1> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/data/framestersyn/Proof.n.2> risorse dalla linked data cloud