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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 8478-8480
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 8481-8481 The number 1 argument of reactant is an instance of chemical process
(domain reactant 2 Substance) Mid-level-ontology.kif 8482-8482 The number 2 argument of reactant is an instance of substance
(instance reactant CaseRole) Mid-level-ontology.kif 8484-8484 reactant is an instance of case role
(subrelation reactant resource) Mid-level-ontology.kif 8483-8483 reactant is a subrelation of resource

appearance as argument number 2

(format ChineseLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4339-4339
(format ChineseTraditionalLanguage reactant "%2 reacts 是 %1 ") domainEnglishFormat.kif 4338-4338
(format EnglishLanguage reactant "%2 reacts in %1") domainEnglishFormat.kif 4337-4337
(termFormat ChineseLanguage reactant "反应") domainEnglishFormat.kif 48746-48746
(termFormat ChineseTraditionalLanguage reactant "反應") domainEnglishFormat.kif 48745-48745
(termFormat EnglishLanguage reactant "reactant") domainEnglishFormat.kif 48744-48744

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