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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThyroidGland
ThyroidGland
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12250-12251
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 12252-12252 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. Mid-level-ontology.kif 12249-12249 ThyroidGland e' uma sub-classe de Glandula

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


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

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2329-2334
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2375-2380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6169-6176


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