No TPTP formula. May not be expressible in strict first order. |
Food.kif 1647-1647 |
Soup is disjoint from sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2076-2076 |
Aioli is a subclass of sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2614-2614 |
Ketchup is a subclass of sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2655-2655 |
Mayonnaise is a subclass of sauce |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2066-2066 |
|