No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 41-41 |
O conceito Virus e' completamente decomposto em VirusDoubleStranded + VirusSingleStranded |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1512-1512 |
HerpesVirus e' uma sub-classe de VirusDoubleStranded |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61762-61762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61761-61761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61760-61760 |
|