| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15686-15686 | 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 1111-1111 | ViralGenome est une sous-classe de mol�cule |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21645-21645 | Caffeine est une sous-classe de mol�cule |
|
|