No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | Celula e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 380-380 | EukaryoticCell e' uma sub-classe de Celula |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 390-390 | ProkaryoticCell e' uma sub-classe de Celula |