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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - reactant
reactant

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


(documentation reactant EnglishLanguage "(reactant ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE is a chemical reactant in the chemical reaction ?PROCESS, i.e. ?SUBSTANCE is present at the beginning of the chemical reaction ?PROCESS.") Mid-level-ontology.kif 9011-9013
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 9014-9014 The number 1 argument of reactant is an instance of chemical process
(domain reactant 2 Substance) Mid-level-ontology.kif 9015-9015 The number 2 argument of reactant is an instance of substance
(instance reactant CaseRole) Mid-level-ontology.kif 9017-9017 reactant is an instance of case role
(subrelation reactant resource) Mid-level-ontology.kif 9016-9016 reactant is a subrelation of resource

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


(format ChineseLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4334-4334
(format ChineseTraditionalLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4333-4333
(format EnglishLanguage reactant "%2 reacts in %1") domainEnglishFormat.kif 4332-4332
(termFormat ChineseLanguage reactant "反应") domainEnglishFormat.kif 48888-48888
(termFormat ChineseTraditionalLanguage reactant "反應") domainEnglishFormat.kif 48887-48887
(termFormat EnglishLanguage reactant "reactant") domainEnglishFormat.kif 48886-48886


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 3.0 is open source software produced by Articulate Software and its partners