Procedure Comparison Table

Entity > Abstract > Proposition > Procedure

Next Proposition: FieldOfStudy Up: Proposition Previous Proposition: NormativeProposition

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
(=>
(instance ?SENTENCE Sentence)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?SENTENCE ?PROP))))

Plan A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time subPlan subPlan
(=>
(instance ?PLAN Plan)
(exists (?PURP)
(hasPurpose ?PLAN ?PURP)))

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	(=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
Plan	A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time	subPlan	subPlan	(=> (instance ?PLAN Plan) (exists (?PURP) (hasPurpose ?PLAN ?PURP)))

Next Proposition: FieldOfStudy Up: Proposition Previous Proposition: NormativeProposition