No TPTP formula. May not be expressible in strict first order. |
Food.kif 1647-1647 |
Soup est disjoint de Sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2076-2076 |
Aioli est une sous-classe de Sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2614-2614 |
Ketchup est une sous-classe de Sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2655-2655 |
Mayonnaise est une sous-classe de Sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2066-2066 |
|