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 12204-12206
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12208-12208
Le nombre 1 argument de
secretesSubstance
est une
sous
-classe de
objet organique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12209-12209
Le nombre 2 argument de
secretesSubstance
est une
sous
-classe de
NaturalSubstance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12207-12207
secretesSubstance
est une
instance
de
pr�dicat binaire
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 12211-12220
secretesSubstance
objet organique
and
NaturalSubstance
objet
est une
instance
de
objet organique
processus
entit�
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
entit�
est le
resultat
de
processus
entit�
est une
instance
de
NaturalSubstance
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12303-12303
secretesSubstance
AdrenalGland
and
Adrenaline
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12297-12297
secretesSubstance
AdrenalGland
and
Aldosterone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12298-12298
secretesSubstance
AdrenalGland
and
Androgen
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12296-12296
secretesSubstance
AdrenalGland
and
Cortisol
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12005-12005
secretesSubstance
Liver
and
Bile
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10149-10149
secretesSubstance
Mitochondrion
and
AdenosineTriphosphate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12325-12325
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 12278-12278
secretesSubstance
Pancreas
and
Insulin
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12273-12273
secretesSubstance
PituitaryGland
and
ThyroidStimulatingHormone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12311-12311
secretesSubstance
SalivaryGland
and
Saliva
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12258-12258
secretesSubstance
SweatGland
and
Sweat
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12355-12355
secretesSubstance
TearGland
and
TearSubstance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12225-12225
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