Skip to content

Interface: SetFuzzySubsumptionRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / SetFuzzySubsumptionRequest

Defined in: src/types/sorts.ts:1978

Assert the subsumption degree between two sorts.

degree: number

Defined in: src/types/sorts.ts:1984

Subsumption degree ∈ [0, 1].


subSortId: string

Defined in: src/types/sorts.ts:1980

The subsumed (more specific) sort (UUID).


supSortId: string

Defined in: src/types/sorts.ts:1982

The subsuming (more general) sort (UUID).