Definitions in KIF

• A KIF KB is a set of top level forms

  • Sentences ? Definitions

• Definition forms for objects, relations, and functions

  E.g., (defobject Obj := Term)
  
  (defrelation Rel (?var1 ... ?varn) :=> Sent)

• Provide convenient syntax for common idioms

• Equivalent to the associated “content” sentences

  E.g., (= Obj Term)
  
  (=> (Rel ?var1 ... ?varn) Sent)

• Types of definitions

  • Complete – Specifies an equivalent expression
  • Partial – Specifies necessary or sufficient properties
  • Unrestricted – Specifies sentences restricting possible interpretations

Previous slide

Next slide

Back to first slide

View graphic version