No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1921-1921 | 子類 海鮮 and Meat |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1939-1939 | 子類 魚肉 and 海鮮 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1946-1946 | 子類 貝類 and 海鮮 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1982-1982 | 子類 MolluskMeat and 海鮮 |