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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScarletFever

 Sigma KEE - ScarletFever
ScarletFever(猩紅熱)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1761-1761 猩紅熱 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1762-1763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6842-6842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7816-7816
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7817-7817
No TPTP formula. May not be expressible in strict first order. WMD.kif 1760-1760 例 猩紅熱 and 細菌性疾病

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1750-1750 猩紅熱 是 鏈球菌 a 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51483-51483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51482-51482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51481-51481


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