No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 290-291 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11740-11740 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11742-11742 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11741-11741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11738-11738 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 289-289 |
ReceptorProtein est une sous-classe de prot�ine |