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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Procedure
Procedure(proc�dure)

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 Proc�dure est une sous-classe de proposition

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


(subclass BestMatchAlgorithm Procedure) UXExperimentalTerms.kif 2269-2269 BestMatchAlgorithm est une sous-classe de proc�dure
(subclass CodingScheme Procedure) QoSontology.kif 2164-2164 CodingScheme est une sous-classe de proc�dure
(subclass ComputerProgram Procedure) Merge.kif 16783-16783 Programme d'ordinateur est une sous-classe de proc�dure
(subclass ComputerProtocol Procedure) ComputingBrands.kif 1718-1718 ComputerProtocol est une sous-classe de proc�dure
(subclass EncodingProcedure Procedure) QoSontology.kif 2255-2255 EncodingProcedure est une sous-classe de proc�dure
(subclass Method Procedure) engineering.kif 1161-1161 Method est une sous-classe de proc�dure
(subclass Orthography Procedure) Mid-level-ontology.kif 690-690 Orthography est une sous-classe de proc�dure
(subclass Plan Procedure) Merge.kif 16798-16798 Plan est une sous-classe de proc�dure
(subclass Software Procedure) ComputerInput.kif 808-808 Software est une sous-classe de proc�dure
(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


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 is open source software produced by Articulate Software and its partners