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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThyroidGland

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 11706-11707
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6925-6925
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 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 8098-8098
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. pictureList.kif 8089-8089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11708-11708 Thyroid hormone is a secretes substance of thyroid gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11705-11705 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 57953-57953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57952-57952
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57951-57951

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


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


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