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 12203-12205
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12207-12207
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 12208-12208
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 12206-12206
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 51837-51837
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 51836-51836
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 51835-51835
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12210-12219
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 12302-12302
secretesSubstance
AdrenalGland
and
Adrenaline
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12296-12296
secretesSubstance
AdrenalGland
and
Aldosterone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12297-12297
secretesSubstance
AdrenalGland
and
Androgen
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12295-12295
secretesSubstance
AdrenalGland
and
Cortisol
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12004-12004
secretesSubstance
Liver
and
Bile
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10148-10148
secretesSubstance
Mitochondrion
and
AdenosineTriphosphate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12324-12324
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 12277-12277
secretesSubstance
Pancreas
and
Insulin
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12272-12272
secretesSubstance
PituitaryGland
and
ThyroidStimulatingHormone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12310-12310
secretesSubstance
SalivaryGland
and
Saliva
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12257-12257
secretesSubstance
SweatGland
and
Sweat
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12354-12354
secretesSubstance
TearGland
and
TearSubstance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12224-12224
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