SUMO View all facts Glossary Help |
Entity > Abstract > Proposition > Procedure > Plan |
Plan comparison table |
Subject | documentation | is a kind of | be first domain of | be second domain of | have axiom |
---|---|---|---|---|---|
Procedure | A sequence-dependent specification. Some examples are ComputerPrograms, finite-state machines, cooking recipes, musical scores, conference schedules, driving directions, and the scripts of plays and movies | Proposition | relatedInternalConcept | realization | (=> |
Plan | A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time | Procedure | subPlan | subPlan | (=> |
Next Procedure: ComputerProgram Up: Procedure