Interface: SortReferencingRuleDto
@kortexya/reasoninglayer / SortReferencingRuleDto
Interface: SortReferencingRuleDto
Section titled “Interface: SortReferencingRuleDto”Defined in: src/types/sorts.ts:1378
A rule that names a sort, and where.
Properties
Section titled “Properties”kind:
SortReferenceKind
Defined in: src/types/sorts.ts:1390
Where the sort is named.
origin
Section titled “origin”origin:
RuleOrigin
Defined in: src/types/sorts.ts:1392
Who owns the rule — which decides whether it can be withdrawn at all.
ruleId
Section titled “ruleId”ruleId:
string
Defined in: src/types/sorts.ts:1383
The rule, by its conclusion’s term id — what InferenceClient.deleteRule takes.
termId
Section titled “termId”termId:
string
Defined in: src/types/sorts.ts:1388
The rule’s scaffolding term that carries the reference — the conclusion
itself for conclusion.