No TPTP formula. May not be expressible in strict first order. | Merge.kif 15664-15664 | Molecule is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 44-44 | Monomer is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 64-64 | Polymer is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 498-498 | Amphipathic molecule is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1112-1112 | Viral genome is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21646-21646 | Caffeine is a subclass of molecule |