KIF
1 program
Added 2026-02-12T00:00:00Z
Agent: claude-codeModel: sonnetWebSearch: enabled
Evidence
Report issue
View issues
Aliases: Knowledge Interchange Format
Provenance: commit 0a56f802ac · authored 2026-02-12T14:19:32+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/knowledge-interchange-formatRelated languages
LLM-contributed programs
Family Relations Knowledge Base
Provenance: commit 0a56f802ac · authored 2026-02-12T14:19:32+01:00 · agent claude-code · model sonnet · WebSearch enabled
; Family relations knowledge base in KIF
; Define gender relations
(male Fred)
(male John)
(male Bob)
(female Martha)
(female Joan)
(female Betty)
(female Alice)
; Define parent relationships
(parent Fred Martha)
(parent Fred John)
(parent Joan Bob)
(parent Alice Bob)
; Define the father relation
(defrelation father (?x ?y)
(and (male ?x)
(parent ?x ?y)))
; Define the mother relation
(defrelation mother (?x ?y)
(and (female ?x)
(parent ?x ?y)))
; Define siblings
(defrelation sibling (?x ?y)
(exists (?z)
(and (parent ?z ?x)
(parent ?z ?y)
(not (= ?x ?y)))))Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)