Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Procedure
Procedure(procedure)ABO_blood_group_system, ABO_group, ABO_system, Aristotelian_logic, Benday_process, Bertillon_system, Brix_scale, EAS, ECC, Emergency_Alert_System, Gram's_method, Gram's_procedure, Gram's_stain, Gram_method, Gram_stain, Gregorian_calendar, Hebrew_calendar, Hindu_calendar, Islamic_calendar, Jewish_calendar, Julian_calendar, Mohammedan_calendar, Morse, Morse_code, Moslem_calendar, Muhammadan_calendar, Muslim_calendar, New_Style_calendar, Old_Style_calendar, Pearson_product-moment_correlation_coefficient, Revolutionary_calendar, Roman_calendar, SOP, Socratic_method, accounting, accrual_basis, algorithm, algorithmic, algorithmic_program, algorithmic_rule, analytical_review, antialiasing, arrangement, bail, balance_of_international_payments, balance_of_payments, bonding, bureaucratic_procedure, cash_basis, cataloged_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 15572-15575
(subclass Procedure Proposition) Merge.kif 15571-15571 Procedure is a subclass of proposition

appearance as argument number 2

(subclass BestMatchAlgorithm Procedure) UXExperimentalTerms.kif 2474-2474 Best match sort is a subclass of procedure
(subclass CodingScheme Procedure) QoSontology.kif 2170-2170 CodingScheme is a subclass of procedure
(subclass ComputerProgram Procedure) Merge.kif 15577-15577 Computer program is a subclass of procedure
(subclass ComputerProtocol Procedure) ComputingBrands.kif 1695-1695 Computer protocol is a subclass of procedure
(subclass EncodingProcedure Procedure) QoSontology.kif 2260-2260 EncodingProcedure is a subclass of procedure
(subclass Method Procedure) engineering.kif 1160-1160 Method is a subclass of procedure
(subclass Orthography Procedure) Mid-level-ontology.kif 847-847 Orthography is a subclass of procedure
(subclass Plan Procedure) Merge.kif 15592-15592 Plan is a subclass of procedure
(subclass Software Procedure) ComputerInput.kif 837-837 Software is a subclass of procedure
(termFormat ChineseLanguage Procedure "程序") chinese_format.kif 1232-1232
(termFormat EnglishLanguage Procedure "procedure") english_format.kif 1690-1690

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners