| 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 16778-16781 | |
| (subclass Procedure Proposition) | Merge.kif 16777-16777 | Procedure ist eine teilkategorie von Proposition |
| appearance as argument number 2 |
|
|
| (subclass BestMatchAlgorithm Procedure) | UXExperimentalTerms.kif 2269-2269 | BestMatchAlgorithm ist eine teilkategorie von Procedure |
| (subclass CodingScheme Procedure) | QoSontology.kif 2164-2164 | CodingScheme ist eine teilkategorie von Procedure |
| (subclass ComputerProgram Procedure) | Merge.kif 16783-16783 | ComputerProgram ist eine teilkategorie von Procedure |
| (subclass ComputerProtocol Procedure) | ComputingBrands.kif 1718-1718 | ComputerProtocol ist eine teilkategorie von Procedure |
| (subclass EncodingProcedure Procedure) | QoSontology.kif 2255-2255 | EncodingProcedure ist eine teilkategorie von Procedure |
| (subclass Method Procedure) | engineering.kif 1161-1161 | Method ist eine teilkategorie von Procedure |
| (subclass Orthography Procedure) | Mid-level-ontology.kif 690-690 | Orthography ist eine teilkategorie von Procedure |
| (subclass Plan Procedure) | Merge.kif 16798-16798 | Plan ist eine teilkategorie von Procedure |
| (subclass Software Procedure) | ComputerInput.kif 808-808 | Software ist eine teilkategorie von Procedure |
| (termFormat ChineseLanguage Procedure "程序") | chinese_format.kif 1232-1232 | |
| (termFormat EnglishLanguage Procedure "procedure") | english_format.kif 1685-1685 | |
| (termFormat FrenchLanguage Procedure "proc�dure") | french_format.kif 910-910 | |
| (termFormat Hindi Procedure "kriyaa vidhi") | terms-hindi.txt 443-443 | |
| (termFormat ItalianLanguage Procedure "Procedura") | terms-it.txt 446-446 | |
| (termFormat JapaneseLanguage Procedure "手順") | japanese_format.kif 2594-2594 | |
| (termFormat PortugueseLanguage Procedure "Procedimento") | portuguese_format.kif 862-862 | |
| (termFormat cb Procedure "pagpa-agi") | terms-cb.txt 448-448 | |
| (termFormat cz Procedure "procedure") | terms-cz.txt 482-482 | |
| (termFormat ro Procedure "procedurã") | relations-ro.kif 931-931 | |
| (termFormat tg Procedure "pamamaraan") | terms-tg.txt 447-447 |
|
|
|