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

Formal Language: 



KB Term:  Term intersection
English Word: 

  catalyst

Sigma KEE - catalyst
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 252-253
(domain catalyst 1 ChemicalProcess) VirusProteinAndCellPart.kif 254-254 The number 1 argument of catalyst is an instance of chemical process
(domain catalyst 2 Substance) VirusProteinAndCellPart.kif 255-255 The number 2 argument of catalyst is an instance of substance
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 catalyst is an instance of binary relation
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 250-250 catalyst is an instance of case role

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 13422-13422
(termFormat ChineseTraditionalLanguage catalyst "催化劑") domainEnglishFormat.kif 13421-13421
(termFormat EnglishLanguage catalyst "catalyst") domainEnglishFormat.kif 13420-13420

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