No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2540-2540 | Couscous is a subclass of pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2620-2620 | Linguine is a subclass of pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2760-2760 | Penne is a subclass of pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3456-3456 | Spaghetti is a subclass of pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3648-3648 | Ziti is a subclass of pasta |