No TPTP formula. May not be expressible in strict first order. | Merge.kif 15710-15710 | Mol�cule est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 44-44 | Monomer est une sous-classe de mol�cule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 64-64 | Polymer est une sous-classe de mol�cule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 497-497 | AmphipathicMolecule est une sous-classe de mol�cule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1113-1113 | ViralGenome est une sous-classe de mol�cule |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21673-21673 | Caffeine est une sous-classe de mol�cule |