No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 481-481 |
Internal cell membrane is a subclass of cell membrane |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 493-493 |
Lipid bilayer is a subclass of cell membrane |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5668-5668 |
Mucosa is a subclass of cell membrane |
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 |
|