Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 12209-12209 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 12207-12207 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 12211-12220

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12303-12303 Epinephrine is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12297-12297 Aldosterone is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12298-12298 Androgen is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12296-12296 Cortisol is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12005-12005 Gall is a secretes substance of liver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10149-10149 ATP is a secretes substance of mitochondria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12325-12325 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 12278-12278 Insulin is a secretes substance of pancreas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12273 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 12311-12311 Saliva is a secretes substance of salivary gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12258-12258 Sweat is a secretes substance of sweat gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12355-12355 Tear substance is a secretes substance of lacrymal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12225-12225 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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