No TPTP formula. May not be expressible in strict first order. | Food.kif 2125-2125 | CuredMeat 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2126-2126 | CuredMeat 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2137-2137 | Bacon 是 CuredMeat 的 subclass |