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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DengueFeverVirus
DengueFeverVirus(dengue fever virus)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1641-1641 Injecting is a biochemical agent delivery of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1639-1639 Dengue fever is a biochemical agent syndrome of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1640-1640 Dengue hemorrhagic fever is a biochemical agent syndrome of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1638-1638 Mosquito is a biological agent carrier of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1642-1644 Mosquito is a biological agent carrier of dengue fever virus
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4643-4643 Mosquito is a biological agent carrier of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1637-1637 Dengue fever virus is a subclass of viral agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19029-19029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19028-19028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19027-19027


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