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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdrenalGland
AdrenalGland(adrenal gland)adrenal, adrenal_gland, suprarenal_gland

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12319-12320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12330-12330 Epinephrine is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12324-12324 Aldosterone is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12325-12325 Androgen is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12323-12323 Cortisol is a secretes substance of adrenal gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12318-12318 Adrenal gland is a subclass of gland

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12321-12321

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2316-2321


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