No TPTP formula. May not be expressible in strict first order. |
Food.kif 2366-2366 |
香蕉 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2368-2368 |
面包果 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2370-2370 |
椰子 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2375-2375 |
日期水果 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2377-2377 |
芒果 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2379-2379 |
木瓜 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2383-2383 |
番木瓜 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2385-2385 |
百香果 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2387-2387 |
菠萝 是 热带水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2389-2389 |
芭蕉 是 热带水果 的 subclass |
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 |
|