|
|
   JuninVirus
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1927-1927 | biochemicalAgentDelivery JuninVirus and Respirar |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1926-1926 | biochemicalAgentSyndrome JuninVirus and ArgentinianHemorrhagicFever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1925-1925 | biologicalAgentCarrier JuninVirus and Roedor |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1928-1929 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1924-1924 | JuninVirus e' uma sub-classe de ViralAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31903-31903 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31902-31902 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31901-31901 |
|
|
|