No TPTP formula. May not be expressible in strict first order. | Food.kif 1939-1939 | FishMeat est une sous-classe de Seafood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1943-1943 | SalmonMeat est une sous-classe de FishMeat |