| Procedure | |
| appearance as argument number 1 |
|
|
| (documentation Procedure ChineseLanguage "这是一种安照序列执行的模式。一些例子有 ComputerProgram、 有限状态机、食谱、音阶、会议时间表、行车路线和戏剧和电影的剧本。") | chinese_format.kif 3759-3760 | |
| (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 16509-16512 | |
| (subclass Procedure Proposition) | Merge.kif 16508-16508 |
| appearance as argument number 2 |
|
|
| (subclass BestMatchAlgorithm Procedure) | UXExperimentalTerms.kif 2479-2479 | |
| (subclass CodingScheme Procedure) | QoSontology.kif 2169-2169 | |
| (subclass ComputerProgram Procedure) | Merge.kif 16514-16514 | |
| (subclass ComputerProtocol Procedure) | ComputingBrands.kif 1686-1686 | |
| (subclass EncodingProcedure Procedure) | QoSontology.kif 2259-2259 | |
| (subclass Method Procedure) | engineering.kif 1160-1160 | |
| (subclass Orthography Procedure) | Mid-level-ontology.kif 655-655 | |
| (subclass Plan Procedure) | Merge.kif 16529-16529 | |
| (subclass Software Procedure) | ComputerInput.kif 808-808 | |
| (termFormat ChineseLanguage Procedure "程序") | chinese_format.kif 1232-1232 | |
| (termFormat EnglishLanguage Procedure "procedure") | english_format.kif 1685-1685 |
|
|
|