Skip to content

Interface: GetFuzzySubsumptionResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / GetFuzzySubsumptionResponse

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

A subsumption degree.

degree: number

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

Subsumption degree ⊑·(sub, sup) ∈ [0, 1].

Falls back through the explicit relation, then approved similarity, then the crisp hierarchy — so 1.0 may mean a crisp subtype edge rather than an explicitly asserted degree.


subSortId: string

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

The subsumed sort (UUID).


supSortId: string

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

The subsuming sort (UUID).