https://w3id.org/framester/conceptnet5/data/en/isabelle.n.proof_assistant <https://w3id.org/framester/conceptnet5/schema/InstanceOf> <https://w3id.org/framester/conceptnet5/data/en/software> risorse dalla linked data cloud