Function Definitions in KIF

• Complete

  • Definition: (deffunction constant (indvar* [seqvar]) := term)
    Content: (= (constant indvar* [seqvar]) term)
    
    Example: (deffunction Mother-Of (?x) :=
    (the ?x (and (Parent ?x) (Gender ?x Female))))

• Partial

  • Definition: (deffunction constant (indvar* [seqvar]) :-> indvar :=> sentence)
    Content: (=> (= (constant indvar* [seqvar]) indvar) sentence)
    
    Example: (deffunction Mother-Of (?x) :-> ?y :=> (Parent-Of ?x ?y))
  • Definition: (deffunction constant (indvar* [seqvar]) :-> indvar :<= sentence)
    Content: (<= (= (constant indvar* [seqvar]) indvar) sentence)
    

• Unrestricted

  • Definition: (deffunction constant sentence*)
    Content: (and sentence*)
    

Previous slide

Back to first slide

View graphic version