TreeView Knowledge Base Browser - secretesSubstance

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	The number 1 argument of secretes substance is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12208-12208	The number 2 argument of secretes substance is a subclass of natural substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12206-12206	secretes substance is an instance of binary predicate

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

If a kind of natural substance is a secretes substance of a kind of organic object and an object is an instance of a kind of organic object,
then there exist a process and an entity such that the process is an instance of biological process and the process is located at the object and the entity is a result of the process and the entity is an instance of a kind of natural substance

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12302-12302	Epinephrine is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12296-12296	Aldosterone is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12297-12297	Androgen is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12295-12295	Cortisol is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12004-12004	Gall is a secretes substance of liver
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10148-10148	ATP is a secretes substance of mitochondria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12324-12324	Mucus is a secretes substance of mucus gland
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5669-5669	Mucus is a secretes substance of mucosa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12277-12277	Insulin is a secretes substance of pancreas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12272-12272	Thyroid stimulating hormone is a secretes substance of pituitary gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12310-12310	Saliva is a secretes substance of salivary gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12257-12257	Sweat is a secretes substance of sweat gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12354-12354	Tear substance is a secretes substance of lacrymal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12224-12224	Thyroid hormone is a secretes substance of thyroid gland
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3339-3339	Thyroxine is a secretes substance of thyroid gland
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3748-3748	Interleukin is a secretes substance of WhiteBlookCell

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