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 catalyst の数値 1 引数は 化学プロセス の instance では %n
(domain catalyst 2 Substance) VirusProteinAndCellPart.kif 255-255 catalyst の数値 2 引数は 物質 の instance では %n
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 catalyst は 2項関係 の instance では %n
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 250-250 catalyst は 格役割 の instance では %n

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