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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - catalyst
catalyst

appearance as argument number 1
-------------------------


(documentation catalyst EnglishLanguage "A relation between a ChemicalProcess and a Substance that acts to acelerate or enable the ChemicalProcess.") VirusProteinAndCellPart.kif 206-207
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205 catalyst is an instance of case role

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


(format EnglishLanguage catalyst "%2 is %n a catalyst of %1") domainEnglishFormat.kif 106-106
(termFormat EnglishLanguage catalyst "catalyst") domainEnglishFormat.kif 2660-2660 "catalyst" is the printable form of catalyst in english language

consequent
-------------------------


(=>
    (instance ?OBJ Enzyme)
    (capability ChemicalProcess catalyst ?OBJ))
VirusProteinAndCellPart.kif 209-211


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners