| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food 是 自身连接物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Meat 是 Food 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | FoodFromPlant 是 Food 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | 已准备食物 是 Food 的 subclass |
|
|