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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThyroidStimulatingHormone
ThyroidStimulatingHormone

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12291-12298
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9306-9306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8525-8525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31695-31695 roomTempState ThyroidStimulatingHormone and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12288-12288 ThyroidStimulatingHormone e' uma sub-classe de Hormonio
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12289-12289 ThyroidStimulatingHormone e' uma sub-classe de Medicine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12300-12300 secretesSubstance PituitaryGland and ThyroidStimulatingHormone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28564-28564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28563-28563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28561-28561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28562-28562


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