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 |