First-Order Logic Knowledge Interchange Format (KIF)

Knowledge Systems Laboratory, Stanford University

Logical Terms

u(if <sentence> <term> [<term>])

E.g, (if (Above A B) A B)

8SIV((if sent term)) =

>SIV(term) when TIV(sent) = true

> ^ otherwise

8SIV((if sent term1 term2)) =

>SIV(term1) when TIV(sent) = true

>SIV(term2) otherwise

u(cond (<sentence> <term>) … (<sentence> <term>))

E.g., (cond ((Above A B) A) ((Above B A) B))

8SIV((cond (sent1 term1) … (sentn termn))) =

>SIV(term1) when TIV(sent1) = true

...

>SIV(termn) when TIV(sentn) = true

> ^ otherwise