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 ClassEx { equivalentClass: Array>; intersectionOf: Array>; oneOf: Array>; unionOf: Array>; } declare module '@rdfine/rdfs/lib/Class' { interface Class extends ClassEx { } } export declare function ClassMixinEx>(Resource: Base): rdfine.Constructor & Base; export declare namespace ClassMixinEx { var appliesTo: RDF.NamedNode & RDF.NamedNode<"http://www.w3.org/2000/01/rdf-schema#Class">; } export {};