https://w3id.org/framester/conceptnet5/data/en/predicate_logic.n <https://w3id.org/framester/conceptnet5/schema/RelatedTo> <https://w3id.org/framester/conceptnet5/data/en/predicate_calculus> <https://w3id.org/framester/conceptnet5/data/en/first_order_logic> <https://w3id.org/framester/conceptnet5/data/en/many_sort_logic> risorse dalla linked data cloud