No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 481-481 |
CellMembraneInternal e' uma sub-classe de CellMembrane |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 493-493 |
LipidBilayer e' uma sub-classe de CellMembrane |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5668-5668 |
MucusMembrane e' uma sub-classe de CellMembrane |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13656-13656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13655-13655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13654-13654 |
|