Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
reagent
Sigma KEE - reagent
reagent
appearance as argument number 1
(
documentation
reagent
EnglishLanguage
"(reagent ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE is a chemical agent in the chemical reaction ?PROCESS.")
Mid-level-ontology.kif 8408-8409
(
domain
reagent
1
ChemicalProcess
)
Mid-level-ontology.kif 8410-8410
试剂
的 1 数量 是
化学过程
的
instance
(
domain
reagent
2
Substance
)
Mid-level-ontology.kif 8411-8411
试剂
的 2 数量 是
物质
的
instance
(
instance
reagent
CaseRole
)
Mid-level-ontology.kif 8413-8413
试剂
是
格角色
的
instance
(
subrelation
reagent
instrument
)
Mid-level-ontology.kif 8412-8412
试剂
是
工具
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
reagent
"%2 是
reagent
在 %1 ")
domainEnglishFormat.kif 4347-4347
(
format
ChineseTraditionalLanguage
reagent
"%2 是
reagent
在 %1 ")
domainEnglishFormat.kif 4346-4346
(
format
EnglishLanguage
reagent
"%2 is a
reagent
in %1")
domainEnglishFormat.kif 4345-4345
(
termFormat
ChineseLanguage
reagent
"试剂")
domainEnglishFormat.kif 48849-48849
(
termFormat
ChineseTraditionalLanguage
reagent
"試劑")
domainEnglishFormat.kif 48848-48848
(
termFormat
EnglishLanguage
reagent
"reagent")
domainEnglishFormat.kif 48847-48847
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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