Object Definitions in KIF

• Complete

  • Definition: (defobject constant [string] := term)
    Content: (= constant term)
    
    Example: (defobject Origin := (ListOf 0 0 0))

• Partial

  • Definition: (defobject constant [string] :-> indvar :=> sentence)
    Content: (=> (= constant indvar) sentence)
    
  • Definition: (defobject constant :-> indvar :<= sentence)
    Content: (<= (= constant indvar) sentence)
    
    Example: (defobject Origin :-> ?x :<= (forall ?y (= (+ ?y ?x) ?y)))

• Unrestricted

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

Previous slide

Next slide

Back to first slide

View graphic version