ProkaryoticCell
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 391-391 | ProkaryoticCell est disjoint de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 392-393 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 390-390 | ProkaryoticCell est une sous-classe de cellule |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 425-425 | ArchaealCell est une sous-classe de ProkaryoticCell |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47686-47686 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47685-47685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47684-47684 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 395-400 |
|