Interface: IngestKifRequest

@kortexya/reasoninglayer / Ingestion / IngestKifRequest

Interface: IngestKifRequest

Defined in: src/types/ingestion.ts:829

Request to import SUO-KIF (and optionally prove a ground goal) — POST /api/v1/ingest/kif.

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

content

content: string

Defined in: src/types/ingestion.ts:831

SUO-KIF source text (ontology axioms, optionally followed by scenario facts).

goal?

optional goal: string | null

Defined in: src/types/ingestion.ts:836

Optional SUO-KIF query expression to prove. Takes precedence over query when both are present.

persist?

optional persist: boolean

Defined in: src/types/ingestion.ts:841

When true, import into the tenant’s persistent substrate instead of a throwaway request-scoped world (defaults to false).

query?

optional query: string[] | null

Defined in: src/types/ingestion.ts:847

Optional ground goal to prove, as [relation, arg1, arg2, …] of constant names. When present, the response’s provable reports entailment.