| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15664-15664 | 子類 Molecule and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 44-44 | 子類 Monomer and Molecule |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 64-64 | 子類 Polymer and Molecule |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 498-498 | 子類 兩親分子 and Molecule |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1112-1112 | 子類 病毒基因組 and Molecule |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21646-21646 | 子類 Caffeine and Molecule |
|
|