Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
secretesSubstance
Sigma KEE - secretesSubstance
secretesSubstance
appearance as argument number 1
(
documentation
secretesSubstance
EnglishLanguage
"(secretesSubstance ?OBJ ?STUFF) means that the subclass of
OrganicObject
(either
Organism
or
BodyPart
) ?OBJ produces the subclass of
Substance
?STUFF.")
Mid-level-ontology.kif 12204-12206
(
domainSubclass
secretesSubstance
1
OrganicObject
)
Mid-level-ontology.kif 12208-12208
分泌物质
的 1 数量 是
有机物体
的
subclass
(
domainSubclass
secretesSubstance
2
NaturalSubstance
)
Mid-level-ontology.kif 12209-12209
分泌物质
的 2 数量 是
天然物质
的
subclass
(
instance
secretesSubstance
BinaryPredicate
)
Mid-level-ontology.kif 12207-12207
分泌物质
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
secretesSubstance
"%2 %n 是 %1 的 secretes 物质")
domainEnglishFormat.kif 2219-2219
(
format
ChineseTraditionalLanguage
secretesSubstance
"%2 %n 是 %1 的 secretes 物質")
domainEnglishFormat.kif 2218-2218
(
format
EnglishLanguage
secretesSubstance
"%2 is %n a secretes substance of %1")
domainEnglishFormat.kif 2217-2217
(
termFormat
ChineseLanguage
secretesSubstance
"分泌物质")
domainEnglishFormat.kif 51837-51837
(
termFormat
ChineseTraditionalLanguage
secretesSubstance
"分泌物質")
domainEnglishFormat.kif 51836-51836
(
termFormat
EnglishLanguage
secretesSubstance
"secretes substance")
domainEnglishFormat.kif 51835-51835
antecedent
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
如果
有点 天然物质
是
有点 有机物体
的
secretes
物质 和
客体
是
有点 有机物体
的
instance
,
然后 有存在
过程
和
实体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 实体
是
那个 过程
的
result
和
那个 实体
是
有点 天然物质
的
instance
appearance as argument number 0
(
secretesSubstance
AdrenalGland
Adrenaline
)
Mid-level-ontology.kif 12303-12303
Adrenaline
是
AdrenalGland
的
secretes
物质
(
secretesSubstance
AdrenalGland
Aldosterone
)
Mid-level-ontology.kif 12297-12297
Aldosterone
是
AdrenalGland
的
secretes
物质
(
secretesSubstance
AdrenalGland
Androgen
)
Mid-level-ontology.kif 12298-12298
Androgen
是
AdrenalGland
的
secretes
物质
(
secretesSubstance
AdrenalGland
Cortisol
)
Mid-level-ontology.kif 12296-12296
Cortisol
是
AdrenalGland
的
secretes
物质
(
secretesSubstance
Liver
Bile
)
Mid-level-ontology.kif 12005-12005
Bile
是
肝
的
secretes
物质
(
secretesSubstance
Mitochondrion
AdenosineTriphosphate
)
Mid-level-ontology.kif 10149-10149
AdenosineTriphosphate
是
Mitochondrion
的
secretes
物质
(
secretesSubstance
MucusGland
Mucus
)
Mid-level-ontology.kif 12325-12325
Mucus
是
MucusGland
的
secretes
物质
(
secretesSubstance
MucusMembrane
Mucus
)
Medicine.kif 5669-5669
Mucus
是
MucusMembrane
的
secretes
物质
(
secretesSubstance
Pancreas
Insulin
)
Mid-level-ontology.kif 12278-12278
胰岛素
是
胰腺
的
secretes
物质
(
secretesSubstance
PituitaryGland
ThyroidStimulatingHormone
)
Mid-level-ontology.kif 12273-12273
激素TSH
是
垂体
的
secretes
物质
(
secretesSubstance
SalivaryGland
Saliva
)
Mid-level-ontology.kif 12311-12311
Saliva
是
SalivaryGland
的
secretes
物质
(
secretesSubstance
SweatGland
Sweat
)
Mid-level-ontology.kif 12258-12258
汗
是
SweatGland
的
secretes
物质
(
secretesSubstance
TearGland
TearSubstance
)
Mid-level-ontology.kif 12355-12355
泪液
是
TearGland
的
secretes
物质
(
secretesSubstance
ThyroidGland
ThyroidHormone
)
Mid-level-ontology.kif 12225-12225
甲状腺激素
是
甲状腺
的
secretes
物质
(
secretesSubstance
ThyroidGland
Thyroxine
)
Medicine.kif 3339-3339
Thyroxine
是
甲状腺
的
secretes
物质
(
secretesSubstance
WhiteBlookCell
Interleukin
)
Medicine.kif 3748-3748
Interleukin
是
WhiteBlookCell
的
secretes
物质
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