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 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 12208-12208 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 12206-12206 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 12210-12219

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