| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | 子類 動物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8707-8707 | 子類 膽固醇 and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9445-9445 | 子類 肌腱 and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9456-9456 | 子類 汗 and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21631-21631 | 子類 蜜糖 and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14898-14898 | 子類 Meat and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15212-15212 | 子類 BoneTissue and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15247-15247 | 子類 MuscleTissue and 動物物質 |
|
|