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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - catalyst

appearance as argument number 1

(documentation catalyst EnglishLanguage "A relation between a ChemicalProcess and a Substance that acts to accelerate or enable the ChemicalProcess.") VirusProteinAndCellPart.kif 207-208
(domain catalyst 1 ChemicalProcess) VirusProteinAndCellPart.kif 209-209
(domain catalyst 2 Substance) VirusProteinAndCellPart.kif 210-210
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 206-206
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205

appearance as argument number 2

(format ChineseLanguage catalyst "%2 %n 是 %1 的 catalyst ") domainEnglishFormat.kif 388-388
(format ChineseTraditionalLanguage catalyst "%2 %n 是 %1 的 catalyst ") domainEnglishFormat.kif 387-387
(format EnglishLanguage catalyst "%2 is %n a catalyst of %1") domainEnglishFormat.kif 386-386
(termFormat ChineseLanguage catalyst "催化剂") domainEnglishFormat.kif 13424-13424
(termFormat ChineseTraditionalLanguage catalyst "催化劑") domainEnglishFormat.kif 13423-13423
(termFormat EnglishLanguage catalyst "catalyst") domainEnglishFormat.kif 13422-13422

Show without tree

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