TreeView Knowledge Base Browser - ThyroidGland

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ThyroidGland

ThyroidGland(thyroid gland)

more pictures...

thyroid, thyroid_gland

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12223-12224
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6924-6924
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8089-8089
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8090-8090
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8091-8091
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8092-8092
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8093-8093
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8094-8094
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8095-8095
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8096-8096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8086-8086
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8097-8097
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8087-8087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8088-8088
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.	Mid-level-ontology.kif 12222-12222	Thyroid gland is a subclass of gland

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57986-57986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57985-57985
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57984-57984

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2329-2334	If a process is an instance of Graves' disease and an agent experiences the process, then impaired body part fn thyroid gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2375-2380	If a process is an instance of Hashimoto's thyroiditis and an agent experiences the process, then impaired body part fn thyroid gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6175-6182	If goiter is an attribute of an object, then there exist another object and a process such that the other object is an instance of thyroid gland and the other object is a part of the object and the process is an instance of pathologic process and the process is located at the other object

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