No TPTP formula. May not be expressible in strict first order. | Food.kif 2061-2061 | Sauce 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2062-2062 | Sauce 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2076-2076 | Aioli 是 Sauce 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2614-2614 | Ketchup 是 Sauce 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2655-2655 | Mayonnaise 是 Sauce 的 subclass |