| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15046-15046 | 子類 蛋 and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15047-15047 | 子類 蛋 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | 子類 蛋 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24071-24071 | 子類 鳥蛋 and 蛋 |
|
|