NipahVirus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2058-2061 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11503-11503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11502-11502 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11504-11504 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2057-2057 | NipahVirus e' uma sub-classe de ViralAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40595-40595 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40594-40594 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40593-40593 |