No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1169-1169 |
O contra-dominio de CellPartFn e' uma instancia de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1079-1079 |
CellInternalMembraneGroup e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 442-442 |
CellMembrane e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10888-10888 |
CellNucleus e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 445-445 |
CellWall e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 577-577 |
Chromosome e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 596-596 |
Chromotin e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 434-434 |
Cytoplasm e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1049-1049 |
Cytoskeleton e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1052-1052 |
Endomembrane e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 547-547 |
HydrophilicSide e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 536-536 |
HydrophobicSide e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 492-492 |
LipidBilayer e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 618-618 |
Nucleosome e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 438-438 |
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 |
|