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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RickettsiaProwazekii
RickettsiaProwazekii(立克次氏体)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 268-268 虱传斑疹伤寒立克次氏体biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order. WMD.kif 267-267 节肢动物立克次氏体 的病毒传递者
No TPTP formula. May not be expressible in strict first order. WMD.kif 269-269
No TPTP formula. May not be expressible in strict first order. WMD.kif 266-266 立克次氏体立克次体代理人subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49970-49970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49969-49969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49968-49968


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