DuckMeat |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2039-2039 | meatOfAnimal DuckMeat and Duck |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2037-2037 | DuckMeat est une sous-classe de PoultryMeat |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2038-2038 |