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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThyroidStimulatingHormone
ThyroidStimulatingHormone(激素TSH)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12264-12271
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 31663-31663 roomTempState 激素TSH and 液體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12261-12261 子類 激素TSH and Hormone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12262-12262 子類 激素TSH and 醫學

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12273 激素TSH垂體secretes 物質
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