| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14806-14806 | 子類 BodySubstance and Substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | 子類 黴菌毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | 子類 batrachotoxin and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | 子類 肉毒桿菌毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 349-349 | 子類 ε毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | 子類 石房蛤毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | 子類 芋螺毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | 子類 河豚毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2062 | 子類 Excrement and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9181-9181 | 子類 橡膠 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10849-10849 | 子類 液體物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11992-11992 | 子類 Bile and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12313-12313 | 子類 Saliva and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12328-12328 | 子類 Mucus and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12344-12344 | 子類 Neurotransmitter and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14812-14812 | 子類 動物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14823-14823 | 子類 植物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | 子類 Hormone and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | 子類 Blood and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 子類 Tissue and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1140-1140 | 子類 BloodPlasma and BodySubstance |
|
|