No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | Aquecer e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | DryRoasting e' uma sub-classe de Aquecer |
No TPTP formula. May not be expressible in strict first order. | Food.kif 784-784 | EspressoMaking e' uma sub-classe de Aquecer |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1175-1175 | FoamingMilk e' uma sub-classe de Aquecer |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1458-1458 | Baking e' uma sub-classe de Aquecer |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2567-2567 | Frying e' uma sub-classe de Aquecer |
![]() |