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 熱帶水果 |
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 |
|