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'; interface PropertyEx { equivalentProperty: Array>; propertyDisjointWith: Array>; } declare module '@rdfine/rdf/lib/Property' { interface Property extends PropertyEx { } } export declare function PropertyMixinEx>(Resource: Base): rdfine.Constructor & Base; export declare namespace PropertyMixinEx { var appliesTo: RDF.NamedNode & RDF.NamedNode<"http://www.w3.org/1999/02/22-rdf-syntax-ns#Property">; } export {};