|
|
   LaCrosseVirus
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1661-1661 | Injecting is a biochemical agent delivery of la crosse virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1662-1662 | La crosse encephalitis is a biochemical agent syndrome of la crosse 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 1660-1660 | Rodent is a biological agent carrier of la crosse virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1663-1664 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1658-1658 | La crosse 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 33073-33073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33072-33072 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33071-33071 |
|
|
|