SUMO View all facts Glossary Help |
Entity > Abstract > Proposition > Procedure |
Procedure comparison table |
Subject | documentation | be first domain of | be second domain of | have axiom |
---|---|---|---|---|
ComputerProgram | A set of instructions in a computer programming language that can be executed by a computer | relatedInternalConcept | realization | (=> |
Plan | A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time | subPlan | subPlan | (=> |
Next Proposition: FieldOfStudy Up: Proposition Previous Proposition: NormativeProposition