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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThyroidHormone
ThyroidHormone

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12254-12254
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9730-9730
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9731-9731
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8757-8757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12253-12253 ThyroidHormone e' uma sub-classe de Hormonio

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


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. domainEnglishFormat.kif 57994-57994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57993-57993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57992-57992

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2336-2351
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2382-2397


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