No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1443-1443 |
Cytomegalovirus est une sous-classe de HerpesVirus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1399-1399 |
EpsteinBarrVirus est une sous-classe de HerpesVirus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1523-1523 |
HerpesBVirus est une sous-classe de HerpesVirus |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64980-64980 |
|