Procedure - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Procedure Proposition)	Merge.kif 16974-16974	Procedure is a subclass of proposition
(documentation Procedure EnglishLanguage "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.")	Merge.kif 16975-16978	Procedure is a subclass of proposition

appearance as argument number 2

(subclass ComputerProgram Procedure)	Merge.kif 16980-16980	Computer program is a subclass of procedure
(subclass Plan Procedure)	Merge.kif 16995-16995	Plan is a subclass of procedure
(subclass Orthography Procedure)	Mid-level-ontology.kif 686-686	Orthography is a subclass of procedure
(subclass Software Procedure)	ComputerInput.kif 808-808	Software is a subclass of procedure
(subclass ComputerProtocol Procedure)	ComputingBrands.kif 1718-1718	Computer protocol is a subclass of procedure
(subclass CodingScheme Procedure)	QoSontology.kif 2291-2291	Coding scheme is a subclass of procedure
(subclass EncodingProcedure Procedure)	QoSontology.kif 2383-2383	Encoding procedure is a subclass of procedure
(subclass BestMatchAlgorithm Procedure)	UXExperimentalTerms.kif 2269-2269	Best match sort is a subclass of procedure
(subclass Method Procedure)	engineering.kif 1432-1432	Method is a subclass of procedure
(termFormat EnglishLanguage Procedure "procedure")	english_format.kif 1685-1685	Method is a subclass of procedure