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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mosquito
Mosquito(mosquito)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12638-12639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12636-12636 Mosquito is a subclass of insect

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


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 1689-1689 Mosquito is a biological agent carrier of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1703-1703 Mosquito is a biological agent carrier of japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1659-1659 Mosquito is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1615-1615 Mosquito is a biological agent carrier of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1674-1674 Mosquito is a biological agent carrier of saint louis encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1626-1626 Mosquito is a biological agent carrier of west nile virus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12640-12640

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12637-12637 Blood is equal to food for mosquito


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