No TPTP formula. May not be expressible in strict first order. |
Food.kif 2540-2540 |
Couscous 是 Pasta 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2620-2620 |
Linguine 是 Pasta 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2760-2760 |
Penne 是 Pasta 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3456-3456 |
Spaghetti 是 Pasta 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3648-3648 |
Ziti 是 Pasta 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65298-65298 |
|