No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | CookedDish e' uma sub-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1580-1580 | Sandwich e' uma sub-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1645-1645 | Soup e' uma sub-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2408-2408 | Calamari e' uma sub-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2700-2700 | Omelette e' uma sub-classe de CookedDish |
![]() |