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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - reagent
reagent

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


s__documentation(s__reagent__m,s__EnglishLanguage,'"(reagent ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE is a chemical agent in the chemical reaction ?PROCESS."')

Mid-level-ontology.kif 8481-8482
s__domain(s__reagent__m,n__1,s__ChemicalProcess)

Mid-level-ontology.kif 8483-8483 The number 1 argument of reagent is an instance of chemical process
s__domain(s__reagent__m,n__2,s__Substance)

Mid-level-ontology.kif 8484-8484 The number 2 argument of reagent is an instance of substance
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__reagent__m,s__CaseRole)

Mid-level-ontology.kif 8486-8486 reagent is an instance of case role
s__subrelation(s__reagent__m,s__instrument__m)

Mid-level-ontology.kif 8485-8485 reagent is a subrelation of instrument

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


s__format(s__ChineseLanguage,s__reagent__m,'"%2 是 reagent 在 %1 "')

domainEnglishFormat.kif 4343-4343
s__format(s__ChineseTraditionalLanguage,s__reagent__m,'"%2 是 reagent 在 %1 "')

domainEnglishFormat.kif 4342-4342
s__format(s__EnglishLanguage,s__reagent__m,'"%2 is a reagent in %1"')

domainEnglishFormat.kif 4341-4341
s__termFormat(s__ChineseLanguage,s__reagent__m,'"试剂"')

domainEnglishFormat.kif 48764-48764
s__termFormat(s__ChineseTraditionalLanguage,s__reagent__m,'"試劑"')

domainEnglishFormat.kif 48763-48763
s__termFormat(s__EnglishLanguage,s__reagent__m,'"reagent"')

domainEnglishFormat.kif 48762-48762


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