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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12231-12233
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12235-12235
O argumento numero 1 de
secretesSubstance
e' uma
sub
-classe de
Objeto Organico
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12236-12236
O argumento numero 2 de
secretesSubstance
e' uma
sub
-classe de
NaturalSubstance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12234-12234
secretesSubstance
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2219-2219
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2218-2218
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2217-2217
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 51839-51839
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 51838-51838
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 51837-51837
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12238-12247
secretesSubstance
Objeto Organico
and
NaturalSubstance
Objeto
e' uma
instancia
de
Objeto Organico
Processo
Entidade
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
NaturalSubstance
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12330-12330
secretesSubstance
AdrenalGland
and
Adrenaline
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12324-12324
secretesSubstance
AdrenalGland
and
Aldosterone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12325-12325
secretesSubstance
AdrenalGland
and
Androgen
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12323-12323
secretesSubstance
AdrenalGland
and
Cortisol
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12032-12032
secretesSubstance
Liver
and
Bile
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10176-10176
secretesSubstance
Mitochondrion
and
AdenosineTriphosphate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12352-12352
secretesSubstance
MucusGland
and
Mucus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5669-5669
secretesSubstance
MucusMembrane
and
Mucus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12305-12305
secretesSubstance
Pancreas
and
Insulin
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12300-12300
secretesSubstance
PituitaryGland
and
ThyroidStimulatingHormone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12338-12338
secretesSubstance
SalivaryGland
and
Saliva
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12285-12285
secretesSubstance
SweatGland
and
Sweat
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12382-12382
secretesSubstance
TearGland
and
TearSubstance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12252-12252
secretesSubstance
ThyroidGland
and
ThyroidHormone
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3339-3339
secretesSubstance
ThyroidGland
and
Thyroxine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3748-3748
secretesSubstance
WhiteBlookCell
and
Interleukin
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