|
|
   VenezuelanEquineEncephalitisVirus
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1419-1419 | biochemicalAgentSyndrome VenezuelanEquineEncephalitisVirus and VenezuelanEquineEncephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1420-1421 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1418-1418 | VenezuelanEquineEncephalitisVirus est une sous-classe de ViralAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61510-61510 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61509-61509 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61508-61508 |
|
|
|