SUMO   View all facts   Glossary   Help

Entity > Abstract > Proposition > Procedure

Procedure
subject			fact

Procedure	documentation 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
	is a kind of Proposition
Proposition	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	is second domain of containsInformation
	is second domain of realization
Abstract	is disjoint from Physical
Entity	is first domain of documentation
	is first domain of element
	is first domain of equal
	is first domain of IdentityFn
	is first domain of instance
	is first domain of relatedExternalConcept
	is first domain of relatedInternalConcept

Kinds of Procedure :

• ComputerProgram (2 facts) - A set of instructions in a computer programming language that can be executed by a computer
• Plan (6 facts) - A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time