SUMO   View all facts   Glossary   Help
Entity > Abstract > Proposition > Procedure > Plan
Next Procedure: ComputerProgram    Up: Procedure

Plan
subjectfact 
Plandocumentation A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time2001-11-30 13:35:00.0
has axiom 
(=>
     (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
     (exists (?PLANNING)
        (and
           (instance ?PLANNING Planning)
           (result ?PLANNING ?OBJ))))
2001-11-30 13:35:00.0
has axiom 
(=>
     (instance ?PLAN Plan)
     (exists (?PURP)
         (hasPurpose ?PLAN ?PURP)))
2001-11-30 13:35:00.0
is first domain of subPlan2001-11-30 13:35:00.0
is second domain of subPlan2001-11-30 13:35:00.0
is a kind of Procedure2001-11-30 13:35:00.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0