No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 158-158 |
DoubleStrandedMolecularStructure est une instance de MoleculeStructuralAttribute |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 313-313 |
ProteinStructuralAttribute est une sous-classe de MoleculeStructuralAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38279-38279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38278-38278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38277-38277 |
|