Class PLAN-AUTHOR

Subclass-Of: Thing

Axioms:

(<=> (Plan-Author ?Self)
     (And (Thing ?Self)
          (Or (Person ?Self) (Organization ?Self))
          (Exists (?A) (And (Authors ?Self ?A) (Generic-Plan ?A)))))

• Defined in theory: Planning
• Source code: Planning.lisp