Mosquito
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12665-12666 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12663-12663 | Mosquito est une sous-classe de insecte |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1638-1638 | biologicalAgentCarrier DengueFeverVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1689-1689 | biologicalAgentCarrier EasternEquineEncephalitisVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1703-1703 | biologicalAgentCarrier JapaneseEncephalitisVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1659-1659 | biologicalAgentCarrier LaCrosseVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1615-1615 | biologicalAgentCarrier MalarialPlasmodium and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1674-1674 | biologicalAgentCarrier SaintLouisEncephalitisVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1626-1626 | biologicalAgentCarrier WestNileVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12667-12667 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12664-12664 | Sang est FoodForFn Mosquito |