No TPTP formula. May not be expressible in strict first order. | Food.kif 2364-2364 | Tropical fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2366-2366 | Banana is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2368-2368 | Breadfruit is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2370-2370 | Coconut is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2375-2375 | Date fruit is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2377-2377 | Mango is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2379-2379 | Papaw is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2383-2383 | Papaya is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2385-2385 | Passion fruit is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2387-2387 | Pineapple is a subclass of tropical fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2389-2389 | Plantain is a subclass of tropical fruit |