No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1170-1170 |
O contra-dominio de CellPartFn e' uma instancia de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1080-1080 |
CellInternalMembraneGroup e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 443-443 |
CellMembrane e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10889-10889 |
CellNucleus e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 446-446 |
CellWall e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 578-578 |
Chromosome e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 597-597 |
Chromotin e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 435-435 |
Cytoplasm e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1050-1050 |
Cytoskeleton e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1053-1053 |
Endomembrane e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 548-548 |
HydrophilicSide e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 537-537 |
HydrophobicSide e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 493-493 |
LipidBilayer e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 619-619 |
Nucleosome e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 439-439 |
ProteinSynthesisTool e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13674-13674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13673-13673 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13672-13672 |
|