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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BolivianHemorrhagicFever

Sigma KEE - BolivianHemorrhagicFever
BolivianHemorrhagicFever(bolivian hemorrhagic fever)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1944-1944 Fever is a disease symptom of bolivian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1945-1947
No TPTP formula. May not be expressible in strict first order. WMD.kif 1943-1943 Bolivian hemorrhagic fever is an instance of hemorrhagic fever

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1939-1939 Bolivian hemorrhagic fever is a biochemical agent syndrome of machupo virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11543-11543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11542-11542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11541-11541


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