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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59252-59252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59251-59251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59250-59250 |
|