Interface: IngestKifRequest
@kortexya/reasoninglayer / IngestKifRequest
Interface: IngestKifRequest
Section titled “Interface: IngestKifRequest”Defined in: src/types/ingestion.ts:1200
Request to import SUO-KIF (and optionally prove a ground goal) —
POST /api/v1/ingest/kif.
Remarks
Section titled “Remarks”The query field is an array of constant names [relation, arg1, arg2, …] (the generated contract erases it to any[]); it is typed
here as string[] | null.
Properties
Section titled “Properties”content
Section titled “content”content:
string
Defined in: src/types/ingestion.ts:1202
SUO-KIF source text (ontology axioms, optionally followed by scenario facts).
optionalgoal?:string|null
Defined in: src/types/ingestion.ts:1207
Optional SUO-KIF query expression to prove. Takes precedence over
query when both are present.
persist?
Section titled “persist?”
optionalpersist?:boolean
Defined in: src/types/ingestion.ts:1212
When true, import into the tenant’s persistent substrate instead of a
throwaway request-scoped world (defaults to false).
query?
Section titled “query?”
optionalquery?:string[] |null
Defined in: src/types/ingestion.ts:1218
Optional ground goal to prove, as [relation, arg1, arg2, …] of
constant names. When present, the response’s provable reports
entailment.