No TPTP formula. May not be expressible in strict first order. |
Food.kif 1647-1647 |
Soup 和 % 2 是 disjoint |
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 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2066-2066 |
|