SUMO   View all facts   Glossary   Help
Entity > Abstract > Proposition > Procedure > Plan
Next ProcedureComputerProgram    UpProcedure

Plan comparison table
Subject documentation is a kind of be first domain of be second domain of have axiom
ProcedureA sequence-dependent specification. Some examples are ComputerPrograms, finite-state machines, cooking recipes, musical scores, conference schedules, driving directions, and the scripts of plays and moviesPropositionrelatedInternalConceptrealization
(=>
(instance ?SENTENCE Sentence)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?SENTENCE ?PROP))))
PlanA specification of a sequence of Processes which is intended to satisfy a specified purpose at some future timeProceduresubPlansubPlan
(=>
(instance ?PLAN Plan)
(exists (?PURP)
(hasPurpose ?PLAN ?PURP)))

Next ProcedureComputerProgram    UpProcedure