import * as rdfine from '@tpluscode/rdfine'; import type { RdfResourceCore } from '@tpluscode/rdfine/RdfResource'; import type * as RDF from '@rdfjs/types'; import type * as Rdf from '@rdfine/rdf'; import type * as Rdfs from '@rdfine/rdfs'; interface ResourceEx { annotatedProperty: Rdfs.Resource | undefined; annotatedSource: Rdfs.Resource | undefined; annotatedTarget: Rdfs.Resource | undefined; deprecated: Rdfs.Resource | undefined; members: Rdf.List | undefined; versionInfo: Rdfs.Resource | undefined; } declare module '@rdfine/rdfs/lib/Resource' { interface Resource extends ResourceEx { } } export declare function ResourceMixinEx>(Resource: Base): rdfine.Constructor & Base; export declare namespace ResourceMixinEx { var appliesTo: RDF.NamedNode & RDF.NamedNode<"http://www.w3.org/2000/01/rdf-schema#Resource">; } export {};