Class GENERIC-PLAN

A generic plan is a script that contains the method for executing or performing a procedure or a stage of a procedure.
Subclass-Of: Script
Subclass-Partition: {Elementary-plan, Complex-plan, Synchro-plan}

Slots Of Instances:

Postcondition:
Slot-Value-Type: Situation
Precondition:
Slot-Value-Type: Situation
Axioms:
(Slot-Value-Type Generic-Plan Description Symbolic-String)

(Slot-Value-Type Generic-Plan Duration-Value Number)

(Slot-Value-Type Generic-Plan Authored-By Plan-Author)

(Slot-Value-Type Generic-Plan Title Symbolic-String)

(Slot-Value-Type Generic-Plan Serial-Value Serial-Value-Filler)

(Slot-Value-Type Generic-Plan Part-Of Generic-Plan)

(=> (Generic-Plan ?Self)
    (And (Forall (?A)
                 (=> (Method-Of ?Self ?A)
                     (Or (Procedure ?A) (Stage ?A))))
         (Exists (?B) (And (Represented-By ?Self ?B) (Document ?B)))
         (Exists (?C) (And (Part ?Self ?C) (Generic-Plan ?C)))))