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 9566-9568
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 9569-9569 The number 1 argument of reactant is an instance of chemical process
(domain reactant 2 Substance) Mid-level-ontology.kif 9570-9570 The number 2 argument of reactant is an instance of substance
(instance reactant CaseRole) Mid-level-ontology.kif 9572-9572 reactant is an instance of case role
(subrelation reactant resource) Mid-level-ontology.kif 9571-9571 reactant is a subrelation of resource

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


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


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