No TPTP formula. May not be expressible in strict first order. | Food.kif 3275-3275 | SemiFirmCheese est une sous-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3291-3291 | CheddarCheese est une sous-classe de SemiFirmCheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3306-3306 | Gouda est une sous-classe de SemiFirmCheese |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3312-3312 | Provolone est une sous-classe de SemiFirmCheese |