Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  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 10160-10162
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 10163-10163 The number 1 argument of reactant is an instance of chemical process
(domain reactant 2 Substance) Mid-level-ontology.kif 10164-10164 The number 2 argument of reactant is an instance of substance
(subrelation reactant resource) Mid-level-ontology.kif 10165-10165 reactant is a subrelation of resource
(instance reactant CaseRole) Mid-level-ontology.kif 10166-10166 reactant is an instance of case role

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


(format EnglishLanguage reactant "%2 reacts in %1") domainEnglishFormat.kif 4336-4336
(format ChineseTraditionalLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4337-4337
(format ChineseLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4338-4338
(termFormat EnglishLanguage reactant "reactant") domainEnglishFormat.kif 48843-48843
(termFormat ChineseTraditionalLanguage reactant "反應") domainEnglishFormat.kif 48844-48844
(termFormat ChineseLanguage reactant "反应") domainEnglishFormat.kif 48845-48845


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners