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 | 催化剂 的 1 数量 是 化学过程 的 instance |
(domain catalyst 2 Substance) | VirusProteinAndCellPart.kif 255-255 | 催化剂 的 2 数量 是 物质 的 instance |
(instance catalyst BinaryRelation) | VirusProteinAndCellPart.kif 251-251 | 催化剂 是 二元关系 的 instance |
(instance catalyst CaseRole) | VirusProteinAndCellPart.kif 250-250 | 催化剂 是 格角色 的 instance |
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 |
consequent |
(=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 257-259 |