| No TPTP formula. May not be expressible in strict first order. | Food.kif 1946-1946 | 贝类 是 海鲜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1950-1950 | CrabMeat 是 贝类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1954-1954 | 小龙虾 是 贝类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1956-1956 | CrayfishMeat 是 贝类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1959-1959 | LobsterMeat 是 贝类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1963-1963 | PrawnMeat 是 贝类 的 subclass |
|
|