No TPTP formula. May not be expressible in strict first order. | Food.kif 2188-2188 | Date fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2189-2189 | Date fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2375-2375 | Date fruit is a subclass of tropical fruit |