appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 310-312 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 909-909 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | Prepared food is a subclass of food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | Prepared food is a subclass of mixture |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 389-389 | Beverage is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1555-1555 | Bread or biscuit is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | Chocolate is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | Cooked dish is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2125-2125 | Cured meat is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2817-2817 | Dairy product is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1599-1599 | Dough is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 218-218 | Potable water is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2778-2778 | Fermented food is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | Flour is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1748-1748 | Jam is a subclass of prepared food |
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 3322-3322 | Raisin is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2061-2061 | Sauce is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3440-3440 | Sorbet is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1618-1618 | Soup stock is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4359-4359 | Spice is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3508-3508 | Tofu is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47212-47212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47211-47211 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 313-313 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47210-47210 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4384-4399 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 319-324 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 315-317 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1130-1134 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1262-1266 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 355-363 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3052-3060 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4374-4382 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1969-1987 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 331-348 |
|