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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoccidiodesPosadasii

Sigma KEE - CoccidiodesPosadasii
CoccidiodesPosadasii(coccidiodes posadasii)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1389-1389 Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1390-1391
No TPTP formula. May not be expressible in strict first order. WMD.kif 1382-1382 Coccidiodes posadasii is a subclass of fungal agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15441-15441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15440-15440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15439-15439

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1384-1387


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