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 |