| No TPTP formula. May not be expressible in strict first order. | Food.kif 2364-2364 | 子類 熱帶水果 and 水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2366-2366 | 子類 香蕉 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2368-2368 | 子類 麵包果 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2370-2370 | 子類 椰子 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2375-2375 | 子類 日期水果 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2377-2377 | 子類 芒果 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2379-2379 | 子類 木瓜 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2383-2383 | 子類 番木瓜 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2385-2385 | 子類 百香果 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2387-2387 | 子類 菠蘿 and 熱帶水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2389-2389 | 子類 芭蕉 and 熱帶水果 |
|
|