Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Procedure Proposition) Merge.kif 17130-17130 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 17131-17134 Procedure is a subclass of proposition

appearance as argument number 2
-------------------------


(subclass ComputerProgram Procedure) Merge.kif 17136-17136 Computer program is a subclass of procedure
(subclass Plan Procedure) Merge.kif 17151-17151 Plan is a subclass of procedure
(subclass Orthography Procedure) Mid-level-ontology.kif 673-673 Orthography is a subclass of procedure
(subclass Software Procedure) ComputerInput.kif 824-824 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 2288-2288 Coding scheme is a subclass of procedure
(subclass EncodingProcedure Procedure) QoSontology.kif 2380-2380 Encoding procedure is a subclass of procedure
(subclass BestMatchAlgorithm Procedure) UXExperimentalTerms.kif 2270-2270 Best match sort is a subclass of procedure
(subclass Method Procedure) engineering.kif 1586-1586 Method is a subclass of procedure
(termFormat EnglishLanguage Procedure "procedure") english_format.kif 1689-1689 Method is a subclass of procedure


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners