Interface: IngestKifResponse
@kortexya/reasoninglayer / IngestKifResponse
Interface: IngestKifResponse
Section titled “Interface: IngestKifResponse”Defined in: src/types/ingestion.ts:1222
Response of POST /api/v1/ingest/kif — import counts + optional proof verdict.
Properties
Section titled “Properties”capturedNonHorn
Section titled “capturedNonHorn”capturedNonHorn:
number
Defined in: src/types/ingestion.ts:1224
Non-Horn forms captured as structured terms (not dropped, not yet fired).
constraintRules
Section titled “constraintRules”constraintRules:
number
Defined in: src/types/ingestion.ts:1226
Integrity constraints (=> ant (not p)) — disjointness/exclusivity axioms.
disjunctiveRules
Section titled “disjunctiveRules”disjunctiveRules:
number
Defined in: src/types/ingestion.ts:1228
Disjunctive-head rules (executed by the disjunctive chase).
facts:
number
Defined in: src/types/ingestion.ts:1230
Ground facts asserted as Ψ-terms.
forms:
number
Defined in: src/types/ingestion.ts:1232
Top-level SUO-KIF forms processed.
hornRules
Section titled “hornRules”hornRules:
number
Defined in: src/types/ingestion.ts:1234
Subset of rules that are atomic → atomic (these fire to facts).
instantiatedRules
Section titled “instantiatedRules”instantiatedRules:
number
Defined in: src/types/ingestion.ts:1236
Concrete Horn rules produced by predicate-variable instantiation of higher-order axioms.
nafRules
Section titled “nafRules”nafRules:
number
Defined in: src/types/ingestion.ts:1238
Rules that fire via Negation-As-Failure (negated antecedents).
provable?
Section titled “provable?”
optionalprovable?:boolean|null
Defined in: src/types/ingestion.ts:1240
If a query/goal was supplied: whether it is entailed by the imported axioms.
residueByShape
Section titled “residueByShape”residueByShape:
Record<string,number>
Defined in: src/types/ingestion.ts:1242
Non-firing residue broken down by why (shape tag → count).
residueExamples
Section titled “residueExamples”residueExamples:
Record<string,string[]>
Defined in: src/types/ingestion.ts:1244
A few concrete example forms per residue shape, for auditing.
rules:
number
Defined in: src/types/ingestion.ts:1246
All => / <=> implications imported.
skolemized
Section titled “skolemized”skolemized:
number
Defined in: src/types/ingestion.ts:1248
Existential variables eliminated by Skolemization.
sorts:
string[]
Defined in: src/types/ingestion.ts:1250
Class/relation symbols that became sorts.
subclassEdges
Section titled “subclassEdges”subclassEdges:
number
Defined in: src/types/ingestion.ts:1252
(subclass …) edges added to the sort lattice.
success
Section titled “success”success:
boolean
Defined in: src/types/ingestion.ts:1254
Always true on a successful import.
temporalDetached
Section titled “temporalDetached”temporalDetached:
number
Defined in: src/types/ingestion.ts:1256
Rules whose (holdsDuring <time> <atomic>) consequent the temporal interpreter detached.