No TPTP formula. May not be expressible in strict first order. | Food.kif 2327-2327 | Lemon fruit is a subclass of citrus fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2328-2328 | Lemon fruit is a subclass of food for animal |