No TPTP formula. May not be expressible in strict first order. | Food.kif 3265-3265 | Fresh cheese is a subclass of cheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3303-3303 | Feta is a subclass of fresh cheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3309-3309 | Mozzarella is a subclass of fresh cheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3318-3318 | Ricotta cheese is a subclass of fresh cheese |