Relation Definitions in KIF

• Complete

  • Definition: (defrelation constant (indvar* [seqvar]) := sentence)
    Content: (<=> (constant indvar* [seqvar]) sentence)
    
    Example: (defrelation Bachelor (?x) := (and (Man ?x) (Unmarried ?x)))

• Partial

  • Definition: (defrelation constant (indvar* [seqvar]) :=> sentence)
    Content: (=> (constant indvar* [seqvar]) sentence)
    
    Example: (defrelation Mammal (?x) :=> (Animal ?x))
  • Definition: (defrelation constant (indvar* [seqvar]) :<= sentence)
    Content: (<= (constant indvar* [seqvar]) sentence)
    

• Unrestricted

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

Previous slide

Next slide

Back to first slide

View graphic version