|
|
   SaintLouisEncephalitisVirus
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1675-1675 | biochemicalAgentDelivery SaintLouisEncephalitisVirus and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1676-1676 | biochemicalAgentSyndrome SaintLouisEncephalitisVirus and SaintLouisEncephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1673-1673 | biologicalAgentCarrier SaintLouisEncephalitisVirus and Passaro |
| 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 1677-1678 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1672-1672 | SaintLouisEncephalitisVirus e' uma sub-classe de ViralAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50841-50841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50840-50840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50839-50839 |
|
|
|